llvm/test/Transforms/PhaseOrdering/pr45687.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes='default<O2>' -S < %s | FileCheck %s
   3
   4 define void @PR45687(i32 %0)  {
   5 ; CHECK-LABEL: @PR45687(
   6 ; CHECK-NEXT:    [[TMP2:%.*]] = add i32 [[TMP0:%.*]], 1
   7 ; CHECK-NEXT:    [[TMP3:%.*]] = icmp ult i32 [[TMP2]], 3
   8 ; CHECK-NEXT:    tail call void @llvm.assume(i1 [[TMP3]])
   9 ; CHECK-NEXT:    ret void
  10 ;
  11   %2 = add i32 %0, 1
  12   %3 = icmp ult i32 %2, 3
  13   tail call void @llvm.assume(i1 %3)
  14   %4 = icmp slt i32 %0, 0
  15   %5 = sub nsw i32 0, %0
  16   %6 = select i1 %4, i32 %5, i32 %0
  17   %7 = icmp sgt i32 %6, 1
  18   br i1 %7, label %8, label %9
  19 8:
  20   tail call void @g()
  21   br label %9
  22 9:
  23   ret void
  24 }
  25
  26 declare void @llvm.assume(i1)
  27
  28 declare void @g()