llvm/test/Transforms/Reg2Mem/catchswitch-crash2.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=reg2mem -S < %s | FileCheck %s
   3 %opaque = type opaque
   4
   5 declare i32 @__CxxFrameHandler3(...)
   6
   7 define void @testreg2mem(ptr %_Val) personality ptr @__CxxFrameHandler3 {
   8 ; CHECK-LABEL: @testreg2mem(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    [[_STATE_3_REG2MEM:%.*]] = alloca i32, align 4
  11 ; CHECK-NEXT:    [[_STATE_3_REG2MEM1:%.*]] = alloca i32, align 4
  12 ; CHECK-NEXT:    %"reg2mem alloca point" = bitcast i32 0 to i32
  13 ; CHECK-NEXT:    store i32 0, ptr [[_STATE_3_REG2MEM1]], align 4
  14 ; CHECK-NEXT:    [[CALL_I166167:%.*]] = invoke noundef i64 @extfunc_i64()
  15 ; CHECK-NEXT:    to label [[IF_END56:%.*]] unwind label [[CATCH_DISPATCH:%.*]]
  16 ; CHECK:       if.end56:
  17 ; CHECK-NEXT:    store i32 1, ptr [[_STATE_3_REG2MEM1]], align 4
  18 ; CHECK-NEXT:    invoke void @extfunc()
  19 ; CHECK-NEXT:    to label [[INVOKE_CONT75:%.*]] unwind label [[CATCH_DISPATCH]]
  20 ; CHECK:       invoke.cont75:
  21 ; CHECK-NEXT:    unreachable
  22 ; CHECK:       catch.dispatch:
  23 ; CHECK-NEXT:    [[TMP0:%.*]] = catchswitch within none [label %catch] unwind label [[EHCLEANUP105:%.*]]
  24 ; CHECK:       catch:
  25 ; CHECK-NEXT:    [[TMP1:%.*]] = catchpad within [[TMP0]] [ptr null, i32 64, ptr null]
  26 ; CHECK-NEXT:    [[_STATE_3_RELOAD2:%.*]] = load i32, ptr [[_STATE_3_REG2MEM1]], align 4
  27 ; CHECK-NEXT:    store i32 [[_STATE_3_RELOAD2]], ptr [[_STATE_3_REG2MEM]], align 4
  28 ; CHECK-NEXT:    invoke void @extfunc() [ "funclet"(token [[TMP1]]) ]
  29 ; CHECK-NEXT:    to label [[INVOKE_CONT98:%.*]] unwind label [[EHCLEANUP105]]
  30 ; CHECK:       invoke.cont98:
  31 ; CHECK-NEXT:    catchret from [[TMP1]] to label [[IF_END99:%.*]]
  32 ; CHECK:       if.end99:
  33 ; CHECK-NEXT:    [[_STATE_3_RELOAD:%.*]] = load i32, ptr [[_STATE_3_REG2MEM]], align 4
  34 ; CHECK-NEXT:    [[OR_I:%.*]] = or i32 0, [[_STATE_3_RELOAD]]
  35 ; CHECK-NEXT:    unreachable
  36 ; CHECK:       ehcleanup105:
  37 ; CHECK-NEXT:    [[TMP2:%.*]] = cleanuppad within none []
  38 ; CHECK-NEXT:    [[_STATE_3_RELOAD3:%.*]] = load i32, ptr [[_STATE_3_REG2MEM1]], align 4
  39 ; CHECK-NEXT:    store i32 [[_STATE_3_RELOAD3]], ptr [[_STATE_3_REG2MEM]], align 4
  40 ; CHECK-NEXT:    cleanupret from [[TMP2]] unwind to caller
  41 ;
  42 entry:
  43   %call.i166167 = invoke noundef i64 @"extfunc_i64"()
  44   to label %if.end56 unwind label %catch.dispatch
  45
  46 if.end56:                                         ; preds = %entry
  47   invoke void @"extfunc"()
  48   to label %invoke.cont75 unwind label %catch.dispatch
  49
  50 invoke.cont75:                                    ; preds = %if.end56
  51   unreachable
  52
  53 catch.dispatch:                                   ; preds = %if.end56, %entry
  54   %_State.3 = phi i32 [ 1, %if.end56 ], [ 0, %entry ]
  55   %0 = catchswitch within none [label %catch] unwind label %ehcleanup105
  56
  57 catch:                                            ; preds = %catch.dispatch
  58   %1 = catchpad within %0 [ptr null, i32 64, ptr null]
  59   invoke void @"extfunc"() [ "funclet"(token %1) ]
  60   to label %invoke.cont98 unwind label %ehcleanup105
  61
  62 invoke.cont98:                                    ; preds = %catch
  63   catchret from %1 to label %if.end99
  64
  65 if.end99:                                         ; preds = %invoke.cont98
  66   %or.i = or i32 0, %_State.3
  67   unreachable
  68
  69 ehcleanup105:                                     ; preds = %catch, %catch.dispatch
  70   %2 = cleanuppad within none []
  71   cleanupret from %2 unwind to caller
  72 }
  73
  74 declare void @"extfunc"()
  75
  76 declare i64 @"extfunc_i64"()