Lines Matching +full:merge +full:- +full:base
1 ; RUN: opt < %s -indvars -S | FileCheck %s
3 …alayout = "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-…
7 define void @postincConstIV(i8* %base, i32 %limit) nounwind {
11 ; CHECK-NOT: sext
17 %preadr = getelementptr i8, i8* %base, i64 %preofs
21 %postadr = getelementptr i8, i8* %base, i64 %postofs
25 %postadrnsw = getelementptr inbounds i8, i8* %base, i64 %postofsnsw
38 define void @postincVarIV(i8* %base, i32 %init, i32 %limit) nounwind {
43 ; CHECK-NOT: sext
49 %preadr = getelementptr i8, i8* %base, i64 %preofs
53 %postadr = getelementptr i8, i8* %base, i64 %postofs
57 %postadrnsw = getelementptr i8, i8* %base, i64 %postofsnsw
70 ; %inneriv can be widened only after proving it has no signed-overflow
74 %limitdec = add i32 %limit, -1
80 ; CHECK-NOT: sext
84 ; CHECK-NOT: getelementptr
87 %innercount = phi i32 [ %innercount.merge, %outermerge ], [ 0, %entry ]
89 %outercountdec = add i32 %outercount, -1
104 ; CHECK-NOT: sext
132 ; CHECK-NOT: sext
137 %innercount.merge = phi i32 [ %innercount.lcssa, %innerexit ], [ %innercount, %innerpreheader ]
143 %ofs5 = sext i32 %innercount.merge to i64