llvm/test/Transforms/SimplifyCFG/pr48778-sdiv-speculation.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -simplifycfg -S < %s | FileCheck %s
   3
   4 ; sdiv INT_MIN / -1 should not be speculated.
   5 define i32 @test(i1 %cmp) {
   6 ; CHECK-LABEL: @test(
   7 ; CHECK-NEXT:    br i1 [[CMP:%.*]], label [[IF:%.*]], label [[COMMON_RET:%.*]]
   8 ; CHECK:       if:
   9 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv i32 -2147483648, -1
  10 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i32 [[DIV]], 0
  11 ; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[CMP2]], i32 1, i32 0
  12 ; CHECK-NEXT:    br label [[COMMON_RET]]
  13 ; CHECK:       common.ret:
  14 ; CHECK-NEXT:    [[COMMON_RET_OP:%.*]] = phi i32 [ 0, [[TMP0:%.*]] ], [ [[SPEC_SELECT]], [[IF]] ]
  15 ; CHECK-NEXT:    ret i32 [[COMMON_RET_OP]]
  16 ;
  17   br i1 %cmp, label %if, label %else
  18
  19 if:
  20   %div = sdiv i32 -2147483648, -1
  21   %cmp2 = icmp ne i32 %div, 0
  22   br i1 %cmp2, label %end, label %else
  23
  24 else:
  25   ret i32 0
  26
  27 end:
  28   ret i32 1
  29 }