1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -analyze -basicaa -da | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; ModuleID = 'SymbolicSIV.bc' 4*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 5*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-apple-macosx10.6.0" 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Worker 8*9880d681SAndroid Build Coastguard Worker;; for (long int i = 0; i < n; i++) { 9*9880d681SAndroid Build Coastguard Worker;; A[2*i + n] = i; 10*9880d681SAndroid Build Coastguard Worker;; *B++ = A[3*i + 3*n]; 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv0(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { 13*9880d681SAndroid Build Coastguard Workerentry: 14*9880d681SAndroid Build Coastguard Worker %cmp1 = icmp eq i64 %n, 0 15*9880d681SAndroid Build Coastguard Worker br i1 %cmp1, label %for.end, label %for.body.preheader 16*9880d681SAndroid Build Coastguard Worker 17*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 18*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 19*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 20*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 21*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 22*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 23*9880d681SAndroid Build Coastguard Worker 24*9880d681SAndroid Build Coastguard Workerfor.body.preheader: ; preds = %entry 25*9880d681SAndroid Build Coastguard Worker br label %for.body 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workerfor.body: ; preds = %for.body.preheader, %for.body 28*9880d681SAndroid Build Coastguard Worker %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 29*9880d681SAndroid Build Coastguard Worker %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ] 30*9880d681SAndroid Build Coastguard Worker %conv = trunc i64 %i.03 to i32 31*9880d681SAndroid Build Coastguard Worker %mul = shl nsw i64 %i.03, 1 32*9880d681SAndroid Build Coastguard Worker %add = add i64 %mul, %n 33*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 34*9880d681SAndroid Build Coastguard Worker store i32 %conv, i32* %arrayidx, align 4 35*9880d681SAndroid Build Coastguard Worker %mul14 = add i64 %i.03, %n 36*9880d681SAndroid Build Coastguard Worker %add3 = mul i64 %mul14, 3 37*9880d681SAndroid Build Coastguard Worker %arrayidx4 = getelementptr inbounds i32, i32* %A, i64 %add3 38*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* %arrayidx4, align 4 39*9880d681SAndroid Build Coastguard Worker %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 40*9880d681SAndroid Build Coastguard Worker store i32 %0, i32* %B.addr.02, align 4 41*9880d681SAndroid Build Coastguard Worker %inc = add nsw i64 %i.03, 1 42*9880d681SAndroid Build Coastguard Worker %exitcond = icmp ne i64 %inc, %n 43*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %for.body, label %for.end.loopexit 44*9880d681SAndroid Build Coastguard Worker 45*9880d681SAndroid Build Coastguard Workerfor.end.loopexit: ; preds = %for.body 46*9880d681SAndroid Build Coastguard Worker br label %for.end 47*9880d681SAndroid Build Coastguard Worker 48*9880d681SAndroid Build Coastguard Workerfor.end: ; preds = %for.end.loopexit, %entry 49*9880d681SAndroid Build Coastguard Worker ret void 50*9880d681SAndroid Build Coastguard Worker} 51*9880d681SAndroid Build Coastguard Worker 52*9880d681SAndroid Build Coastguard Worker 53*9880d681SAndroid Build Coastguard Worker;; for (long int i = 0; i < n; i++) { 54*9880d681SAndroid Build Coastguard Worker;; A[2*i + 5*n] = i; 55*9880d681SAndroid Build Coastguard Worker;; *B++ = A[3*i + 2*n]; 56*9880d681SAndroid Build Coastguard Worker 57*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv1(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { 58*9880d681SAndroid Build Coastguard Workerentry: 59*9880d681SAndroid Build Coastguard Worker %cmp1 = icmp eq i64 %n, 0 60*9880d681SAndroid Build Coastguard Worker br i1 %cmp1, label %for.end, label %for.body.preheader 61*9880d681SAndroid Build Coastguard Worker 62*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 63*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 64*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 65*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 66*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 67*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 68*9880d681SAndroid Build Coastguard Worker 69*9880d681SAndroid Build Coastguard Workerfor.body.preheader: ; preds = %entry 70*9880d681SAndroid Build Coastguard Worker br label %for.body 71*9880d681SAndroid Build Coastguard Worker 72*9880d681SAndroid Build Coastguard Workerfor.body: ; preds = %for.body.preheader, %for.body 73*9880d681SAndroid Build Coastguard Worker %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 74*9880d681SAndroid Build Coastguard Worker %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ] 75*9880d681SAndroid Build Coastguard Worker %conv = trunc i64 %i.03 to i32 76*9880d681SAndroid Build Coastguard Worker %mul = shl nsw i64 %i.03, 1 77*9880d681SAndroid Build Coastguard Worker %mul1 = mul i64 %n, 5 78*9880d681SAndroid Build Coastguard Worker %add = add i64 %mul, %mul1 79*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 80*9880d681SAndroid Build Coastguard Worker store i32 %conv, i32* %arrayidx, align 4 81*9880d681SAndroid Build Coastguard Worker %mul2 = mul nsw i64 %i.03, 3 82*9880d681SAndroid Build Coastguard Worker %mul3 = shl i64 %n, 1 83*9880d681SAndroid Build Coastguard Worker %add4 = add i64 %mul2, %mul3 84*9880d681SAndroid Build Coastguard Worker %arrayidx5 = getelementptr inbounds i32, i32* %A, i64 %add4 85*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* %arrayidx5, align 4 86*9880d681SAndroid Build Coastguard Worker %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 87*9880d681SAndroid Build Coastguard Worker store i32 %0, i32* %B.addr.02, align 4 88*9880d681SAndroid Build Coastguard Worker %inc = add nsw i64 %i.03, 1 89*9880d681SAndroid Build Coastguard Worker %exitcond = icmp ne i64 %inc, %n 90*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %for.body, label %for.end.loopexit 91*9880d681SAndroid Build Coastguard Worker 92*9880d681SAndroid Build Coastguard Workerfor.end.loopexit: ; preds = %for.body 93*9880d681SAndroid Build Coastguard Worker br label %for.end 94*9880d681SAndroid Build Coastguard Worker 95*9880d681SAndroid Build Coastguard Workerfor.end: ; preds = %for.end.loopexit, %entry 96*9880d681SAndroid Build Coastguard Worker ret void 97*9880d681SAndroid Build Coastguard Worker} 98*9880d681SAndroid Build Coastguard Worker 99*9880d681SAndroid Build Coastguard Worker 100*9880d681SAndroid Build Coastguard Worker;; for (long int i = 0; i < n; i++) { 101*9880d681SAndroid Build Coastguard Worker;; A[2*i - n] = i; 102*9880d681SAndroid Build Coastguard Worker;; *B++ = A[-i + 2*n]; 103*9880d681SAndroid Build Coastguard Worker 104*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv2(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { 105*9880d681SAndroid Build Coastguard Workerentry: 106*9880d681SAndroid Build Coastguard Worker %cmp1 = icmp eq i64 %n, 0 107*9880d681SAndroid Build Coastguard Worker br i1 %cmp1, label %for.end, label %for.body.preheader 108*9880d681SAndroid Build Coastguard Worker 109*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 110*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 111*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 112*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 113*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 114*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 115*9880d681SAndroid Build Coastguard Worker 116*9880d681SAndroid Build Coastguard Workerfor.body.preheader: ; preds = %entry 117*9880d681SAndroid Build Coastguard Worker br label %for.body 118*9880d681SAndroid Build Coastguard Worker 119*9880d681SAndroid Build Coastguard Workerfor.body: ; preds = %for.body.preheader, %for.body 120*9880d681SAndroid Build Coastguard Worker %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 121*9880d681SAndroid Build Coastguard Worker %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ] 122*9880d681SAndroid Build Coastguard Worker %conv = trunc i64 %i.03 to i32 123*9880d681SAndroid Build Coastguard Worker %mul = shl nsw i64 %i.03, 1 124*9880d681SAndroid Build Coastguard Worker %sub = sub i64 %mul, %n 125*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %A, i64 %sub 126*9880d681SAndroid Build Coastguard Worker store i32 %conv, i32* %arrayidx, align 4 127*9880d681SAndroid Build Coastguard Worker %mul2 = shl i64 %n, 1 128*9880d681SAndroid Build Coastguard Worker %add = sub i64 %mul2, %i.03 129*9880d681SAndroid Build Coastguard Worker %arrayidx3 = getelementptr inbounds i32, i32* %A, i64 %add 130*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* %arrayidx3, align 4 131*9880d681SAndroid Build Coastguard Worker %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 132*9880d681SAndroid Build Coastguard Worker store i32 %0, i32* %B.addr.02, align 4 133*9880d681SAndroid Build Coastguard Worker %inc = add nsw i64 %i.03, 1 134*9880d681SAndroid Build Coastguard Worker %exitcond = icmp ne i64 %inc, %n 135*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %for.body, label %for.end.loopexit 136*9880d681SAndroid Build Coastguard Worker 137*9880d681SAndroid Build Coastguard Workerfor.end.loopexit: ; preds = %for.body 138*9880d681SAndroid Build Coastguard Worker br label %for.end 139*9880d681SAndroid Build Coastguard Worker 140*9880d681SAndroid Build Coastguard Workerfor.end: ; preds = %for.end.loopexit, %entry 141*9880d681SAndroid Build Coastguard Worker ret void 142*9880d681SAndroid Build Coastguard Worker} 143*9880d681SAndroid Build Coastguard Worker 144*9880d681SAndroid Build Coastguard Worker 145*9880d681SAndroid Build Coastguard Worker;; for (long int i = 0; i < n; i++) { 146*9880d681SAndroid Build Coastguard Worker;; A[-2*i + n + 1] = i; 147*9880d681SAndroid Build Coastguard Worker;; *B++ = A[i - 2*n]; 148*9880d681SAndroid Build Coastguard Worker 149*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv3(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { 150*9880d681SAndroid Build Coastguard Workerentry: 151*9880d681SAndroid Build Coastguard Worker %cmp1 = icmp eq i64 %n, 0 152*9880d681SAndroid Build Coastguard Worker br i1 %cmp1, label %for.end, label %for.body.preheader 153*9880d681SAndroid Build Coastguard Worker 154*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 155*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 156*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 157*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 158*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 159*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 160*9880d681SAndroid Build Coastguard Worker 161*9880d681SAndroid Build Coastguard Workerfor.body.preheader: ; preds = %entry 162*9880d681SAndroid Build Coastguard Worker br label %for.body 163*9880d681SAndroid Build Coastguard Worker 164*9880d681SAndroid Build Coastguard Workerfor.body: ; preds = %for.body.preheader, %for.body 165*9880d681SAndroid Build Coastguard Worker %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 166*9880d681SAndroid Build Coastguard Worker %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ] 167*9880d681SAndroid Build Coastguard Worker %conv = trunc i64 %i.03 to i32 168*9880d681SAndroid Build Coastguard Worker %mul = mul nsw i64 %i.03, -2 169*9880d681SAndroid Build Coastguard Worker %add = add i64 %mul, %n 170*9880d681SAndroid Build Coastguard Worker %add1 = add i64 %add, 1 171*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add1 172*9880d681SAndroid Build Coastguard Worker store i32 %conv, i32* %arrayidx, align 4 173*9880d681SAndroid Build Coastguard Worker %mul2 = shl i64 %n, 1 174*9880d681SAndroid Build Coastguard Worker %sub = sub i64 %i.03, %mul2 175*9880d681SAndroid Build Coastguard Worker %arrayidx3 = getelementptr inbounds i32, i32* %A, i64 %sub 176*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* %arrayidx3, align 4 177*9880d681SAndroid Build Coastguard Worker %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 178*9880d681SAndroid Build Coastguard Worker store i32 %0, i32* %B.addr.02, align 4 179*9880d681SAndroid Build Coastguard Worker %inc = add nsw i64 %i.03, 1 180*9880d681SAndroid Build Coastguard Worker %exitcond = icmp ne i64 %inc, %n 181*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %for.body, label %for.end.loopexit 182*9880d681SAndroid Build Coastguard Worker 183*9880d681SAndroid Build Coastguard Workerfor.end.loopexit: ; preds = %for.body 184*9880d681SAndroid Build Coastguard Worker br label %for.end 185*9880d681SAndroid Build Coastguard Worker 186*9880d681SAndroid Build Coastguard Workerfor.end: ; preds = %for.end.loopexit, %entry 187*9880d681SAndroid Build Coastguard Worker ret void 188*9880d681SAndroid Build Coastguard Worker} 189*9880d681SAndroid Build Coastguard Worker 190*9880d681SAndroid Build Coastguard Worker 191*9880d681SAndroid Build Coastguard Worker;; for (long int i = 0; i < n; i++) { 192*9880d681SAndroid Build Coastguard Worker;; A[-2*i + 3*n] = i; 193*9880d681SAndroid Build Coastguard Worker;; *B++ = A[-i + n]; 194*9880d681SAndroid Build Coastguard Worker 195*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv4(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { 196*9880d681SAndroid Build Coastguard Workerentry: 197*9880d681SAndroid Build Coastguard Worker %cmp1 = icmp eq i64 %n, 0 198*9880d681SAndroid Build Coastguard Worker br i1 %cmp1, label %for.end, label %for.body.preheader 199*9880d681SAndroid Build Coastguard Worker 200*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 201*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 202*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 203*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 204*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 205*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 206*9880d681SAndroid Build Coastguard Worker 207*9880d681SAndroid Build Coastguard Workerfor.body.preheader: ; preds = %entry 208*9880d681SAndroid Build Coastguard Worker br label %for.body 209*9880d681SAndroid Build Coastguard Worker 210*9880d681SAndroid Build Coastguard Workerfor.body: ; preds = %for.body.preheader, %for.body 211*9880d681SAndroid Build Coastguard Worker %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 212*9880d681SAndroid Build Coastguard Worker %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ] 213*9880d681SAndroid Build Coastguard Worker %conv = trunc i64 %i.03 to i32 214*9880d681SAndroid Build Coastguard Worker %mul = mul nsw i64 %i.03, -2 215*9880d681SAndroid Build Coastguard Worker %mul1 = mul i64 %n, 3 216*9880d681SAndroid Build Coastguard Worker %add = add i64 %mul, %mul1 217*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 218*9880d681SAndroid Build Coastguard Worker store i32 %conv, i32* %arrayidx, align 4 219*9880d681SAndroid Build Coastguard Worker %add2 = sub i64 %n, %i.03 220*9880d681SAndroid Build Coastguard Worker %arrayidx3 = getelementptr inbounds i32, i32* %A, i64 %add2 221*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* %arrayidx3, align 4 222*9880d681SAndroid Build Coastguard Worker %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 223*9880d681SAndroid Build Coastguard Worker store i32 %0, i32* %B.addr.02, align 4 224*9880d681SAndroid Build Coastguard Worker %inc = add nsw i64 %i.03, 1 225*9880d681SAndroid Build Coastguard Worker %exitcond = icmp ne i64 %inc, %n 226*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %for.body, label %for.end.loopexit 227*9880d681SAndroid Build Coastguard Worker 228*9880d681SAndroid Build Coastguard Workerfor.end.loopexit: ; preds = %for.body 229*9880d681SAndroid Build Coastguard Worker br label %for.end 230*9880d681SAndroid Build Coastguard Worker 231*9880d681SAndroid Build Coastguard Workerfor.end: ; preds = %for.end.loopexit, %entry 232*9880d681SAndroid Build Coastguard Worker ret void 233*9880d681SAndroid Build Coastguard Worker} 234*9880d681SAndroid Build Coastguard Worker 235*9880d681SAndroid Build Coastguard Worker 236*9880d681SAndroid Build Coastguard Worker;; for (long int i = 0; i < n; i++) { 237*9880d681SAndroid Build Coastguard Worker;; A[-2*i - 2*n] = i; 238*9880d681SAndroid Build Coastguard Worker;; *B++ = A[-i - n]; 239*9880d681SAndroid Build Coastguard Worker 240*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv5(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { 241*9880d681SAndroid Build Coastguard Workerentry: 242*9880d681SAndroid Build Coastguard Worker %cmp1 = icmp eq i64 %n, 0 243*9880d681SAndroid Build Coastguard Worker br i1 %cmp1, label %for.end, label %for.body.preheader 244*9880d681SAndroid Build Coastguard Worker 245*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 246*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 247*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 248*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 249*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 250*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 251*9880d681SAndroid Build Coastguard Worker 252*9880d681SAndroid Build Coastguard Workerfor.body.preheader: ; preds = %entry 253*9880d681SAndroid Build Coastguard Worker br label %for.body 254*9880d681SAndroid Build Coastguard Worker 255*9880d681SAndroid Build Coastguard Workerfor.body: ; preds = %for.body.preheader, %for.body 256*9880d681SAndroid Build Coastguard Worker %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 257*9880d681SAndroid Build Coastguard Worker %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ] 258*9880d681SAndroid Build Coastguard Worker %conv = trunc i64 %i.03 to i32 259*9880d681SAndroid Build Coastguard Worker %mul = mul nsw i64 %i.03, -2 260*9880d681SAndroid Build Coastguard Worker %mul1 = shl i64 %n, 1 261*9880d681SAndroid Build Coastguard Worker %sub = sub i64 %mul, %mul1 262*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %A, i64 %sub 263*9880d681SAndroid Build Coastguard Worker store i32 %conv, i32* %arrayidx, align 4 264*9880d681SAndroid Build Coastguard Worker %sub2 = sub nsw i64 0, %i.03 265*9880d681SAndroid Build Coastguard Worker %sub3 = sub i64 %sub2, %n 266*9880d681SAndroid Build Coastguard Worker %arrayidx4 = getelementptr inbounds i32, i32* %A, i64 %sub3 267*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* %arrayidx4, align 4 268*9880d681SAndroid Build Coastguard Worker %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 269*9880d681SAndroid Build Coastguard Worker store i32 %0, i32* %B.addr.02, align 4 270*9880d681SAndroid Build Coastguard Worker %inc = add nsw i64 %i.03, 1 271*9880d681SAndroid Build Coastguard Worker %exitcond = icmp ne i64 %inc, %n 272*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %for.body, label %for.end.loopexit 273*9880d681SAndroid Build Coastguard Worker 274*9880d681SAndroid Build Coastguard Workerfor.end.loopexit: ; preds = %for.body 275*9880d681SAndroid Build Coastguard Worker br label %for.end 276*9880d681SAndroid Build Coastguard Worker 277*9880d681SAndroid Build Coastguard Workerfor.end: ; preds = %for.end.loopexit, %entry 278*9880d681SAndroid Build Coastguard Worker ret void 279*9880d681SAndroid Build Coastguard Worker} 280*9880d681SAndroid Build Coastguard Worker 281*9880d681SAndroid Build Coastguard Worker 282*9880d681SAndroid Build Coastguard Worker;; why doesn't SCEV package understand that n >= 0? 283*9880d681SAndroid Build Coastguard Worker;; for (long unsigned i = 0; i < n; i++) { 284*9880d681SAndroid Build Coastguard Worker;; A[i + n + 1] = i; 285*9880d681SAndroid Build Coastguard Worker;; *B++ = A[-i]; 286*9880d681SAndroid Build Coastguard Worker 287*9880d681SAndroid Build Coastguard Workerdefine void @weaktest(i32* %A, i32* %B, i64 %n) nounwind uwtable ssp { 288*9880d681SAndroid Build Coastguard Workerentry: 289*9880d681SAndroid Build Coastguard Worker %cmp1 = icmp eq i64 %n, 0 290*9880d681SAndroid Build Coastguard Worker br i1 %cmp1, label %for.end, label %for.body.preheader 291*9880d681SAndroid Build Coastguard Worker 292*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 293*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - flow [*|<] splitable! 294*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - split level = 1, iteration = ((0 smax (-1 + (-1 * %n))) /u 2)! 295*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 296*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 297*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 298*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 299*9880d681SAndroid Build Coastguard Worker 300*9880d681SAndroid Build Coastguard Workerfor.body.preheader: ; preds = %entry 301*9880d681SAndroid Build Coastguard Worker br label %for.body 302*9880d681SAndroid Build Coastguard Worker 303*9880d681SAndroid Build Coastguard Workerfor.body: ; preds = %for.body.preheader, %for.body 304*9880d681SAndroid Build Coastguard Worker %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 305*9880d681SAndroid Build Coastguard Worker %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ] 306*9880d681SAndroid Build Coastguard Worker %conv = trunc i64 %i.03 to i32 307*9880d681SAndroid Build Coastguard Worker %add = add i64 %i.03, %n 308*9880d681SAndroid Build Coastguard Worker %add1 = add i64 %add, 1 309*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add1 310*9880d681SAndroid Build Coastguard Worker store i32 %conv, i32* %arrayidx, align 4 311*9880d681SAndroid Build Coastguard Worker %sub = sub i64 0, %i.03 312*9880d681SAndroid Build Coastguard Worker %arrayidx2 = getelementptr inbounds i32, i32* %A, i64 %sub 313*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* %arrayidx2, align 4 314*9880d681SAndroid Build Coastguard Worker %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 315*9880d681SAndroid Build Coastguard Worker store i32 %0, i32* %B.addr.02, align 4 316*9880d681SAndroid Build Coastguard Worker %inc = add i64 %i.03, 1 317*9880d681SAndroid Build Coastguard Worker %exitcond = icmp ne i64 %inc, %n 318*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %for.body, label %for.end.loopexit 319*9880d681SAndroid Build Coastguard Worker 320*9880d681SAndroid Build Coastguard Workerfor.end.loopexit: ; preds = %for.body 321*9880d681SAndroid Build Coastguard Worker br label %for.end 322*9880d681SAndroid Build Coastguard Worker 323*9880d681SAndroid Build Coastguard Workerfor.end: ; preds = %for.end.loopexit, %entry 324*9880d681SAndroid Build Coastguard Worker ret void 325*9880d681SAndroid Build Coastguard Worker} 326*9880d681SAndroid Build Coastguard Worker 327*9880d681SAndroid Build Coastguard Worker 328*9880d681SAndroid Build Coastguard Worker;; for (long int i = 0; i < n; i++) { 329*9880d681SAndroid Build Coastguard Worker;; A[4*N*i + M] = i; 330*9880d681SAndroid Build Coastguard Worker;; *B++ = A[4*N*i + 3*M + 1]; 331*9880d681SAndroid Build Coastguard Worker 332*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv6(i32* %A, i32* %B, i64 %n, i64 %N, i64 %M) nounwind uwtable ssp { 333*9880d681SAndroid Build Coastguard Workerentry: 334*9880d681SAndroid Build Coastguard Worker %cmp1 = icmp eq i64 %n, 0 335*9880d681SAndroid Build Coastguard Worker br i1 %cmp1, label %for.end, label %for.body.preheader 336*9880d681SAndroid Build Coastguard Worker 337*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 338*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 339*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 340*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 341*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 342*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 343*9880d681SAndroid Build Coastguard Worker 344*9880d681SAndroid Build Coastguard Workerfor.body.preheader: ; preds = %entry 345*9880d681SAndroid Build Coastguard Worker br label %for.body 346*9880d681SAndroid Build Coastguard Worker 347*9880d681SAndroid Build Coastguard Workerfor.body: ; preds = %for.body.preheader, %for.body 348*9880d681SAndroid Build Coastguard Worker %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 349*9880d681SAndroid Build Coastguard Worker %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ] 350*9880d681SAndroid Build Coastguard Worker %conv = trunc i64 %i.03 to i32 351*9880d681SAndroid Build Coastguard Worker %mul = shl i64 %N, 2 352*9880d681SAndroid Build Coastguard Worker %mul1 = mul i64 %mul, %i.03 353*9880d681SAndroid Build Coastguard Worker %add = add i64 %mul1, %M 354*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 355*9880d681SAndroid Build Coastguard Worker store i32 %conv, i32* %arrayidx, align 4 356*9880d681SAndroid Build Coastguard Worker %mul2 = shl i64 %N, 2 357*9880d681SAndroid Build Coastguard Worker %mul3 = mul i64 %mul2, %i.03 358*9880d681SAndroid Build Coastguard Worker %mul4 = mul i64 %M, 3 359*9880d681SAndroid Build Coastguard Worker %add5 = add i64 %mul3, %mul4 360*9880d681SAndroid Build Coastguard Worker %add6 = add i64 %add5, 1 361*9880d681SAndroid Build Coastguard Worker %arrayidx7 = getelementptr inbounds i32, i32* %A, i64 %add6 362*9880d681SAndroid Build Coastguard Worker %0 = load i32, i32* %arrayidx7, align 4 363*9880d681SAndroid Build Coastguard Worker %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 364*9880d681SAndroid Build Coastguard Worker store i32 %0, i32* %B.addr.02, align 4 365*9880d681SAndroid Build Coastguard Worker %inc = add nsw i64 %i.03, 1 366*9880d681SAndroid Build Coastguard Worker %exitcond = icmp ne i64 %inc, %n 367*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %for.body, label %for.end.loopexit 368*9880d681SAndroid Build Coastguard Worker 369*9880d681SAndroid Build Coastguard Workerfor.end.loopexit: ; preds = %for.body 370*9880d681SAndroid Build Coastguard Worker br label %for.end 371*9880d681SAndroid Build Coastguard Worker 372*9880d681SAndroid Build Coastguard Workerfor.end: ; preds = %for.end.loopexit, %entry 373*9880d681SAndroid Build Coastguard Worker ret void 374*9880d681SAndroid Build Coastguard Worker} 375*9880d681SAndroid Build Coastguard Worker 376*9880d681SAndroid Build Coastguard Worker 377*9880d681SAndroid Build Coastguard Worker;; for (long int i = 0; i < n; i++) { 378*9880d681SAndroid Build Coastguard Worker;; A[2*N*i + M] = i; 379*9880d681SAndroid Build Coastguard Worker;; *B++ = A[2*N*i - 3*M + 2]; 380*9880d681SAndroid Build Coastguard Worker 381*9880d681SAndroid Build Coastguard Workerdefine void @symbolicsiv7(i32* %A, i32* %B, i64 %n, i64 %N, i64 %M) nounwind uwtable ssp { 382*9880d681SAndroid Build Coastguard Workerentry: 383*9880d681SAndroid Build Coastguard Worker %cmp1 = icmp eq i64 %n, 0 384*9880d681SAndroid Build Coastguard Worker br i1 %cmp1, label %for.end, label %for.body.preheader 385*9880d681SAndroid Build Coastguard Worker 386*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 387*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - flow [<>]! 388*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 389*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 390*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - confused! 391*9880d681SAndroid Build Coastguard Worker; CHECK: da analyze - none! 392*9880d681SAndroid Build Coastguard Worker 393*9880d681SAndroid Build Coastguard Workerfor.body.preheader: ; preds = %entry 394*9880d681SAndroid Build Coastguard Worker br label %for.body 395*9880d681SAndroid Build Coastguard Worker 396*9880d681SAndroid Build Coastguard Workerfor.body: ; preds = %for.body.preheader, %for.body 397*9880d681SAndroid Build Coastguard Worker %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] 398*9880d681SAndroid Build Coastguard Worker %B.addr.02 = phi i32* [ %incdec.ptr, %for.body ], [ %B, %for.body.preheader ] 399*9880d681SAndroid Build Coastguard Worker %conv = trunc i64 %i.03 to i32 400*9880d681SAndroid Build Coastguard Worker %mul = shl i64 %N, 1 401*9880d681SAndroid Build Coastguard Worker %mul1 = mul i64 %mul, %i.03 402*9880d681SAndroid Build Coastguard Worker %add = add i64 %mul1, %M 403*9880d681SAndroid Build Coastguard Worker %arrayidx = getelementptr inbounds i32, i32* %A, i64 %add 404*9880d681SAndroid Build Coastguard Worker store i32 %conv, i32* %arrayidx, align 4 405*9880d681SAndroid Build Coastguard Worker %mul2 = shl i64 %N, 1 406*9880d681SAndroid Build Coastguard Worker %mul3 = mul i64 %mul2, %i.03 407*9880d681SAndroid Build Coastguard Worker %0 = mul i64 %M, -3 408*9880d681SAndroid Build Coastguard Worker %sub = add i64 %mul3, %0 409*9880d681SAndroid Build Coastguard Worker %add5 = add i64 %sub, 2 410*9880d681SAndroid Build Coastguard Worker %arrayidx6 = getelementptr inbounds i32, i32* %A, i64 %add5 411*9880d681SAndroid Build Coastguard Worker %1 = load i32, i32* %arrayidx6, align 4 412*9880d681SAndroid Build Coastguard Worker %incdec.ptr = getelementptr inbounds i32, i32* %B.addr.02, i64 1 413*9880d681SAndroid Build Coastguard Worker store i32 %1, i32* %B.addr.02, align 4 414*9880d681SAndroid Build Coastguard Worker %inc = add nsw i64 %i.03, 1 415*9880d681SAndroid Build Coastguard Worker %exitcond = icmp ne i64 %inc, %n 416*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %for.body, label %for.end.loopexit 417*9880d681SAndroid Build Coastguard Worker 418*9880d681SAndroid Build Coastguard Workerfor.end.loopexit: ; preds = %for.body 419*9880d681SAndroid Build Coastguard Worker br label %for.end 420*9880d681SAndroid Build Coastguard Worker 421*9880d681SAndroid Build Coastguard Workerfor.end: ; preds = %for.end.loopexit, %entry 422*9880d681SAndroid Build Coastguard Worker ret void 423*9880d681SAndroid Build Coastguard Worker} 424