test/Transforms/JumpThreading/loop-phi.ll

   1 ; RUN: opt < %s -jump-threading -S -jump-threading-across-loop-headers | FileCheck %s
   2
   3 ; Make sure we correctly distinguish between %tmp15 and %tmp16 when we clone
   4 ; body2.
   5
   6 ; CHECK:      body2.thread:
   7 ; CHECK-NEXT: %tmp163 = add i32 %tmp165, 1
   8 ; CHECK-NEXT: br label %latch1
   9
  10 ; CHECK:      latch1:
  11 ; CHECK-NEXT: %tmp165 = phi i32 [ %tmp163, %body2.thread ], [ %tmp16, %body2 ]
  12 ; CHECK-NEXT: %tmp154 = phi i32 [ %tmp165, %body2.thread ], [ %tmp15, %body2 ]
  13
  14 define i32 @test(i1 %ARG1, i1 %ARG2, i32 %n) {
  15 entry:
  16   br label %head1
  17
  18 head1:                                            ; preds = %entry, %body1
  19   %tmp = phi i32 [ 0, %entry ], [ %tmp16, %body1 ]
  20   %tmp3 = phi i32 [ 0, %entry ], [ %tmp16, %body1 ]
  21   %tmp4 = phi i32 [ 0, %entry ], [ %tmp16, %body1 ]
  22   br i1 %ARG1, label %exit, label %body2
  23
  24 body1:                                            ; preds = %latch1
  25   %tmp12 = icmp sgt i32 %tmp16, 1
  26   br i1 %tmp12, label %body2, label %head1
  27
  28 body2:                                            ; preds = %head1, %body1
  29   %tmp14 = phi i32 [ %tmp16, %body1 ], [ %tmp, %head1 ]
  30   %tmp15 = phi i32 [ %tmp16, %body1 ], [ %tmp3, %head1 ]
  31   %tmp16 = add i32 %tmp14, 1
  32   br i1 %ARG2, label %exit, label %latch1
  33
  34 latch1:                                           ; preds = %body2
  35   %tmp18 = icmp sgt i32 %tmp16, %n
  36   br i1 %tmp18, label %exit, label %body1
  37
  38 exit:                                             ; preds = %latch1, %body2, %head1
  39   %rc = phi i32 [ %tmp15, %body2 ], [ %tmp15, %latch1 ], [ -1, %head1 ]
  40   ret i32 %rc
  41 }