llvm/test/CodeGen/SystemZ/int-uadd-12.ll

   1 ; Test that this test case does not abort after the folding of load -> add ->
   2 ; store into an alsi. This folding is suppose to not happen as it would
   3 ; introduce a loop in the DAG.
   4 ;
   5 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 -disable-basic-aa -consthoist-gep | FileCheck %s
   6
   7 @g_295 = external dso_local unnamed_addr global i32, align 4
   8 @g_672 = external dso_local unnamed_addr global i64, align 8
   9 @g_1484 = external dso_local global <{ i8, i64, { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, [2 x i8], i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, i8 }, i32 }>, align 2
  10
  11 define void @fun() {
  12 ; CHECK-LABEL: fun:
  13
  14 bb:
  15   br label %bb1
  16
  17 bb1:                                              ; preds = %bb1, %bb
  18   store i32 2, ptr getelementptr inbounds (<{ i8, i64, { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, [2 x i8], i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, i8 }, i32 }>, ptr @g_1484, i64 0, i32 2, i32 16)
  19   %tmp = icmp slt i32 undef, 3
  20   br i1 %tmp, label %bb1, label %bb2
  21
  22 bb2:                                              ; preds = %bb1
  23   %tmp3 = load i32, ptr getelementptr inbounds (<{ i8, i64, { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, [2 x i8], i8, i8, i8, i8, i8, i8, i8, i8, i32, i8, i8, i8 }, i32 }>, ptr @g_1484, i64 0, i32 2, i32 28)
  24   %tmp4 = load i64, ptr @g_672
  25   %tmp5 = add i64 %tmp4, 1
  26   store i64 %tmp5, ptr @g_672
  27   %tmp6 = icmp eq i64 %tmp5, 0
  28   %tmp7 = zext i1 %tmp6 to i32
  29   %tmp8 = icmp ult i32 %tmp3, %tmp7
  30   %tmp9 = zext i1 %tmp8 to i32
  31   store i32 %tmp9, ptr @g_295
  32   ret void
  33 }
  34