test/CodeGen/Thumb2/2010-02-11-phi-cycle.ll

   1 ; RUN: llc < %s -mtriple=thumbv7-apple-darwin | FileCheck %s
   2 target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:32-n32"
   3
   4 define i32 @test(i32 %n) nounwind {
   5 ; CHECK-LABEL: test:
   6 ; CHECK-NOT: mov
   7 ; CHECK: return
   8 entry:
   9   %0 = icmp eq i32 %n, 1                          ; <i1> [#uses=1]
  10   br i1 %0, label %return, label %bb.nph
  11
  12 bb.nph:                                           ; preds = %entry
  13   %tmp = add i32 %n, -1                           ; <i32> [#uses=1]
  14   br label %bb
  15
  16 bb:                                               ; preds = %bb.nph, %bb
  17   %indvar = phi i32 [ 0, %bb.nph ], [ %indvar.next, %bb ] ; <i32> [#uses=1]
  18   %u.05 = phi i64 [ undef, %bb.nph ], [ %ins, %bb ] ; <i64> [#uses=1]
  19   %1 = tail call  i32 @f() nounwind    ; <i32> [#uses=1]
  20   %tmp4 = zext i32 %1 to i64                      ; <i64> [#uses=1]
  21   %mask = and i64 %u.05, -4294967296              ; <i64> [#uses=1]
  22   %ins = or i64 %tmp4, %mask                      ; <i64> [#uses=2]
  23   tail call  void @g(i64 %ins) nounwind
  24   %indvar.next = add i32 %indvar, 1               ; <i32> [#uses=2]
  25   %exitcond = icmp eq i32 %indvar.next, %tmp      ; <i1> [#uses=1]
  26   br i1 %exitcond, label %return, label %bb
  27
  28 return:                                           ; preds = %bb, %entry
  29   ret i32 undef
  30 }
  31
  32 define i32 @test_dead_cycle(i32 %n) nounwind {
  33 ; CHECK-LABEL: test_dead_cycle:
  34 ; CHECK: bl
  35 ; CHECK-NOT: mov
  36 ; CHECK: bl
  37 entry:
  38   %0 = icmp eq i32 %n, 1                          ; <i1> [#uses=1]
  39   br i1 %0, label %return, label %bb.nph
  40
  41 bb.nph:                                           ; preds = %entry
  42   %tmp = add i32 %n, -1                           ; <i32> [#uses=2]
  43   br label %bb
  44
  45 bb:                                               ; preds = %bb.nph, %bb2
  46   %indvar = phi i32 [ 0, %bb.nph ], [ %indvar.next, %bb2 ] ; <i32> [#uses=2]
  47   %u.17 = phi i64 [ undef, %bb.nph ], [ %u.0, %bb2 ] ; <i64> [#uses=2]
  48   %tmp9 = sub i32 %tmp, %indvar                   ; <i32> [#uses=1]
  49   %1 = icmp sgt i32 %tmp9, 1                      ; <i1> [#uses=1]
  50   br i1 %1, label %bb1, label %bb2
  51
  52 bb1:                                              ; preds = %bb
  53   %2 = tail call  i32 @f() nounwind    ; <i32> [#uses=1]
  54   %tmp6 = zext i32 %2 to i64                      ; <i64> [#uses=1]
  55   %mask = and i64 %u.17, -4294967296              ; <i64> [#uses=1]
  56   %ins = or i64 %tmp6, %mask                      ; <i64> [#uses=1]
  57   tail call  void @g(i64 %ins) nounwind
  58   br label %bb2
  59
  60 bb2:                                              ; preds = %bb1, %bb
  61 ; also check for duplicate induction variables (radar 7645034)
  62 ; CHECK: subs r{{.*}}, #1
  63 ; CHECK-NOT: subs r{{.*}}, #1
  64 ; CHECK: pop
  65   %u.0 = phi i64 [ %ins, %bb1 ], [ %u.17, %bb ]   ; <i64> [#uses=2]
  66   %indvar.next = add i32 %indvar, 1               ; <i32> [#uses=2]
  67   %exitcond = icmp eq i32 %indvar.next, %tmp      ; <i1> [#uses=1]
  68   br i1 %exitcond, label %return, label %bb
  69
  70 return:                                           ; preds = %bb2, %entry
  71   ret i32 undef
  72 }
  73
  74 declare i32 @f()
  75
  76 declare void @g(i64)