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 3target 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 7define void @foo1() { 8entry: 9 br label %for.body 10 11for.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 19for.exit: 20 ret void 21} 22 23define void @foo2() { 24entry: 25 br label %for.body 26 27for.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 34for.exit: 35 ret void 36} 37 38define void @cmp_undef() { 39entry: 40 br label %for.body 41 42for.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 49if.then: ; preds = %for.body 50 br label %for.inc 51 52for.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 57for.end: ; preds = %for.inc 58 ret void 59} 60 61define void @switch() { 62entry: 63 br label %for.body 64 65for.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 72l1: 73 %x2 = add i32 %x1, 2 74 br label %for.inc 75 76for.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 81for.end: 82 ret void 83} 84 85define <4 x i32> @vec_load() { 86entry: 87 br label %for.body 88 89for.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 100for.exit: 101 ret <4 x i32> %r 102} 103 104define void @ptrtoint_cast() optsize { 105entry: 106 br label %for.body 107 108for.body: 109 br i1 true, label %for.inc, label %if.then 110 111if.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 116for.inc: 117 br i1 false, label %for.body, label %for.cond.cleanup 118 119for.cond.cleanup: 120 ret void 121} 122 123define void @ptrtoint_cast2() { 124entry: 125 br i1 false, label %for.body.lr.ph, label %exit 126 127for.body.lr.ph: 128 br label %for.body 129 130for.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 137exit: 138 ret void 139} 140 141@i = external global i32, align 4 142 143define void @folded_not_to_constantint() { 144entry: 145 br label %for.body 146 147for.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 152if.then: 153 unreachable 154 155if.else: 156 %cmp = icmp ult i32* %m, null 157 br i1 %cmp, label %cond.false, label %for.inc 158 159cond.false: 160 unreachable 161 162for.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 167for.end: 168 ret void 169} 170 171define void @index_too_large() { 172entry: 173 br label %for.body 174 175for.body: 176 %iv = phi i64 [ -73631599, %entry ], [ %iv.next, %for.inc ] 177 br i1 undef, label %for.body2, label %for.inc 178 179for.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 184for.inc: 185 %iv.next = add nsw i64 %iv, -1 186 br i1 undef, label %for.body, label %for.end 187 188for.end: 189 ret void 190} 191 192define void @cmp_type_mismatch() { 193entry: 194 br label %for.header 195 196for.header: 197 br label %for.body 198 199for.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 204for.end: 205 ret void 206} 207 208define void @load_type_mismatch() { 209entry: 210 br label %for.body 211 212for.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 222for.end: 223 ret void 224} 225