llvm/test/Transforms/InstCombine/freeze-landingpad.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; Check that no freeze instruction gets inserted before landingpad in a basic block
   3 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   4
   5 define i32 @propagate_freeze_in_landingpad() personality ptr null {
   6 ; CHECK-LABEL: @propagate_freeze_in_landingpad(
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    br label [[INVOKE_BB1:%.*]]
   9 ; CHECK:       invoke.bb1:
  10 ; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[INC:%.*]], [[NORMAL_RETURN:%.*]] ]
  11 ; CHECK-NEXT:    [[RES0:%.*]] = invoke i32 @foo()
  12 ; CHECK-NEXT:    to label [[INVOKE_BB2:%.*]] unwind label [[EXCEPTIONAL_RETURN:%.*]]
  13 ; CHECK:       invoke.bb2:
  14 ; CHECK-NEXT:    [[RES1:%.*]] = invoke i32 @foo()
  15 ; CHECK-NEXT:    to label [[NORMAL_RETURN]] unwind label [[EXCEPTIONAL_RETURN]]
  16 ; CHECK:       normal_return:
  17 ; CHECK-NEXT:    [[INC]] = add nuw nsw i32 [[X]], 1
  18 ; CHECK-NEXT:    br label [[INVOKE_BB1]]
  19 ; CHECK:       exceptional_return:
  20 ; CHECK-NEXT:    [[PHI:%.*]] = phi i32 [ [[X]], [[INVOKE_BB1]] ], [ 0, [[INVOKE_BB2]] ]
  21 ; CHECK-NEXT:    [[LANDING_PAD:%.*]] = landingpad { ptr, i32 }
  22 ; CHECK-NEXT:    cleanup
  23 ; CHECK-NEXT:    [[FR:%.*]] = freeze i32 [[PHI]]
  24 ; CHECK-NEXT:    [[RES:%.*]] = shl i32 [[FR]], 1
  25 ; CHECK-NEXT:    ret i32 [[RES]]
  26 ;
  27 entry:
  28   br label %invoke.bb1
  29
  30 invoke.bb1:                                 ; preds = %normal_return, %entry
  31   %x = phi i32 [ 0, %entry ], [ %inc, %normal_return ]
  32   %res0 = invoke i32 @foo()
  33   to label %invoke.bb2 unwind label %exceptional_return
  34
  35 invoke.bb2:                                  ; preds = %invoke.bb1
  36   %res1 = invoke i32 @foo()
  37   to label %normal_return unwind label %exceptional_return
  38
  39 normal_return:                                ; preds = %invoke.bb2
  40   %inc = add nuw nsw i32 %x, 1
  41   br label %invoke.bb1
  42
  43 exceptional_return:                             ; preds = %invoke.bb2, %invoke.bb1
  44   %phi = phi i32 [ %x, %invoke.bb1 ], [ 0, %invoke.bb2 ]
  45   %landing_pad = landingpad { ptr, i32 }
  46   cleanup
  47   %fr = freeze i32 %phi
  48   %res = add i32 %fr, %phi
  49   ret i32 %res
  50 }
  51
  52 declare i32 @foo()
  53