diff options
| author | Heejin Ahn <aheejin@gmail.com> | 2024-09-13 12:20:43 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-13 12:20:43 -0700 |
| commit | acf90fd03f8deb036847cbdf6bfd4ae47d88ba6a (patch) | |
| tree | fe700d77d6f587825d60a09989afa9b0163db63d | |
| parent | b7e585b95e241d0506b6f71d53ff5b6e72a9c8f4 (diff) | |
| download | llvm-acf90fd03f8deb036847cbdf6bfd4ae47d88ba6a.zip llvm-acf90fd03f8deb036847cbdf6bfd4ae47d88ba6a.tar.gz llvm-acf90fd03f8deb036847cbdf6bfd4ae47d88ba6a.tar.bz2 | |
[WebAssembly] Create separate file for EH assembly tests (#108472)
Create `eh-assembly.s` that contains EH tests and remove EH tests from
`basic-assembly.s`, given that it's easier to manage. (We can have many
different tests, including the legacy EH and the new exnref, and with
nesting for readability)
| -rw-r--r-- | llvm/test/MC/WebAssembly/basic-assembly.s | 14 | ||||
| -rw-r--r-- | llvm/test/MC/WebAssembly/eh-assembly.s | 67 |
2 files changed, 69 insertions, 12 deletions
diff --git a/llvm/test/MC/WebAssembly/basic-assembly.s b/llvm/test/MC/WebAssembly/basic-assembly.s index ac358c1..db7ccc9 100644 --- a/llvm/test/MC/WebAssembly/basic-assembly.s +++ b/llvm/test/MC/WebAssembly/basic-assembly.s @@ -1,6 +1,6 @@ -# RUN: llvm-mc -triple=wasm32-unknown-unknown -mattr=+tail-call,+reference-types,atomics,+simd128,+nontrapping-fptoint,+exception-handling < %s | FileCheck %s +# RUN: llvm-mc -triple=wasm32-unknown-unknown -mattr=+tail-call,+reference-types,atomics,+simd128,+nontrapping-fptoint < %s | FileCheck %s # Check that it converts to .o without errors, but don't check any output: -# RUN: llvm-mc -triple=wasm32-unknown-unknown -filetype=obj -mattr=+tail-call,+reference-types,+atomics,+simd128,+nontrapping-fptoint,+exception-handling -o %t.o < %s +# RUN: llvm-mc -triple=wasm32-unknown-unknown -filetype=obj -mattr=+tail-call,+reference-types,+atomics,+simd128,+nontrapping-fptoint -o %t.o < %s .functype something1 () -> () .functype something2 (i64) -> (i32, f64) @@ -107,19 +107,14 @@ test0: #i32x4.trunc_sat_f32x4_s f32.const 1.0 i32.trunc_f32_s - try i32.atomic.load 0 i32.const 0 memory.atomic.notify 0 drop .LBB0_3: - catch __cpp_exception - local.set 0 - end_try i32.const .L.str i32.load8_u .L.str+2 i32.load16_u .L.str:p2align=0 - throw 0 .LBB0_4: #i32.trunc_sat_f32_s global.get __stack_pointer @@ -249,19 +244,14 @@ empty_exnref_table: # CHECK-NEXT: drop # CHECK-NEXT: f32.const 0x1p0 # CHECK-NEXT: i32.trunc_f32_s -# CHECK-NEXT: try # CHECK-NEXT: i32.atomic.load 0 # CHECK-NEXT: i32.const 0 # CHECK-NEXT: memory.atomic.notify 0 # CHECK-NEXT: drop # CHECK-NEXT: .LBB0_3: -# CHECK-NEXT: catch __cpp_exception -# CHECK-NEXT: local.set 0 -# CHECK-NEXT: end_try # CHECK-NEXT: i32.const .L.str # CHECK-NEXT: i32.load8_u .L.str+2 # CHECK-NEXT: i32.load16_u .L.str:p2align=0 -# CHECK-NEXT: throw 0 # CHECK-NEXT: .LBB0_4: # CHECK-NEXT: global.get __stack_pointer # CHECK-NEXT: global.set __stack_pointer diff --git a/llvm/test/MC/WebAssembly/eh-assembly.s b/llvm/test/MC/WebAssembly/eh-assembly.s new file mode 100644 index 0000000..c84a65e --- /dev/null +++ b/llvm/test/MC/WebAssembly/eh-assembly.s @@ -0,0 +1,67 @@ +# RUN: llvm-mc -triple=wasm32-unknown-unknown -mattr=+exception-handling < %s | FileCheck %s +# Check that it converts to .o without errors, but don't check any output: +# RUN: llvm-mc -triple=wasm32-unknown-unknown -filetype=obj -mattr=+exception-handling -o %t.o < %s + + .tagtype __cpp_exception i32 + .tagtype __c_longjmp i32 + .functype eh_legacy_test () -> () + .functype foo () -> () + +eh_legacy_test: + # try-catch with catch, catch_all, throw, and rethrow + try + throw __cpp_exception + catch __cpp_exception + drop + rethrow 0 + catch __c_longjmp + drop + catch_all + rethrow 0 + end_try + + # Nested try-catch with a rethrow + try + call foo + catch_all + try + catch_all + rethrow 1 + end_try + end_try + + # try-catch with a single return value + try i32 + i32.const 0 + catch __cpp_exception + end_try + drop + end_function + +# CHECK-LABEL: eh_legacy_test: +# CHECK-NEXT: try +# CHECK-NEXT: throw __cpp_exception +# CHECK-NEXT: catch __cpp_exception +# CHECK-NEXT: drop +# CHECK-NEXT: rethrow 0 +# CHECK-NEXT: catch __c_longjmp +# CHECK-NEXT: drop +# CHECK-NEXT: catch_all +# CHECK-NEXT: rethrow 0 +# CHECK-NEXT: end_try + +# CHECK: try +# CHECK-NEXT: call foo +# CHECK-NEXT: catch_all +# CHECK-NEXT: try +# CHECK-NEXT: catch_all +# CHECK-NEXT: rethrow 1 +# CHECK-NEXT: end_try +# CHECK-NEXT: end_try + +# CHECK: try i32 +# CHECK-NEXT: i32.const 0 +# CHECK-NEXT: catch __cpp_exception +# CHECK-NEXT: end_try +# CHECK-NEXT: drop +# CHECK-NEXT: end_function |