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 -analyze -scalar-evolution %s -enable-new-pm=0 | FileCheck %s
   3 ; RUN: opt -passes='print<scalar-evolution>' -disable-output %s 2>&1 | FileCheck %s
   4
   5 ; Tests for PR47904.
   6
   7 define void @test_trip_multiple_4(i32 %num) {
   8 ; CHECK-LABEL: @test_trip_multiple_4
   9 ; CHECK:       Loop %for.body: backedge-taken count is (-1 + %num)
  10 ; CHECK-NEXT:  Loop %for.body: max backedge-taken count is -2
  11 ; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is (-1 + %num)
  12 ; CHECK:       Loop %for.body: Trip multiple is 4
  13 ;
  14 entry:
  15   %u = urem i32 %num, 4
  16   %cmp = icmp eq i32 %u, 0
  17   tail call void @llvm.assume(i1 %cmp)
  18   %cmp.1 = icmp uge i32 %num, 4
  19   tail call void @llvm.assume(i1 %cmp.1)
  20   br label %for.body
  21
  22 for.body:
  23   %i.010 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  24   %inc = add nuw nsw i32 %i.010, 1
  25   %cmp2 = icmp ult i32 %inc, %num
  26   br i1 %cmp2, label %for.body, label %exit
  27
  28 exit:
  29   ret void
  30 }
  31
  32 define void @test_trip_multiple_5(i32 %num) {
  33 ; CHECK-LABEL: @test_trip_multiple_5
  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 1
  38 ;
  39 entry:
  40   %u = urem i32 %num, 5
  41   %cmp = icmp eq i32 %u, 0
  42   tail call void @llvm.assume(i1 %cmp)
  43   %cmp.1 = icmp uge i32 %num, 5
  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_trunc_operand_larger_than_urem_expr(i64 %N) {
  58 ; CHECK-LABEL: @test_trunc_operand_larger_than_urem_expr
  59 ; CHECK:       Loop %for.body: backedge-taken count is (-1 + %N)
  60 ; CHECK-NEXT:  Loop %for.body: max backedge-taken count is -1
  61 ; CHECK-NEXT:  Loop %for.body: Predicated backedge-taken count is (-1 + %N)
  62 ;
  63 entry:
  64   %conv = trunc i64 %N to i32
  65   %and = and i32 %conv, 1
  66   %cmp.pre = icmp eq i32 %and, 0
  67   br i1 %cmp.pre, label %for.body, label %exit
  68
  69 for.body:
  70   %iv = phi i64 [ 0, %entry ], [ %iv.next, %for.body ]
  71   %iv.next = add nuw nsw i64 %iv, 1
  72   %cmp.1 = icmp ne i64 %iv.next, %N
  73   br i1 %cmp.1, label %for.body, label %exit
  74
  75 exit:
  76   ret void
  77 }
  78
  79 declare void @llvm.assume(i1)