1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162
|
; RUN: llc -march=hexagon < %s
; REQUIRES: asserts
%s.0 = type { i8, i8, ptr, i8, i32, ptr, ptr }
%s.1 = type { ptr, %s.2, ptr, %s.2 }
%s.2 = type { i8, %s.3, i8 }
%s.3 = type { ptr }
%s.4 = type { [65 x i8], i16, ptr, ptr }
@g0 = private unnamed_addr constant [4 x i8] c"and\00", align 1
@g1 = private unnamed_addr constant [3 x i8] c"or\00", align 1
@g2 = private unnamed_addr constant [8 x i8] c"implies\00", align 1
@g3 = private unnamed_addr constant [3 x i8] c"if\00", align 1
@g4 = global [4 x %s.0] [%s.0 { i8 1, i8 38, ptr @g0, i8 1, i32 8, ptr null, ptr null }, %s.0 { i8 2, i8 124, ptr @g1, i8 1, i32 7, ptr null, ptr null }, %s.0 { i8 3, i8 62, ptr @g2, i8 1, i32 1, ptr null, ptr null }, %s.0 { i8 4, i8 60, ptr @g3, i8 1, i32 1, ptr null, ptr null }], align 8
@g5 = internal global [64 x i8] zeroinitializer, align 8
@g6 = internal unnamed_addr global ptr null, align 4
; Function Attrs: nounwind
define ptr @f0() #0 {
b0:
%v0 = tail call ptr @f1(ptr null) #0
br label %b1
b1: ; preds = %b1, %b0
%v1 = tail call zeroext i8 @f2(ptr @g5) #0
switch i8 %v1, label %b1 [
i8 8, label %b2
i8 6, label %b2
]
b2: ; preds = %b1, %b1
ret ptr %v0
}
declare ptr @f1(ptr) #0
declare zeroext i8 @f2(ptr) #0
; Function Attrs: nounwind
define void @f3() #0 {
b0:
store ptr @g4, ptr @g6, align 4
store ptr @g4, ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 0, i32 5), align 8
store ptr @g4, ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 0, i32 6), align 4
%v0 = load ptr, ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 1, i32 2), align 4
br label %b1
b1: ; preds = %b1, %b0
%v1 = phi ptr [ @g4, %b0 ], [ %v9, %b1 ]
%v2 = getelementptr inbounds %s.0, ptr %v1, i32 0, i32 2
%v3 = load ptr, ptr %v2, align 4
%v4 = tail call i32 @f4(ptr %v0, ptr %v3) #0
%v5 = icmp sgt i32 %v4, 0
%v6 = getelementptr inbounds %s.0, ptr %v1, i32 0, i32 5
%v7 = getelementptr inbounds %s.0, ptr %v1, i32 0, i32 6
%v8 = select i1 %v5, ptr %v6, ptr %v7
%v9 = load ptr, ptr %v8, align 4
%v10 = icmp eq ptr %v9, null
br i1 %v10, label %b2, label %b1
b2: ; preds = %b1
%v11 = phi i32 [ %v4, %b1 ]
%v12 = phi ptr [ %v1, %b1 ]
%v13 = icmp sgt i32 %v11, 0
br i1 %v13, label %b3, label %b4
b3: ; preds = %b2
%v14 = getelementptr inbounds %s.0, ptr %v12, i32 0, i32 5
store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 1), ptr %v14, align 4
br label %b4
b4: ; preds = %b3, %b2
%v15 = getelementptr inbounds %s.0, ptr %v12, i32 0, i32 6
store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 1), ptr %v15, align 4
%v16 = load ptr, ptr @g6, align 4
%v17 = icmp eq ptr %v16, null
br i1 %v17, label %b8, label %b5
b5: ; preds = %b4
%v18 = load ptr, ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 2, i32 2), align 4
br label %b6
b6: ; preds = %b6, %b5
%v19 = phi ptr [ %v16, %b5 ], [ %v27, %b6 ]
%v20 = getelementptr inbounds %s.0, ptr %v19, i32 0, i32 2
%v21 = load ptr, ptr %v20, align 4
%v22 = tail call i32 @f4(ptr %v18, ptr %v21) #0
%v23 = icmp sgt i32 %v22, 0
%v24 = getelementptr inbounds %s.0, ptr %v19, i32 0, i32 5
%v25 = getelementptr inbounds %s.0, ptr %v19, i32 0, i32 6
%v26 = select i1 %v23, ptr %v24, ptr %v25
%v27 = load ptr, ptr %v26, align 4
%v28 = icmp eq ptr %v27, null
br i1 %v28, label %b7, label %b6
b7: ; preds = %b6
%v29 = phi i32 [ %v22, %b6 ]
%v30 = phi ptr [ %v19, %b6 ]
br label %b8
b8: ; preds = %b7, %b4
%v31 = phi i32 [ %v11, %b4 ], [ %v29, %b7 ]
%v32 = phi ptr [ null, %b4 ], [ %v30, %b7 ]
%v33 = icmp sgt i32 %v31, 0
br i1 %v33, label %b9, label %b10
b9: ; preds = %b8
%v34 = getelementptr inbounds %s.0, ptr %v32, i32 0, i32 5
store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 2), ptr %v34, align 4
br label %b10
b10: ; preds = %b9, %b8
%v35 = getelementptr inbounds %s.0, ptr %v32, i32 0, i32 6
store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 2), ptr %v35, align 4
%v36 = load ptr, ptr @g6, align 4
%v37 = icmp eq ptr %v36, null
br i1 %v37, label %b14, label %b11
b11: ; preds = %b10
%v38 = load ptr, ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 3, i32 2), align 4
br label %b12
b12: ; preds = %b12, %b11
%v39 = phi ptr [ %v36, %b11 ], [ %v47, %b12 ]
%v40 = getelementptr inbounds %s.0, ptr %v39, i32 0, i32 2
%v41 = load ptr, ptr %v40, align 4
%v42 = tail call i32 @f4(ptr %v38, ptr %v41) #0
%v43 = icmp sgt i32 %v42, 0
%v44 = getelementptr inbounds %s.0, ptr %v39, i32 0, i32 5
%v45 = getelementptr inbounds %s.0, ptr %v39, i32 0, i32 6
%v46 = select i1 %v43, ptr %v44, ptr %v45
%v47 = load ptr, ptr %v46, align 4
%v48 = icmp eq ptr %v47, null
br i1 %v48, label %b13, label %b12
b13: ; preds = %b12
%v49 = phi i32 [ %v42, %b12 ]
%v50 = phi ptr [ %v39, %b12 ]
br label %b14
b14: ; preds = %b13, %b10
%v51 = phi i32 [ %v31, %b10 ], [ %v49, %b13 ]
%v52 = phi ptr [ null, %b10 ], [ %v50, %b13 ]
%v53 = icmp sgt i32 %v51, 0
br i1 %v53, label %b15, label %b16
b15: ; preds = %b14
%v54 = getelementptr inbounds %s.0, ptr %v52, i32 0, i32 5
store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 3), ptr %v54, align 4
br label %b16
b16: ; preds = %b15, %b14
%v55 = getelementptr inbounds %s.0, ptr %v52, i32 0, i32 6
store ptr getelementptr inbounds ([4 x %s.0], ptr @g4, i32 0, i32 3), ptr %v55, align 4
ret void
}
; Function Attrs: nounwind readonly
declare i32 @f4(ptr nocapture, ptr nocapture) #1
attributes #0 = { nounwind }
attributes #1 = { nounwind readonly }
|