[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / LoopStrengthReduce / pr12018.ll
blobcabb0a2e2e69cbb41050f8e82c4fd9567a49ec17
1 ; RUN: opt < %s -loop-reduce
3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128"
5 %struct.nsTArray = type { i8 }
6 %struct.nsTArrayHeader = type { i32 }
8 define void @_Z6foobarR8nsTArray(%struct.nsTArray* %aValues, i32 %foo, %struct.nsTArrayHeader* %bar) nounwind {
9 entry:
10   br label %for.body
12 for.body:                                         ; preds = %_ZN8nsTArray9ElementAtEi.exit, %entry
13   %i.06 = phi i32 [ %add, %_ZN8nsTArray9ElementAtEi.exit ], [ 0, %entry ]
14   %call.i = call %struct.nsTArrayHeader* @_ZN8nsTArray4Hdr2Ev() nounwind
15   %add.ptr.i = getelementptr inbounds %struct.nsTArrayHeader, %struct.nsTArrayHeader* %call.i, i32 1
16   %tmp = bitcast %struct.nsTArrayHeader* %add.ptr.i to %struct.nsTArray*
17   %arrayidx = getelementptr inbounds %struct.nsTArray, %struct.nsTArray* %tmp, i32 %i.06
18   %add = add nsw i32 %i.06, 1
19   call void @llvm.dbg.value(metadata %struct.nsTArray* %aValues, metadata !0, metadata !DIExpression()) nounwind, !dbg !DILocation(scope: !1)
20   br label %_ZN8nsTArray9ElementAtEi.exit
22 _ZN8nsTArray9ElementAtEi.exit:                    ; preds = %for.body
23   %arrayidx.i = getelementptr inbounds %struct.nsTArray, %struct.nsTArray* %tmp, i32 %add
24   call void @_ZN11nsTArray15ComputeDistanceERKS_Rd(%struct.nsTArray* %arrayidx, %struct.nsTArray* %arrayidx.i) nounwind
25   %cmp = icmp slt i32 %add, %foo
26   br i1 %cmp, label %for.body, label %for.end
28 for.end:                                          ; preds = %_ZN8nsTArray9ElementAtEi.exit
29   ret void
32 declare void @_ZN11nsTArray15ComputeDistanceERKS_Rd(%struct.nsTArray*, %struct.nsTArray*)
34 declare %struct.nsTArrayHeader* @_ZN8nsTArray4Hdr2Ev()
36 declare void @llvm.dbg.value(metadata, metadata, metadata) nounwind readnone
38 !0 = !DILocalVariable(scope: !1)
39 !1 = distinct !DISubprogram()