llvm/test/Transforms/ConstraintElimination/loops-bottom-tested-base.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
   3
   4 declare void @use(i1)
   5
   6 define void @loop_iv_cond_variable_bound(i32 %n) {
   7 ; CHECK-LABEL: @loop_iv_cond_variable_bound(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    br label [[LOOP:%.*]]
  10 ; CHECK:       loop:
  11 ; CHECK-NEXT:    [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP]] ]
  12 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ule i32 [[IV]], [[N:%.*]]
  13 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
  14 ; CHECK-NEXT:    [[T_2:%.*]] = icmp sge i32 [[IV]], 0
  15 ; CHECK-NEXT:    call void @use(i1 [[T_2]])
  16 ; CHECK-NEXT:    [[T_3:%.*]] = icmp sge i32 [[IV]], -1
  17 ; CHECK-NEXT:    call void @use(i1 [[T_3]])
  18 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i32 [[IV]], [[N]]
  19 ; CHECK-NEXT:    call void @use(i1 [[C_1]])
  20 ; CHECK-NEXT:    [[C_2:%.*]] = icmp ugt i32 [[IV]], 1
  21 ; CHECK-NEXT:    call void @use(i1 [[C_2]])
  22 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i32 [[IV]], [[N]]
  23 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i32 [[IV]], 1
  24 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP]], label [[EXIT:%.*]]
  25 ; CHECK:       exit:
  26 ; CHECK-NEXT:    ret void
  27 ;
  28 entry:
  29   br label %loop
  30
  31 loop:
  32   %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
  33   %t.1 = icmp ule i32 %iv, %n
  34   call void @use(i1 %t.1)
  35   %t.2 = icmp sge i32 %iv, 0
  36   call void @use(i1 %t.2)
  37   %t.3 = icmp sge i32 %iv, -1
  38   call void @use(i1 %t.3)
  39
  40   %c.1 = icmp ult i32 %iv, %n
  41   call void @use(i1 %c.1)
  42   %c.2 = icmp ugt i32 %iv, 1
  43   call void @use(i1 %c.2)
  44
  45   %cmp = icmp ult i32 %iv, %n
  46   %iv.next = add nuw nsw i32 %iv, 1
  47   br i1 %cmp, label %loop, label %exit
  48
  49 exit:
  50   ret void
  51 }
  52
  53 define void @loop_iv_cond_constant_bound() {
  54 ; CHECK-LABEL: @loop_iv_cond_constant_bound(
  55 ; CHECK-NEXT:  entry:
  56 ; CHECK-NEXT:    br label [[LOOP:%.*]]
  57 ; CHECK:       loop:
  58 ; CHECK-NEXT:    [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP]] ]
  59 ; CHECK-NEXT:    [[T_1:%.*]] = icmp ule i32 [[IV]], 2
  60 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
  61 ; CHECK-NEXT:    [[T_2:%.*]] = icmp sge i32 [[IV]], 0
  62 ; CHECK-NEXT:    call void @use(i1 [[T_2]])
  63 ; CHECK-NEXT:    [[T_3:%.*]] = icmp sge i32 [[IV]], -1
  64 ; CHECK-NEXT:    call void @use(i1 [[T_3]])
  65 ; CHECK-NEXT:    [[C_1:%.*]] = icmp ult i32 [[IV]], 2
  66 ; CHECK-NEXT:    call void @use(i1 [[C_1]])
  67 ; CHECK-NEXT:    [[C_2:%.*]] = icmp ugt i32 [[IV]], 1
  68 ; CHECK-NEXT:    call void @use(i1 [[C_2]])
  69 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i32 [[IV]], 2
  70 ; CHECK-NEXT:    [[IV_NEXT]] = add nuw nsw i32 [[IV]], 1
  71 ; CHECK-NEXT:    br i1 [[CMP]], label [[LOOP]], label [[EXIT:%.*]]
  72 ; CHECK:       exit:
  73 ; CHECK-NEXT:    ret void
  74 ;
  75 entry:
  76   br label %loop
  77
  78 loop:
  79   %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]
  80   %t.1 = icmp ule i32 %iv, 2
  81   call void @use(i1 %t.1)
  82   %t.2 = icmp sge i32 %iv, 0
  83   call void @use(i1 %t.2)
  84   %t.3 = icmp sge i32 %iv, -1
  85   call void @use(i1 %t.3)
  86
  87   %c.1 = icmp ult i32 %iv, 2
  88   call void @use(i1 %c.1)
  89   %c.2 = icmp ugt i32 %iv, 1
  90   call void @use(i1 %c.2)
  91
  92   %cmp = icmp ult i32 %iv, 2
  93   %iv.next = add nuw nsw i32 %iv, 1
  94   br i1 %cmp, label %loop, label %exit
  95
  96 exit:
  97   ret void
  98 }