130 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -wasm-lower-em-ehsjlj -wasm-enable-sjlj -mtriple=wasm32-unknown-emscripten < %s | FileCheck %s3 4@buf = external global i85declare i32 @setjmp(ptr) returns_twice6declare void @dummy()7 8define void @test_static() {9; CHECK-LABEL: define void @test_static() personality ptr @__gxx_wasm_personality_v0 {10; CHECK-NEXT: [[ENTRY:.*]]:11; CHECK-NEXT: [[X:%.*]] = alloca i32, align 412; CHECK-NEXT: [[FUNCTIONINVOCATIONID:%.*]] = alloca i32, align 413; CHECK-NEXT: br label %[[SETJMP_DISPATCH:.*]]14; CHECK: [[SETJMP_DISPATCH]]:15; CHECK-NEXT: [[VAL1:%.*]] = phi i32 [ [[VAL:%.*]], %[[IF_END:.*]] ], [ undef, %[[ENTRY]] ]16; CHECK-NEXT: [[LABEL_PHI:%.*]] = phi i32 [ [[LABEL:%.*]], %[[IF_END]] ], [ -1, %[[ENTRY]] ]17; CHECK-NEXT: switch i32 [[LABEL_PHI]], label %[[ENTRY_SPLIT:.*]] [18; CHECK-NEXT: i32 1, label %[[ENTRY_SPLIT_SPLIT:.*]]19; CHECK-NEXT: ]20; CHECK: [[ENTRY_SPLIT]]:21; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[X]])22; CHECK-NEXT: call void @__wasm_setjmp(ptr @buf, i32 1, ptr [[FUNCTIONINVOCATIONID]])23; CHECK-NEXT: br label %[[ENTRY_SPLIT_SPLIT]]24; CHECK: [[ENTRY_SPLIT_SPLIT]]:25; CHECK-NEXT: [[SETJMP_RET:%.*]] = phi i32 [ 0, %[[ENTRY_SPLIT]] ], [ [[VAL1]], %[[SETJMP_DISPATCH]] ]26; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[SETJMP_RET]], 027; CHECK-NEXT: br i1 [[CMP]], label %[[IF:.*]], label %[[ELSE:.*]]28; CHECK: [[IF]]:29; CHECK-NEXT: invoke void @dummy()30; CHECK-NEXT: to [[DOTNOEXC:label %.*]] unwind label %[[CATCH_DISPATCH_LONGJMP:.*]]31; CHECK: [[_NOEXC:.*:]]32; CHECK-NEXT: ret void33; CHECK: [[ELSE]]:34; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[X]])35; CHECK-NEXT: ret void36; CHECK: [[CATCH_DISPATCH_LONGJMP]]:37; CHECK-NEXT: [[TMP0:%.*]] = catchswitch within none [label %catch.longjmp] unwind to caller38; CHECK: [[CATCH_LONGJMP:.*:]]39; CHECK-NEXT: [[TMP1:%.*]] = catchpad within [[TMP0]] []40; CHECK-NEXT: [[THROWN:%.*]] = call ptr @llvm.wasm.catch(i32 1)41; CHECK-NEXT: [[ENV_GEP:%.*]] = getelementptr { ptr, i32 }, ptr [[THROWN]], i32 0, i32 042; CHECK-NEXT: [[VAL_GEP:%.*]] = getelementptr { ptr, i32 }, ptr [[THROWN]], i32 0, i32 143; CHECK-NEXT: [[ENV:%.*]] = load ptr, ptr [[ENV_GEP]], align 444; CHECK-NEXT: [[VAL]] = load i32, ptr [[VAL_GEP]], align 445; CHECK-NEXT: [[LABEL]] = call i32 @__wasm_setjmp_test(ptr [[ENV]], ptr [[FUNCTIONINVOCATIONID]]) [ "funclet"(token [[TMP1]]) ]46; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[LABEL]], 047; CHECK-NEXT: br i1 [[TMP2]], label %[[IF_THEN:.*]], label %[[IF_END]]48; CHECK: [[IF_THEN]]:49; CHECK-NEXT: call void @__wasm_longjmp(ptr [[ENV]], i32 [[VAL]]) [ "funclet"(token [[TMP1]]) ]50; CHECK-NEXT: unreachable51; CHECK: [[IF_END]]:52; CHECK-NEXT: catchret from [[TMP1]] to label %[[SETJMP_DISPATCH]]53;54entry:55 %x = alloca i32, align 456 call void @llvm.lifetime.start.p0(ptr %x)57 %call = call i32 @setjmp(ptr @buf) returns_twice58 %cmp = icmp eq i32 %call, 059 br i1 %cmp, label %if, label %else60 61if:62 call void @dummy()63 ret void64 65else:66 call void @llvm.lifetime.end.p0(ptr %x)67 ret void68}69 70define void @test_dynamic(i32 %size) {71; CHECK-LABEL: define void @test_dynamic(72; CHECK-SAME: i32 [[SIZE:%.*]]) personality ptr @__gxx_wasm_personality_v0 {73; CHECK-NEXT: [[ENTRY:.*]]:74; CHECK-NEXT: [[FUNCTIONINVOCATIONID:%.*]] = alloca i32, align 475; CHECK-NEXT: br label %[[SETJMP_DISPATCH:.*]]76; CHECK: [[SETJMP_DISPATCH]]:77; CHECK-NEXT: [[VAL1:%.*]] = phi i32 [ [[VAL:%.*]], %[[IF_END:.*]] ], [ undef, %[[ENTRY]] ]78; CHECK-NEXT: [[LABEL_PHI:%.*]] = phi i32 [ [[LABEL:%.*]], %[[IF_END]] ], [ -1, %[[ENTRY]] ]79; CHECK-NEXT: switch i32 [[LABEL_PHI]], label %[[ENTRY_SPLIT:.*]] [80; CHECK-NEXT: i32 1, label %[[ENTRY_SPLIT_SPLIT:.*]]81; CHECK-NEXT: ]82; CHECK: [[ENTRY_SPLIT]]:83; CHECK-NEXT: [[X:%.*]] = alloca i32, i32 [[SIZE]], align 484; CHECK-NEXT: call void @__wasm_setjmp(ptr @buf, i32 1, ptr [[FUNCTIONINVOCATIONID]])85; CHECK-NEXT: br label %[[ENTRY_SPLIT_SPLIT]]86; CHECK: [[ENTRY_SPLIT_SPLIT]]:87; CHECK-NEXT: [[SETJMP_RET:%.*]] = phi i32 [ 0, %[[ENTRY_SPLIT]] ], [ [[VAL1]], %[[SETJMP_DISPATCH]] ]88; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[SETJMP_RET]], 089; CHECK-NEXT: br i1 [[CMP]], label %[[IF:.*]], label %[[ELSE:.*]]90; CHECK: [[IF]]:91; CHECK-NEXT: invoke void @dummy()92; CHECK-NEXT: to [[DOTNOEXC:label %.*]] unwind label %[[CATCH_DISPATCH_LONGJMP:.*]]93; CHECK: [[_NOEXC:.*:]]94; CHECK-NEXT: ret void95; CHECK: [[ELSE]]:96; CHECK-NEXT: ret void97; CHECK: [[CATCH_DISPATCH_LONGJMP]]:98; CHECK-NEXT: [[TMP0:%.*]] = catchswitch within none [label %catch.longjmp] unwind to caller99; CHECK: [[CATCH_LONGJMP:.*:]]100; CHECK-NEXT: [[TMP1:%.*]] = catchpad within [[TMP0]] []101; CHECK-NEXT: [[THROWN:%.*]] = call ptr @llvm.wasm.catch(i32 1)102; CHECK-NEXT: [[ENV_GEP:%.*]] = getelementptr { ptr, i32 }, ptr [[THROWN]], i32 0, i32 0103; CHECK-NEXT: [[VAL_GEP:%.*]] = getelementptr { ptr, i32 }, ptr [[THROWN]], i32 0, i32 1104; CHECK-NEXT: [[ENV:%.*]] = load ptr, ptr [[ENV_GEP]], align 4105; CHECK-NEXT: [[VAL]] = load i32, ptr [[VAL_GEP]], align 4106; CHECK-NEXT: [[LABEL]] = call i32 @__wasm_setjmp_test(ptr [[ENV]], ptr [[FUNCTIONINVOCATIONID]]) [ "funclet"(token [[TMP1]]) ]107; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[LABEL]], 0108; CHECK-NEXT: br i1 [[TMP2]], label %[[IF_THEN:.*]], label %[[IF_END]]109; CHECK: [[IF_THEN]]:110; CHECK-NEXT: call void @__wasm_longjmp(ptr [[ENV]], i32 [[VAL]]) [ "funclet"(token [[TMP1]]) ]111; CHECK-NEXT: unreachable112; CHECK: [[IF_END]]:113; CHECK-NEXT: catchret from [[TMP1]] to label %[[SETJMP_DISPATCH]]114;115entry:116 %x = alloca i32, i32 %size, align 4117 call void @llvm.lifetime.start.p0(ptr %x)118 %call = call i32 @setjmp(ptr @buf) returns_twice119 %cmp = icmp eq i32 %call, 0120 br i1 %cmp, label %if, label %else121 122if:123 call void @dummy()124 ret void125 126else:127 call void @llvm.lifetime.end.p0(ptr %x)128 ret void129}130