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 7target 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 30define void @test(i8* %base, i32 %a0) nounwind { 31entry: 32 br label %bb1 33bb1: 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, i8* %base, i32 %a16 99 %ofs = add i32 %a16, 4 100 %limit = getelementptr i8, i8* %base, i32 %ofs 101 br label %loop 102 103loop: 104 %iv = phi i8* [ %gep, %bb1 ], [ %inc, %loop ] 105 %inc = getelementptr inbounds i8, i8* %iv, i64 1 106 %exitcond = icmp eq i8* %inc, %limit 107 br i1 %exitcond, label %loop, label %exit 108 109exit: 110 ret void 111} 112