# 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 -mattr=+exception-handling -filetype=obj -o %t.o < %s
.tagtype __cpp_exception i32
block_branch_test:
.functype block_branch_test () -> ()
# Block input paramter / return tests
i32.const 0
block (i32) -> (i32)
end_block
drop
i32.const 0
i64.const 0
block (i32, i64) -> (i32, f32)
drop
f32.const 0.0
end_block
drop
drop
i32.const 0
loop (i32) -> (f32)
drop
f32.const 0.0
end_loop
drop
i32.const 0
i32.const 0
if (i32) -> (i32)
else
i32.popcnt
end_if
drop
try i32
i32.const 0
catch __cpp_exception
i32.clz
catch_all
i32.const 5
end_try
drop
i32.const 0
block (i32) -> (i32)
block (i32) -> (f32)
drop
f32.const 0.0
end_block
drop
i32.const 0
end_block
drop
# Branch tests
block f32
f32.const 0.0
i32.const 0
br_if 0
f32.const 1.0
br 0
# After 'br', we can pop any values from the polymorphic stack
i32.add
i32.sub
i32.mul
drop
end_block
drop
block () -> (f32, f64)
f32.const 0.0
f64.const 0.0
i32.const 0
br_if 0
block (f32, f64) -> (f32, f64)
i32.const 1
br_if 0
end_block
end_block
drop
drop
# Within a loop, branches target the start of the loop
i32.const 0
loop (i32) -> ()
i32.const 1
br 0
end_loop
end_function
# CHECK-LABEL: block_branch_test
# CHECK: i32.const 0
# CHECK-NEXT: block (i32) -> (i32)
# CHECK-NEXT: end_block # label0:
# CHECK-NEXT: drop
# CHECK: i32.const 0
# CHECK-NEXT: i64.const 0
# CHECK-NEXT: block (i32, i64) -> (i32, f32)
# CHECK-NEXT: drop
# CHECK-NEXT: f32.const 0x0p0
# CHECK-NEXT: end_block # label1:
# CHECK-NEXT: drop
# CHECK-NEXT: drop
# CHECK: i32.const 0
# CHECK-NEXT: loop (i32) -> (f32) # label2:
# CHECK-NEXT: drop
# CHECK-NEXT: f32.const 0x0p0
# CHECK-NEXT: end_loop
# CHECK-NEXT: drop
# CHECK: i32.const 0
# CHECK-NEXT: i32.const 0
# CHECK-NEXT: if (i32) -> (i32)
# CHECK-NEXT: else
# CHECK-NEXT: i32.popcnt
# CHECK-NEXT: end_if
# CHECK-NEXT: drop
# CHECK: try i32
# CHECK-NEXT: i32.const 0
# CHECK-NEXT: catch __cpp_exception # catch3:
# CHECK-NEXT: i32.clz
# CHECK-NEXT: catch_all
# CHECK-NEXT: i32.const 5
# CHECK-NEXT: end_try # label3:
# CHECK-NEXT: drop
# CHECK: i32.const 0
# CHECK-NEXT: block (i32) -> (i32)
# CHECK-NEXT: block (i32) -> (f32)
# CHECK-NEXT: drop
# CHECK-NEXT: f32.const 0x0p0
# CHECK-NEXT: end_block # label5:
# CHECK-NEXT: drop
# CHECK-NEXT: i32.const 0
# CHECK-NEXT: end_block # label4:
# CHECK-NEXT: drop
# CHECK: block f32
# CHECK-NEXT: f32.const 0x0p0
# CHECK-NEXT: i32.const 0
# CHECK-NEXT: br_if 0 # 0: down to label6
# CHECK-NEXT: f32.const 0x1p0
# CHECK-NEXT: br 0 # 0: down to label6
# CHECK-NEXT: i32.add
# CHECK-NEXT: i32.sub
# CHECK-NEXT: i32.mul
# CHECK-NEXT: drop
# CHECK-NEXT: end_block # label6:
# CHECK-NEXT: drop
# CHECK: block () -> (f32, f64)
# CHECK-NEXT: f32.const 0x0p0
# CHECK-NEXT: f64.const 0x0p0
# CHECK-NEXT: i32.const 0
# CHECK-NEXT: br_if 0 # 0: down to label7
# CHECK-NEXT: block (f32, f64) -> (f32, f64)
# CHECK-NEXT: i32.const 1
# CHECK-NEXT: br_if 0 # 0: down to label8
# CHECK-NEXT: end_block # label8:
# CHECK-NEXT: end_block # label7:
# CHECK-NEXT: drop
# CHECK-NEXT: drop
# CHECK: i32.const 0
# CHECK-NEXT: loop (i32) -> () # label9:
# CHECK-NEXT: i32.const 1
# CHECK-NEXT: br 0 # 0: up to label9
# CHECK-NEXT: end_loop
# CHECK: end_function
Codebase Browser
llvm