llvm/test/Analysis/ScalarEvolution/trip-count-pow2.ll

   1 ; RUN: opt < %s "-passes=print<scalar-evolution>" -disable-output 2>&1 | FileCheck %s
   2
   3 define void @test1(i32 %n) {
   4 entry:
   5   %s = mul i32 %n, 96
   6   br label %loop
   7 loop:
   8   %i = phi i32 [ 0, %entry ], [ %i.next, %loop ]
   9   %i.next = add i32 %i, 32
  10   %t = icmp ne i32 %i.next, %s
  11   br i1 %t, label %loop, label %exit
  12 exit:
  13   ret void
  14
  15 ; CHECK-LABEL: @test1
  16 ; CHECK: Loop %loop: backedge-taken count is ((-32 + (96 * %n)) /u 32)
  17 ; CHECK: Loop %loop: constant max backedge-taken count is 134217727
  18 }
  19
  20 ; PR19183
  21 define i32 @test2(i32 %n) {
  22 entry:
  23   %s = and i32 %n, -32
  24   br label %loop
  25 loop:
  26   %i = phi i32 [ 0, %entry ], [ %i.next, %loop ]
  27   %i.next = add i32 %i, 32
  28   %t = icmp ne i32 %i.next, %s
  29   br i1 %t, label %loop, label %exit
  30 exit:
  31   ret i32 %i
  32
  33 ; CHECK-LABEL: @test2
  34 ; CHECK: Loop %loop: backedge-taken count is ((-32 + (32 * (%n /u 32))<nuw>) /u 32)
  35 ; CHECK: Loop %loop: constant max backedge-taken count is 134217727
  36 }
  37
  38 define void @test3(i32 %n) {
  39 entry:
  40   %s = mul i32 %n, 96
  41   br label %loop
  42 loop:
  43   %i = phi i32 [ 0, %entry ], [ %i.next, %loop ]
  44   %i.next = add i32 %i, 96
  45   %t = icmp ne i32 %i.next, %s
  46   br i1 %t, label %loop, label %exit
  47 exit:
  48   ret void
  49
  50 ; CHECK-LABEL: @test3
  51 ; CHECK: Loop %loop: backedge-taken count is ((-32 + (32 * %n)) /u 32)
  52 ; CHECK: Loop %loop: constant max backedge-taken count is 134217727
  53 }
  54
  55 define void @test4(i32 %n) {
  56 entry:
  57   %s = mul i32 %n, 4
  58   br label %loop
  59 loop:
  60   %i = phi i32 [ 0, %entry ], [ %i.next, %loop ]
  61   %i.next = add i32 %i, 12
  62   %t = icmp ne i32 %i.next, %s
  63   br i1 %t, label %loop, label %exit
  64 exit:
  65   ret void
  66
  67 ; CHECK-LABEL: @test4
  68 ; CHECK: Loop %loop: backedge-taken count is ((-4 + (-1431655764 * %n)) /u 4)
  69 ; CHECK: Loop %loop: constant max backedge-taken count is 1073741823
  70 }
  71
  72 define void @test5(i32 %n) {
  73 entry:
  74   %s = mul i32 %n, 4
  75   br label %loop
  76 loop:
  77   %i = phi i32 [ %s, %entry ], [ %i.next, %loop ]
  78   %i.next = add i32 %i, -4
  79   %t = icmp ne i32 %i.next, 0
  80   br i1 %t, label %loop, label %exit
  81 exit:
  82   ret void
  83
  84 ; CHECK-LABEL: @test5
  85 ; CHECK: Loop %loop: backedge-taken count is ((-4 + (4 * %n)) /u 4)
  86 ; CHECK: Loop %loop: constant max backedge-taken count is 1073741823
  87 }