llvm/test/Transforms/SimplifyCFG/ConditionalTrappingConstantExpr.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s
   3
   4 @G = extern_weak global i32
   5
   6 ; PR3354
   7 ; Do not merge bb1 into the entry block, it might trap.
   8
   9 define i32 @admiral(i32 %a, i32 %b) {
  10 ; CHECK-LABEL: @admiral(
  11 ; CHECK-NEXT:    [[C:%.*]] = icmp sle i32 [[A:%.*]], [[B:%.*]]
  12 ; CHECK-NEXT:    br i1 [[C]], label [[COMMON_RET:%.*]], label [[BB1:%.*]]
  13 ; CHECK:       bb1:
  14 ; CHECK-NEXT:    [[D:%.*]] = icmp sgt i32 sdiv (i32 -32768, i32 ptrtoint (i32* @G to i32)), 0
  15 ; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[D]], i32 927, i32 42
  16 ; CHECK-NEXT:    br label [[COMMON_RET]]
  17 ; CHECK:       common.ret:
  18 ; CHECK-NEXT:    [[COMMON_RET_OP:%.*]] = phi i32 [ 42, [[TMP0:%.*]] ], [ [[SPEC_SELECT]], [[BB1]] ]
  19 ; CHECK-NEXT:    ret i32 [[COMMON_RET_OP]]
  20 ;
  21   %c = icmp sle i32 %a, %b
  22   br i1 %c, label %bb2, label %bb1
  23 bb1:
  24   %d = icmp sgt i32 sdiv (i32 -32768, i32 ptrtoint (i32* @G to i32)), 0
  25   br i1 %d, label %bb6, label %bb2
  26 bb2:
  27   ret i32 42
  28 bb6:
  29   ret i32 927
  30 }
  31
  32 define i32 @ackbar(i1 %c) {
  33 ; CHECK-LABEL: @ackbar(
  34 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[BB5:%.*]], label [[COMMON_RET:%.*]]
  35 ; CHECK:       bb5:
  36 ; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 icmp sgt (i32 sdiv (i32 32767, i32 ptrtoint (i32* @G to i32)), i32 0), i32 42, i32 927
  37 ; CHECK-NEXT:    br label [[COMMON_RET]]
  38 ; CHECK:       common.ret:
  39 ; CHECK-NEXT:    [[COMMON_RET_OP:%.*]] = phi i32 [ 42, [[TMP0:%.*]] ], [ [[SPEC_SELECT]], [[BB5]] ]
  40 ; CHECK-NEXT:    ret i32 [[COMMON_RET_OP]]
  41 ;
  42   br i1 %c, label %bb5, label %bb6
  43 bb5:
  44   br i1 icmp sgt (i32 sdiv (i32 32767, i32 ptrtoint (i32* @G to i32)), i32 0), label %bb6, label %bb7
  45 bb6:
  46   ret i32 42
  47 bb7:
  48   ret i32 927
  49 }
  50
  51 ; FP ops don't trap by default, so this is safe to hoist.
  52
  53 define i32 @tarp(i1 %c) {
  54 ; CHECK-LABEL: @tarp(
  55 ; CHECK-NEXT:  common.ret:
  56 ; CHECK-NEXT:    [[C_NOT:%.*]] = xor i1 [[C:%.*]], true
  57 ; CHECK-NEXT:    [[BRMERGE:%.*]] = or i1 [[C_NOT]], fcmp oeq (float fdiv (float 3.000000e+00, float sitofp (i32 ptrtoint (i32* @G to i32) to float)), float 1.000000e+00)
  58 ; CHECK-NEXT:    [[COMMON_RET_OP:%.*]] = select i1 [[BRMERGE]], i32 42, i32 927
  59 ; CHECK-NEXT:    ret i32 [[COMMON_RET_OP]]
  60 ;
  61   br i1 %c, label %bb8, label %bb9
  62 bb8:
  63   br i1 fcmp oeq (float fdiv (float 3.0, float sitofp (i32 ptrtoint (i32* @G to i32) to float)), float 1.0), label %bb9, label %bb10
  64 bb9:
  65   ret i32 42
  66 bb10:
  67   ret i32 927
  68 }