llvm/test/Analysis/ScalarEvolution/trip-multiple-guard-info.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
   2 ; RUN: opt -passes='print<scalar-evolution>' -disable-output %s 2>&1 | FileCheck %s
   3
   4 ; Tests for PR47904.
   5
   6 define void @test_trip_multiple_4(i32 %num) {
   7 ; CHECK-LABEL: @test_trip_multiple_4
   8 ; CHECK:       Loop %for.body: backedge-taken count is (-1 + %num)
   9 ; CHECK-NEXT:  Loop %for.body: max backedge-taken count is -2
  10 ; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is (-1 + %num)
  11 ; CHECK:       Loop %for.body: Trip multiple is 4
  12 ;
  13 entry:
  14   %u = urem i32 %num, 4
  15   %cmp = icmp eq i32 %u, 0
  16   tail call void @llvm.assume(i1 %cmp)
  17   %cmp.1 = icmp uge i32 %num, 4
  18   tail call void @llvm.assume(i1 %cmp.1)
  19   br label %for.body
  20
  21 for.body:
  22   %i.010 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  23   %inc = add nuw nsw i32 %i.010, 1
  24   %cmp2 = icmp ult i32 %inc, %num
  25   br i1 %cmp2, label %for.body, label %exit
  26
  27 exit:
  28   ret void
  29 }
  30
  31 ; Same as @test_trip_multiple_4 but with the icmp operands swapped.
  32 define void @test_trip_multiple_4_icmp_ops_swapped(i32 %num) {
  33 ; CHECK-LABEL: @test_trip_multiple_4_icmp_ops_swapped
  34 ; CHECK:       Loop %for.body: backedge-taken count is (-1 + %num)
  35 ; CHECK-NEXT:  Loop %for.body: max backedge-taken count is -2
  36 ; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is (-1 + %num)
  37 ; CHECK:       Loop %for.body: Trip multiple is 4
  38 ;
  39 entry:
  40   %u = urem i32 %num, 4
  41   %cmp = icmp eq i32 0, %u
  42   tail call void @llvm.assume(i1 %cmp)
  43   %cmp.1 = icmp uge i32 %num, 4
  44   tail call void @llvm.assume(i1 %cmp.1)
  45   br label %for.body
  46
  47 for.body:
  48   %i.010 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  49   %inc = add nuw nsw i32 %i.010, 1
  50   %cmp2 = icmp ult i32 %inc, %num
  51   br i1 %cmp2, label %for.body, label %exit
  52
  53 exit:
  54   ret void
  55 }
  56
  57 define void @test_trip_multiple_5(i32 %num) {
  58 ; CHECK-LABEL: @test_trip_multiple_5
  59 ; CHECK:       Loop %for.body: backedge-taken count is (-1 + %num)
  60 ; CHECK-NEXT:  Loop %for.body: max backedge-taken count is -2
  61 ; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is (-1 + %num)
  62 ; CHECK:       Loop %for.body: Trip multiple is 1
  63 ;
  64 entry:
  65   %u = urem i32 %num, 5
  66   %cmp = icmp eq i32 %u, 0
  67   tail call void @llvm.assume(i1 %cmp)
  68   %cmp.1 = icmp uge i32 %num, 5
  69   tail call void @llvm.assume(i1 %cmp.1)
  70   br label %for.body
  71
  72 for.body:
  73   %i.010 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  74   %inc = add nuw nsw i32 %i.010, 1
  75   %cmp2 = icmp ult i32 %inc, %num
  76   br i1 %cmp2, label %for.body, label %exit
  77
  78 exit:
  79   ret void
  80 }
  81
  82 define void @test_trunc_operand_larger_than_urem_expr(i64 %N) {
  83 ; CHECK-LABEL: @test_trunc_operand_larger_than_urem_expr
  84 ; CHECK:       Loop %for.body: backedge-taken count is (-1 + %N)
  85 ; CHECK-NEXT:  Loop %for.body: max backedge-taken count is -1
  86 ; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is (-1 + %N)
  87 ;
  88 entry:
  89   %conv = trunc i64 %N to i32
  90   %and = and i32 %conv, 1
  91   %cmp.pre = icmp eq i32 %and, 0
  92   br i1 %cmp.pre, label %for.body, label %exit
  93
  94 for.body:
  95   %iv = phi i64 [ 0, %entry ], [ %iv.next, %for.body ]
  96   %iv.next = add nuw nsw i64 %iv, 1
  97   %cmp.1 = icmp ne i64 %iv.next, %N
  98   br i1 %cmp.1, label %for.body, label %exit
  99
 100 exit:
 101   ret void
 102 }
 103
 104 declare void @llvm.assume(i1)