test/Transforms/LoopStrengthReduce/2011-10-13-SCEVChain.ll

   1 ; RUN: opt -loop-reduce -S < %s | FileCheck %s
   2 ;
   3 ; Test TransformForPostIncUse and LSR's expansion of expressions in
   4 ; post-inc form to ensure the implementation can handle expressions
   5 ; DAGs, not just trees.
   6
   7 target triple = "x86_64-apple-darwin"
   8
   9 ; Verify that -loop-reduce runs without "hanging" and reuses post-inc
  10 ; expansions.
  11 ; CHECK-LABEL: @test(
  12 ; CHECK: icmp
  13 ; CHECK: icmp
  14 ; CHECK: icmp
  15 ; CHECK: icmp
  16 ; CHECK: icmp
  17 ; CHECK: icmp
  18 ; CHECK: icmp
  19 ; CHECK: icmp
  20 ; CHECK: icmp
  21 ; CHECK: icmp
  22 ; CHECK: icmp
  23 ; CHECK: icmp
  24 ; CHECK: icmp
  25 ; CHECK: icmp
  26 ; CHECK: icmp
  27 ; CHECK: icmp
  28 ; CHECK: icmp
  29 ; CHECK-NOT: icmp
  30 define void @test(i8* %base, i32 %a0) nounwind {
  31 entry:
  32   br label %bb1
  33 bb1:
  34   %n0 = sub i32 0, %a0
  35   %t0 = icmp ugt i32 %n0, -4
  36   %m0 = select i1 %t0, i32 %n0, i32 -4
  37   %a1 = add i32 %m0, %a0
  38   %n1 = sub i32 0, %a1
  39   %t1 = icmp ugt i32 %n1, -4
  40   %m1 = select i1 %t1, i32 %n1, i32 -4
  41   %a2 = add i32 %m1, %a1
  42   %n2 = sub i32 0, %a2
  43   %t2 = icmp ugt i32 %n2, -4
  44   %m2 = select i1 %t2, i32 %n2, i32 -4
  45   %a3 = add i32 %m2, %a2
  46   %n3 = sub i32 0, %a3
  47   %t3 = icmp ugt i32 %n3, -4
  48   %m3 = select i1 %t3, i32 %n3, i32 -4
  49   %a4 = add i32 %m3, %a3
  50   %n4 = sub i32 0, %a4
  51   %t4 = icmp ugt i32 %n4, -4
  52   %m4 = select i1 %t4, i32 %n4, i32 -4
  53   %a5 = add i32 %m4, %a4
  54   %n5 = sub i32 0, %a5
  55   %t5 = icmp ugt i32 %n5, -4
  56   %m5 = select i1 %t5, i32 %n5, i32 -4
  57   %a6 = add i32 %m5, %a5
  58   %n6 = sub i32 0, %a6
  59   %t6 = icmp ugt i32 %n6, -4
  60   %m6 = select i1 %t6, i32 %n6, i32 -4
  61   %a7 = add i32 %m6, %a6
  62   %n7 = sub i32 0, %a7
  63   %t7 = icmp ugt i32 %n7, -4
  64   %m7 = select i1 %t7, i32 %n7, i32 -4
  65   %a8 = add i32 %m7, %a7
  66   %n8 = sub i32 0, %a8
  67   %t8 = icmp ugt i32 %n8, -4
  68   %m8 = select i1 %t8, i32 %n8, i32 -4
  69   %a9 = add i32 %m8, %a8
  70   %n9 = sub i32 0, %a9
  71   %t9 = icmp ugt i32 %n9, -4
  72   %m9 = select i1 %t9, i32 %n9, i32 -4
  73   %a10 = add i32 %m9, %a9
  74   %n10 = sub i32 0, %a10
  75   %t10 = icmp ugt i32 %n10, -4
  76   %m10 = select i1 %t10, i32 %n10, i32 -4
  77   %a11 = add i32 %m10, %a10
  78   %n11 = sub i32 0, %a11
  79   %t11 = icmp ugt i32 %n11, -4
  80   %m11 = select i1 %t11, i32 %n11, i32 -4
  81   %a12 = add i32 %m11, %a11
  82   %n12 = sub i32 0, %a12
  83   %t12 = icmp ugt i32 %n12, -4
  84   %m12 = select i1 %t12, i32 %n12, i32 -4
  85   %a13 = add i32 %m12, %a12
  86   %n13 = sub i32 0, %a13
  87   %t13 = icmp ugt i32 %n13, -4
  88   %m13 = select i1 %t13, i32 %n13, i32 -4
  89   %a14 = add i32 %m13, %a13
  90   %n14 = sub i32 0, %a14
  91   %t14 = icmp ugt i32 %n14, -4
  92   %m14 = select i1 %t14, i32 %n14, i32 -4
  93   %a15 = add i32 %m14, %a14
  94   %n15 = sub i32 0, %a15
  95   %t15 = icmp ugt i32 %n15, -4
  96   %m15 = select i1 %t15, i32 %n15, i32 -4
  97   %a16 = add i32 %m15, %a15
  98   %gep = getelementptr i8* %base, i32 %a16
  99   %ofs = add i32 %a16, 4
 100   %limit = getelementptr i8* %base, i32 %ofs
 101   br label %loop
 102
 103 loop:
 104   %iv = phi i8* [ %gep, %bb1 ], [ %inc, %loop ]
 105   %inc = getelementptr inbounds i8* %iv, i64 1
 106   %exitcond = icmp eq i8* %inc, %limit
 107   br i1 %exitcond, label %loop, label %exit
 108
 109 exit:
 110   ret void
 111 }