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 5declare i32 @__CxxFrameHandler3(...) 6 7define 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; 42entry: 43 %call.i166167 = invoke noundef i64 @"extfunc_i64"() 44 to label %if.end56 unwind label %catch.dispatch 45 46if.end56: ; preds = %entry 47 invoke void @"extfunc"() 48 to label %invoke.cont75 unwind label %catch.dispatch 49 50invoke.cont75: ; preds = %if.end56 51 unreachable 52 53catch.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 57catch: ; 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 62invoke.cont98: ; preds = %catch 63 catchret from %1 to label %if.end99 64 65if.end99: ; preds = %invoke.cont98 66 %or.i = or i32 0, %_State.3 67 unreachable 68 69ehcleanup105: ; preds = %catch, %catch.dispatch 70 %2 = cleanuppad within none [] 71 cleanupret from %2 unwind to caller 72} 73 74declare void @"extfunc"() 75 76declare i64 @"extfunc_i64"() 77