1 ; Check that we don't crash on corner cases. 2 ; RUN: opt < %s -S -loop-unroll -unroll-max-iteration-count-to-analyze=1000 -unroll-threshold=1 -unroll-percent-dynamic-cost-saved-threshold=20 -o /dev/null 3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 4 5 @known_constant = internal unnamed_addr constant [10 x i32] [i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1], align 16 6 7 define void @foo1() { 8 entry: 9 br label %for.body 10 11 for.body: 12 %phi = phi i64 [ 0, %entry ], [ %inc, %for.body ] 13 %idx = zext i32 undef to i64 14 %add.ptr = getelementptr inbounds i64, i64* null, i64 %idx 15 %inc = add nuw nsw i64 %phi, 1 16 %cmp = icmp ult i64 %inc, 999 17 br i1 %cmp, label %for.body, label %for.exit 18 19 for.exit: 20 ret void 21 } 22 23 define void @foo2() { 24 entry: 25 br label %for.body 26 27 for.body: 28 %phi = phi i64 [ 0, %entry ], [ %inc, %for.body ] 29 %x = getelementptr i32, <4 x i32*> undef, <4 x i32> <i32 1, i32 1, i32 1, i32 1> 30 %inc = add nuw nsw i64 %phi, 1 31 %cmp = icmp ult i64 %inc, 999 32 br i1 %cmp, label %for.body, label %for.exit 33 34 for.exit: 35 ret void 36 } 37 38 define void @cmp_undef() { 39 entry: 40 br label %for.body 41 42 for.body: ; preds = %for.inc, %entry 43 %iv.0 = phi i64 [ 0, %entry ], [ %iv.1, %for.inc ] 44 %arrayidx1 = getelementptr inbounds [10 x i32], [10 x i32]* @known_constant, i64 0, i64 %iv.0 45 %x1 = load i32, i32* %arrayidx1, align 4 46 %cmp = icmp eq i32 %x1, undef 47 br i1 %cmp, label %if.then, label %for.inc 48 49 if.then: ; preds = %for.body 50 br label %for.inc 51 52 for.inc: ; preds = %for.body, %if.then 53 %iv.1 = add nuw nsw i64 %iv.0, 1 54 %exitcond = icmp eq i64 %iv.1, 10 55 br i1 %exitcond, label %for.end, label %for.body 56 57 for.end: ; preds = %for.inc 58 ret void 59 } 60 61 define void @switch() { 62 entry: 63 br label %for.body 64 65 for.body: 66 %iv.0 = phi i64 [ 0, %entry ], [ %iv.1, %for.inc ] 67 %arrayidx1 = getelementptr inbounds [10 x i32], [10 x i32]* @known_constant, i64 0, i64 %iv.0 68 %x1 = load i32, i32* %arrayidx1, align 4 69 switch i32 %x1, label %l1 [ 70 ] 71 72 l1: 73 %x2 = add i32 %x1, 2 74 br label %for.inc 75 76 for.inc: 77 %iv.1 = add nuw nsw i64 %iv.0, 1 78 %exitcond = icmp eq i64 %iv.1, 10 79 br i1 %exitcond, label %for.end, label %for.body 80 81 for.end: 82 ret void 83 } 84 85 define <4 x i32> @vec_load() { 86 entry: 87 br label %for.body 88 89 for.body: 90 %phi = phi i64 [ 0, %entry ], [ %inc, %for.body ] 91 %vec_phi = phi <4 x i32> [ <i32 0, i32 0, i32 0, i32 0>, %entry ], [ %r, %for.body ] 92 %arrayidx = getelementptr inbounds [10 x i32], [10 x i32]* @known_constant, i64 0, i64 %phi 93 %bc = bitcast i32* %arrayidx to <4 x i32>* 94 %x = load <4 x i32>, < 4 x i32>* %bc, align 4 95 %r = add <4 x i32> %x, %vec_phi 96 %inc = add nuw nsw i64 %phi, 1 97 %cmp = icmp ult i64 %inc, 999 98 br i1 %cmp, label %for.body, label %for.exit 99 100 for.exit: 101 ret <4 x i32> %r 102 } 103 104 define void @ptrtoint_cast() optsize { 105 entry: 106 br label %for.body 107 108 for.body: 109 br i1 true, label %for.inc, label %if.then 110 111 if.then: 112 %arraydecay = getelementptr inbounds [1 x i32], [1 x i32]* null, i64 0, i64 0 113 %x = ptrtoint i32* %arraydecay to i64 114 br label %for.inc 115 116 for.inc: 117 br i1 false, label %for.body, label %for.cond.cleanup 118 119 for.cond.cleanup: 120 ret void 121 } 122 123 define void @ptrtoint_cast2() { 124 entry: 125 br i1 false, label %for.body.lr.ph, label %exit 126 127 for.body.lr.ph: 128 br label %for.body 129 130 for.body: 131 %iv = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.body ] 132 %offset = getelementptr inbounds float, float* null, i32 3 133 %bc = bitcast float* %offset to i64* 134 %inc = add nuw nsw i32 %iv, 1 135 br i1 false, label %for.body, label %exit 136 137 exit: 138 ret void 139 } 140 141 @i = external global i32, align 4 142 143 define void @folded_not_to_constantint() { 144 entry: 145 br label %for.body 146 147 for.body: 148 %iv = phi i32 [ 0, %entry ], [ %inc, %for.inc ] 149 %m = phi i32* [ @i, %entry ], [ %m, %for.inc ] 150 br i1 undef, label %if.else, label %if.then 151 152 if.then: 153 unreachable 154 155 if.else: 156 %cmp = icmp ult i32* %m, null 157 br i1 %cmp, label %cond.false, label %for.inc 158 159 cond.false: 160 unreachable 161 162 for.inc: 163 %inc = add nuw nsw i32 %iv, 1 164 %cmp2 = icmp ult i32 %inc, 10 165 br i1 %cmp2, label %for.body, label %for.end 166 167 for.end: 168 ret void 169 } 170 171 define void @index_too_large() { 172 entry: 173 br label %for.body 174 175 for.body: 176 %iv = phi i64 [ -73631599, %entry ], [ %iv.next, %for.inc ] 177 br i1 undef, label %for.body2, label %for.inc 178 179 for.body2: 180 %idx = getelementptr inbounds [10 x i32], [10 x i32]* @known_constant, i64 0, i64 %iv 181 %x = load i32, i32* %idx, align 1 182 br label %for.inc 183 184 for.inc: 185 %iv.next = add nsw i64 %iv, -1 186 br i1 undef, label %for.body, label %for.end 187 188 for.end: 189 ret void 190 } 191 192 define void @cmp_type_mismatch() { 193 entry: 194 br label %for.header 195 196 for.header: 197 br label %for.body 198 199 for.body: 200 %d = phi i32* [ null, %for.header ] 201 %cmp = icmp eq i32* %d, null 202 br i1 undef, label %for.end, label %for.header 203 204 for.end: 205 ret void 206 } 207 208 define void @load_type_mismatch() { 209 entry: 210 br label %for.body 211 212 for.body: 213 %iv.0 = phi i64 [ 0, %entry ], [ %iv.1, %for.body ] 214 %arrayidx1 = getelementptr inbounds [10 x i32], [10 x i32]* @known_constant, i64 0, i64 %iv.0 215 %bc = bitcast i32* %arrayidx1 to i64* 216 %x1 = load i64, i64* %bc, align 4 217 %x2 = add i64 10, %x1 218 %iv.1 = add nuw nsw i64 %iv.0, 1 219 %exitcond = icmp eq i64 %iv.1, 10 220 br i1 %exitcond, label %for.end, label %for.body 221 222 for.end: 223 ret void 224 } 225
