[InstCombine] Signed saturation tests. NFC
[llvm-core.git] / test / Transforms / LoopStrengthReduce / 2012-03-26-constexpr.ll
blobce6161cb1b453037d1b0bc66f19f782f8da07691
1 ; RUN: opt < %s -loop-reduce -S
2 ; PR11950: isHighCostExpansion crashes on ConstExpr
4 ; The crash happened during IVChain analysis (CollectChains). We don't
5 ; really care how LSR decides to transform this loop, so we don't
6 ; check it. As long as the analysis doesn't crash we're ok.
7 target datalayout = "e-p:64:64:64-n32:64"
9 %struct.this_structure_s.0.5 = type { [6144 x [8 x i32]], [6144 x [8 x i32]], [6147 x [4 x i32]], [8 x i32], [2 x i8*], [2 x i8*], [6144 x i8], [6144 x i32], [6144 x i32], [4 x [4 x i8]] }
11 define internal fastcc void @someFunction(%struct.this_structure_s.0.5* nocapture %scratch, i32 %stage, i32 %cbSize) nounwind {
12 entry:
13   %0 = getelementptr inbounds %struct.this_structure_s.0.5, %struct.this_structure_s.0.5* %scratch, i32 0, i32 4, i32 %stage
14   %1 = load i8*, i8** %0, align 4
15   %2 = getelementptr inbounds %struct.this_structure_s.0.5, %struct.this_structure_s.0.5* %scratch, i32 0, i32 5, i32 %stage
16   %3 = load i8*, i8** %2, align 4
17   %4 = getelementptr inbounds %struct.this_structure_s.0.5, %struct.this_structure_s.0.5* %scratch, i32 0, i32 2, i32 0, i32 0
18   %tmp11 = shl i32 %stage, 1
19   %tmp1325 = or i32 %tmp11, 1
20   br label %__label_D_1608
22 __label_D_1608:                                   ; preds = %__label_D_1608, %entry
23   %i.12 = phi i32 [ 0, %entry ], [ %10, %__label_D_1608 ]
24   %tmp = shl i32 %i.12, 2
25   %lvar_g.13 = getelementptr i32, i32* %4, i32 %tmp
26   %tmp626 = or i32 %tmp, 1
27   %scevgep = getelementptr i32, i32* %4, i32 %tmp626
28   %tmp727 = or i32 %tmp, 2
29   %scevgep8 = getelementptr i32, i32* %4, i32 %tmp727
30   %tmp928 = or i32 %tmp, 3
31   %scevgep10 = getelementptr i32, i32* %4, i32 %tmp928
32   %scevgep12 = getelementptr %struct.this_structure_s.0.5, %struct.this_structure_s.0.5* %scratch, i32 0, i32 9, i32 %tmp11, i32 %i.12
33   %scevgep14 = getelementptr %struct.this_structure_s.0.5, %struct.this_structure_s.0.5* %scratch, i32 0, i32 9, i32 %tmp1325, i32 %i.12
34   %5 = load i8, i8* %scevgep12, align 1
35   %6 = sext i8 %5 to i32
36   %7 = load i8, i8* %scevgep14, align 1
37   %8 = sext i8 %7 to i32
38   store i32 0, i32* %lvar_g.13, align 4
39   store i32 %8, i32* %scevgep, align 4
40   store i32 %6, i32* %scevgep8, align 4
41   %9 = add nsw i32 %8, %6
42   store i32 %9, i32* %scevgep10, align 4
43   %10 = add nsw i32 %i.12, 1
44   %exitcond = icmp eq i32 %10, 3
45   br i1 %exitcond, label %return, label %__label_D_1608
47 return:                                           ; preds = %__label_D_1608
48   ret void