test/Transforms/IndVarSimplify/iv-widen.ll

   1 ; RUN: opt < %s -indvars -S | FileCheck %s
   2
   3 ; Provide legal integer types.
   4 target datalayout = "n8:16:32:64"
   5
   6
   7 target triple = "x86_64-apple-darwin"
   8
   9 ; CHECK-LABEL: @loop_0
  10 ; CHECK-LABEL: B18:
  11 ; Only one phi now.
  12 ; CHECK: phi
  13 ; CHECK-NOT: phi
  14 ; One trunc for the gep.
  15 ; CHECK: trunc i64 %indvars.iv to i32
  16 ; One trunc for the dummy() call.
  17 ; CHECK-LABEL: exit24:
  18 ; CHECK: trunc i64 {{.*}}lcssa.wide to i32
  19 define void @loop_0(i32* %a) {
  20 Prologue:
  21   br i1 undef, label %B18, label %B6
  22
  23 B18:                                        ; preds = %B24, %Prologue
  24   %.02 = phi i32 [ 0, %Prologue ], [ %tmp33, %B24 ]
  25   %tmp23 = zext i32 %.02 to i64
  26   %tmp33 = add i32 %.02, 1
  27   %o = getelementptr i32, i32* %a, i32 %.02
  28   %v = load i32, i32* %o
  29   %t = icmp eq i32 %v, 0
  30   br i1 %t, label %exit24, label %B24
  31
  32 B24:                                        ; preds = %B18
  33   %t2 = icmp eq i32 %tmp33, 20
  34   br i1 %t2, label %B6, label %B18
  35
  36 B6:                                       ; preds = %Prologue
  37   ret void
  38
  39 exit24:                      ; preds = %B18
  40   call void @dummy(i32 %.02)
  41   unreachable
  42 }
  43
  44 define void @loop_1(i32 %lim) {
  45 ; CHECK-LABEL: @loop_1(
  46  entry:
  47   %entry.cond = icmp ne i32 %lim, 0
  48   br i1 %entry.cond, label %loop, label %leave
  49
  50  loop:
  51 ; CHECK: loop:
  52 ; CHECK:  %indvars.iv = phi i64 [ 1, %loop.preheader ], [ %indvars.iv.next, %loop ]
  53 ; CHECK:  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  54 ; CHECK:  [[IV_INC:%[^ ]+]] = add nsw i64 %indvars.iv, -1
  55 ; CHECK:  call void @dummy.i64(i64 [[IV_INC]])
  56
  57   %iv = phi i32 [ 1, %entry ], [ %iv.inc, %loop ]
  58   %iv.inc = add i32 %iv, 1
  59   %iv.inc.sub = add i32 %iv, -1
  60   %iv.inc.sub.zext = zext i32 %iv.inc.sub to i64
  61   call void @dummy.i64(i64 %iv.inc.sub.zext)
  62   %be.cond = icmp ult i32 %iv.inc, %lim
  63   br i1 %be.cond, label %loop, label %leave
  64
  65  leave:
  66   ret void
  67 }
  68
  69 declare void @dummy(i32)
  70 declare void @dummy.i64(i64)