test/Analysis/ScalarEvolution/non-IV-phi.ll

   1 ; RUN: opt -scalar-evolution -analyze < %s | FileCheck %s
   2
   3 define void @test1(i8 %t, i32 %len) {
   4 ; CHECK-LABEL: test1
   5 ; CHECK: %sphi = phi i32 [ %ext, %entry ], [ %idx.inc.ext, %loop ]
   6 ; CHECK-NEXT:  -->  (zext i8 {%t,+,1}<%loop> to i32)
   7
   8  entry:
   9   %st = zext i8 %t to i16
  10   %ext = zext i8 %t to i32
  11   %ecmp = icmp ult i16 %st, 42
  12   br i1 %ecmp, label %loop, label %exit
  13
  14  loop:
  15
  16   %idx = phi i8 [ %t, %entry ], [ %idx.inc, %loop ]
  17   %sphi = phi i32 [ %ext, %entry ], [%idx.inc.ext, %loop]
  18
  19   %idx.inc = add i8 %idx, 1
  20   %idx.inc.ext = zext i8 %idx.inc to i32
  21   %idx.ext = zext i8 %idx to i32
  22
  23   %c = icmp ult i32 %idx.inc.ext, %len
  24   br i1 %c, label %loop, label %exit
  25
  26  exit:
  27   ret void
  28 }
  29
  30 define void @test2(i8 %t, i32 %len) {
  31 ; CHECK-LABEL: test2
  32 ; CHECK: %sphi = phi i32 [ %ext.mul, %entry ], [ %mul, %loop ]
  33 ; CHECK-NEXT:  -->  (4 * (zext i8 {%t,+,1}<%loop> to i32))
  34
  35  entry:
  36   %st = zext i8 %t to i16
  37   %ext = zext i8 %t to i32
  38   %ext.mul = mul i32 %ext, 4
  39
  40   %ecmp = icmp ult i16 %st, 42
  41   br i1 %ecmp, label %loop, label %exit
  42
  43  loop:
  44
  45   %idx = phi i8 [ %t, %entry ], [ %idx.inc, %loop ]
  46   %sphi = phi i32 [ %ext.mul, %entry ], [%mul, %loop]
  47
  48   %idx.inc = add i8 %idx, 1
  49   %idx.inc.ext = zext i8 %idx.inc to i32
  50   %mul = mul i32 %idx.inc.ext, 4
  51
  52   %idx.ext = zext i8 %idx to i32
  53
  54   %c = icmp ult i32 %idx.inc.ext, %len
  55   br i1 %c, label %loop, label %exit
  56
  57  exit:
  58   ret void
  59 }