llvm/llvm/test/MC/WebAssembly/basic-assembly.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 -o %t.o < %s

.functype   something1 () -> ()
.functype   something2 (i64) -> (i32, f64)
.functype   something3 () -> (i32)
.globaltype __stack_pointer, i32

empty_func:
    .functype empty_func () -> ()
    end_function

test0:
# local labels can appear between label and its .functype.
.Ltest0begin:
    # Test all types:
    .functype   test0 (i32, i64) -> (i32)
    .tagtype  __cpp_exception i32
    .local      f32, f64, v128, v128
    # Explicit getlocal/setlocal:
    local.get   2
    local.set   2
    # Immediates:
    f32.const   -1.0
    drop
    f32.const   -infinity
    drop
    v128.const  0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15
    drop
    v128.const  0, 1, 2, 3, 4, 5, 6, 7
    drop
    local.get   0
    f64.const   0x1.999999999999ap1
    # Indirect addressing:
    f64.store   1234:p2align=4
    i32.const   -1
    f64.const   nan
    f64.store   1234     # Natural alignment (3)
    # Loops, conditionals, binary ops, calls etc:
    block       f32
    f32.const   2.0
    i32.const   1
    local.get   0
    i32.ge_s
    br_if       0        # 0: down to label0
.LBB0_1:
    loop        void      # label1:
    call        something1
    i64.const   1234
    call        something2
    i32.const   0
    call_indirect (i32, f64) -> ()
    i32.const   1
    i32.const   2
    i32.add
    local.tee   0
    local.get   0
    i32.lt_s
    br_if       0        # 0: up to label1
.LBB0_2:
    end_loop
    end_block            # label0:
    drop
    block       i32
    block       void
    block       void
    block       void
    block       () -> (i32, i32)
    i32.const   1
    i32.const   2
    end_block
    drop
    br_table {0, 1, 2}   # 2 entries, default
    end_block            # first entry jumps here.
    i32.const   1
    br          2
    end_block            # second entry jumps here.
    i32.const   2
    br          1
    end_block            # default jumps here.
    i32.const   3
    end_block            # "switch" exit.
    if                   # void
    if          i32
    end_if
    else
    end_if
    drop
    block       void
    i32.const   2
    return
    end_block
    block       void
    return_call something3
    end_block
    block       void
    i32.const   3
    return_call_indirect () -> (i32)
    end_block
    local.get   4
    local.get   5
    f32x4.add
    drop
    # Test correct parsing of instructions with / and : in them:
    # TODO: enable once instruction has been added.
    #i32x4.trunc_sat_f32x4_s
    f32.const   1.0
    i32.trunc_f32_s
    i32.atomic.load 0
    i32.const   0
    memory.atomic.notify 0
    drop
.LBB0_3:
    i32.const   .L.str
    i32.load8_u .L.str+2
    i32.load16_u .L.str:p2align=0
.LBB0_4:
    #i32.trunc_sat_f32_s
    global.get  __stack_pointer
    global.set  __stack_pointer
    end_function

    .section    .rodata..L.str,"",@
    .hidden     .L.str
    .type       .L.str,@object
.L.str:
    .int8       'H'
    .asciz      "ello, World!"
    .int16      1234
    .int64      5000000000
    .int32      2000000000
    .size       .L.str, 28

    .data
    .int8       73

    .section    .init_array.42,"",@
    .p2align    2
    .int32      test0

    .ident      "clang version 9.0.0 (trunk 364502) (llvm/trunk 364571)"

.tabletype empty_externref_table, externref
empty_externref_table:

.tabletype empty_funcref_table, funcref
empty_funcref_table:

.tabletype empty_exnref_table, exnref
empty_exnref_table:

# CHECK:           .text
# CHECK:           .globaltype __stack_pointer, i32

# CHECK-LABEL: empty_func:
# CHECK-NEXT:      .functype	empty_func () -> ()
# CHECK-NEXT:      end_function
# CHECK-LABEL: test0:
# CHECK-NEXT:  .Ltest0begin:
# CHECK-NEXT:      .functype   test0 (i32, i64) -> (i32)
# CHECK-NEXT:      .tagtype  __cpp_exception i32
# CHECK-NEXT:      .local      f32, f64
# CHECK-NEXT:      local.get   2
# CHECK-NEXT:      local.set   2
# CHECK-NEXT:      f32.const   -0x1p0
# CHECK-NEXT:      drop
# CHECK-NEXT:      f32.const   -infinity
# CHECK-NEXT:      drop
# CHECK-NEXT:      v128.const  0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15
# CHECK-NEXT:      drop
# CHECK-NEXT:      v128.const  0, 1, 2, 3, 4, 5, 6, 7
# CHECK-NEXT:      drop
# CHECK-NEXT:      local.get   0
# CHECK-NEXT:      f64.const   0x1.999999999999ap1
# CHECK-NEXT:      f64.store   1234:p2align=4
# CHECK-NEXT:      i32.const   -1
# CHECK-NEXT:      f64.const   nan
# CHECK-NEXT:      f64.store   1234
# CHECK-NEXT:      block       f32
# CHECK-NEXT:      f32.const   0x1p1
# CHECK-NEXT:      i32.const   1
# CHECK-NEXT:      local.get   0
# CHECK-NEXT:      i32.ge_s
# CHECK-NEXT:      br_if       0       # 0: down to label0
# CHECK-NEXT:  .LBB0_1:
# CHECK-NEXT:      loop                # label1:
# CHECK-NEXT:      call        something1
# CHECK-NEXT:      i64.const   1234
# CHECK-NEXT:      call        something2
# CHECK-NEXT:      i32.const   0
# CHECK-NEXT:      call_indirect __indirect_function_table, (i32, f64) -> ()
# CHECK-NEXT:      i32.const   1
# CHECK-NEXT:      i32.const   2
# CHECK-NEXT:      i32.add
# CHECK-NEXT:      local.tee   0
# CHECK-NEXT:      local.get   0
# CHECK-NEXT:      i32.lt_s
# CHECK-NEXT:      br_if       0       # 0: up to label1
# CHECK-NEXT:  .LBB0_2:
# CHECK-NEXT:      end_loop
# CHECK-NEXT:      end_block           # label0:
# CHECK-NEXT:      drop
# CHECK-NEXT:      block       i32
# CHECK-NEXT:      block
# CHECK-NEXT:      block
# CHECK-NEXT:      block
# CHECK-NEXT:      block       () -> (i32, i32)
# CHECK-NEXT:      i32.const   1
# CHECK-NEXT:      i32.const   2
# CHECK-NEXT:      end_block
# CHECK-NEXT:      drop
# CHECK-NEXT:      br_table {0, 1, 2}  # 1: down to label4
# CHECK-NEXT:                          # 2: down to label3
# CHECK-NEXT:      end_block           # label5:
# CHECK-NEXT:      i32.const   1
# CHECK-NEXT:      br          2       # 2: down to label2
# CHECK-NEXT:      end_block           # label4:
# CHECK-NEXT:      i32.const   2
# CHECK-NEXT:      br          1       # 1: down to label2
# CHECK-NEXT:      end_block           # label3:
# CHECK-NEXT:      i32.const   3
# CHECK-NEXT:      end_block           # label2:
# CHECK-NEXT:      if
# CHECK-NEXT:      if          i32
# CHECK-NEXT:      end_if
# CHECK-NEXT:      else
# CHECK-NEXT:      end_if
# CHECK-NEXT:      drop
# CHECK-NEXT:      block
# CHECK-NEXT:      i32.const   2
# CHECK-NEXT:      return
# CHECK-NEXT:      end_block
# CHECK-NEXT:      block
# CHECK-NEXT:      return_call something3
# CHECK-NEXT:      end_block
# CHECK-NEXT:      block
# CHECK-NEXT:      i32.const   3
# CHECK-NEXT:      return_call_indirect __indirect_function_table, () -> (i32)
# CHECK-NEXT:      end_block
# CHECK-NEXT:      local.get   4
# CHECK-NEXT:      local.get   5
# CHECK-NEXT:      f32x4.add
# CHECK-NEXT:      drop
# CHECK-NEXT:      f32.const   0x1p0
# CHECK-NEXT:      i32.trunc_f32_s
# 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:      i32.const   .L.str
# CHECK-NEXT:      i32.load8_u .L.str+2
# CHECK-NEXT:      i32.load16_u .L.str:p2align=0
# CHECK-NEXT:  .LBB0_4:
# CHECK-NEXT:      global.get  __stack_pointer
# CHECK-NEXT:      global.set  __stack_pointer
# CHECK-NEXT:      end_function

# CHECK:           .section    .rodata..L.str,"",@
# CHECK-NEXT:      .hidden     .L.str
# CHECK-NEXT:  .L.str:
# CHECK-NEXT:      .int8       72
# CHECK-NEXT:      .asciz      "ello, World!"
# CHECK-NEXT:      .int16      1234
# CHECK-NEXT:      .int64      5000000000
# CHECK-NEXT:      .int32      2000000000
# CHECK-NEXT:      .size       .L.str, 28

# CHECK:           .data
# CHECK-EMPTY:
# CHECK-NEXT:      .int8       73

# CHECK:           .section    .init_array.42,"",@
# CHECK-NEXT:      .p2align    2
# CHECK-NEXT:      .int32      test0

# CHECK:           .tabletype empty_externref_table, externref
# CHECK-NEXT: empty_externref_table:

# CHECK:           .tabletype empty_funcref_table, funcref
# CHECK-NEXT: empty_funcref_table:

# CHECK:           .tabletype empty_exnref_table, exnref
# CHECK-NEXT: empty_exnref_table: