| # RUN: llvm-mc -triple=wasm32-unknown-unknown < %s | FileCheck %s |
| |
| .text |
| .type test0,@function |
| test0: |
| # Test all types: |
| .param i32, i64 |
| .local f32, f64 #, i8x16, i16x8, i32x4, f32x4 |
| # Explicit getlocal/setlocal: |
| get_local $push0=, 2 |
| set_local 2, $pop0= |
| # Implicit locals & immediates: |
| i32.const $0=, -1 |
| f64.const $3=, 0x1.999999999999ap1 |
| # Indirect addressing: |
| get_local $push1=, 0 |
| f64.store 0($pop1), $3 |
| # Loops, conditionals, binary ops, calls etc: |
| block |
| i32.const $push2=, 1 |
| get_local $push7=, 0 |
| i32.ge_s $push0=, $pop2, $pop7 |
| br_if 0, $pop0 # 0: down to label0 |
| .LBB0_1: |
| loop # label1: |
| call $drop=, something1@FUNCTION |
| i64.const $push10=, 1234 |
| i32.call $push8=, something2@FUNCTION, $pop10 |
| i32.const $push11=, 0 |
| call_indirect $pop11 |
| i32.const $push5=, 1 |
| i32.add $push4=, $pop8, $pop5 |
| tee_local $push3=, 0, $pop4 |
| get_local $push9=, 0 |
| i32.lt_s $push1=, $pop3, $pop9 |
| br_if 0, $pop1 # 0: up to label1 |
| .LBB0_2: |
| end_loop |
| end_block # label0: |
| end_function |
| |
| |
| # CHECK: .text |
| # CHECK-LABEL: test0: |
| # CHECK-NEXT: .param i32, i64 |
| # CHECK-NEXT: .local f32, f64 |
| # CHECK-NEXT: get_local $push0=, 2 |
| # CHECK-NEXT: set_local 2, $pop0 |
| # CHECK-NEXT: i32.const $0=, -1 |
| # CHECK-NEXT: f64.const $3=, 0x1.999999999999ap1 |
| # CHECK-NEXT: get_local $push1=, 0 |
| # CHECK-NEXT: f64.store 0($pop1):p2align=0, $3 |
| # CHECK-NEXT: block |
| # CHECK-NEXT: i32.const $push2=, 1 |
| # CHECK-NEXT: get_local $push7=, 0 |
| # CHECK-NEXT: i32.ge_s $push0=, $pop2, $pop7 |
| # CHECK-NEXT: br_if 0, $pop0 # 0: down to label0 |
| # CHECK-NEXT: .LBB0_1: |
| # CHECK-NEXT: loop # label1: |
| # CHECK-NEXT: call something1@FUNCTION |
| # CHECK-NEXT: i64.const $push10=, 1234 |
| # CHECK-NEXT: i32.call $push8=, something2@FUNCTION |
| # CHECK-NEXT: i32.const $push11=, 0 |
| # CHECK-NEXT: call_indirect |
| # CHECK-NEXT: i32.const $push5=, 1 |
| # CHECK-NEXT: i32.add $push4=, $pop8, $pop5 |
| # CHECK-NEXT: tee_local $push3=, 0, $pop4 |
| # CHECK-NEXT: get_local $push9=, 0 |
| # CHECK-NEXT: i32.lt_s $push1=, $pop3, $pop9 |
| # CHECK-NEXT: br_if 0, $pop1 # 0: up to label1 |
| # CHECK-NEXT: .LBB0_2: |
| # CHECK-NEXT: end_loop |
| # CHECK-NEXT: end_block # label0: |
| # CHECK-NEXT: end_function |
