test/Analysis/ScalarEvolution/implied-via-addition.ll

   1 ; RUN: opt -indvars -S < %s | FileCheck %s
   2
   3 declare void @use(i1)
   4
   5 declare void @llvm.experimental.guard(i1, ...)
   6
   7 define void @test_01(i8 %t) {
   8 ; CHECK-LABEL: test_01
   9  entry:
  10   %st = sext i8 %t to i16
  11   %cmp1 = icmp slt i16 %st, 42
  12   call void(i1, ...) @llvm.experimental.guard(i1 %cmp1) [ "deopt"() ]
  13   br label %loop
  14
  15  loop:
  16 ; CHECK-LABEL: loop
  17   %idx = phi i8 [ %t, %entry ], [ %idx.inc, %loop ]
  18   %idx.inc = add i8 %idx, 1
  19   %c = icmp slt i8 %idx, 42
  20 ; CHECK: call void @use(i1 true)
  21   call void @use(i1 %c)
  22   %be = icmp slt i8 %idx.inc, 42
  23   br i1 %be, label %loop, label %exit
  24
  25  exit:
  26   ret void
  27 }
  28
  29 define void @test_02(i8 %t) {
  30 ; CHECK-LABEL: test_02
  31  entry:
  32   %t.ptr = inttoptr i8 %t to i8*
  33   %p.42 = inttoptr i8 42 to i8*
  34   %cmp1 = icmp slt i8* %t.ptr, %p.42
  35   call void(i1, ...) @llvm.experimental.guard(i1 %cmp1) [ "deopt"() ]
  36   br label %loop
  37
  38  loop:
  39 ; CHECK-LABEL: loop
  40   %idx = phi i8* [ %t.ptr, %entry ], [ %snext, %loop ]
  41   %snext = getelementptr inbounds i8, i8* %idx, i64 1
  42   %c = icmp slt i8* %idx, %p.42
  43 ; CHECK: call void @use(i1 true)
  44   call void @use(i1 %c)
  45   %be = icmp slt i8* %snext, %p.42
  46   br i1 %be, label %loop, label %exit
  47
  48  exit:
  49   ret void
  50 }