1; RUN: opt < %s -loop-reduce -S | FileCheck %s 2; CHECK-NOT: {{inttoptr|ptrtoint}} 3; CHECK: scevgep 4; CHECK-NOT: {{inttoptr|ptrtoint}} 5target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128-n32:64" 6 7; Indvars shouldn't need inttoptr/ptrtoint to expand an address here. 8 9define void @foo(i8* %p) nounwind { 10entry: 11 br i1 true, label %bb.nph, label %for.end 12 13for.cond: 14 %phitmp = icmp slt i64 %inc, 20 15 br i1 %phitmp, label %for.body, label %for.cond.for.end_crit_edge 16 17for.cond.for.end_crit_edge: 18 br label %for.end 19 20bb.nph: 21 br label %for.body 22 23for.body: 24 %storemerge1 = phi i64 [ %inc, %for.cond ], [ 0, %bb.nph ] 25 %call = tail call i64 @bar() nounwind 26 %call2 = tail call i64 @car() nounwind 27 %conv = trunc i64 %call2 to i8 28 %conv3 = sext i8 %conv to i64 29 %add = add nsw i64 %call, %storemerge1 30 %add4 = add nsw i64 %add, %conv3 31 %arrayidx = getelementptr inbounds i8* %p, i64 %add4 32 store i8 0, i8* %arrayidx 33 %inc = add nsw i64 %storemerge1, 1 34 br label %for.cond 35 36for.end: 37 ret void 38} 39 40declare i64 @bar() 41 42declare i64 @car() 43