lld/test/wasm/globals.s

   1 # RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
   2 # RUN: wasm-ld %t.o -o %t.wasm
   3 # RUN: obj2yaml %t.wasm | FileCheck %s
   4
   5 .globl _start
   6 .globl read_global
   7 .globl write_global
   8
   9 .globaltype foo_global, i32
  10 .globaltype bar_global, f32
  11 .globaltype immutable_global, i32, immutable
  12
  13 read_global:
  14   .functype read_global () -> (i32)
  15   global.get immutable_global
  16   end_function
  17
  18 write_global:
  19   .functype write_global (i32) -> ()
  20   local.get 0
  21   global.set foo_global
  22   f32.const 1.0
  23   global.set bar_global
  24   end_function
  25
  26 _start:
  27   .functype _start () -> ()
  28   i32.const 1
  29   call write_global
  30   call read_global
  31   drop
  32   end_function
  33
  34 foo_global:
  35 bar_global:
  36 immutable_global:
  37
  38 # CHECK:       - Type:            GLOBAL
  39 # CHECK-NEXT:    Globals:
  40 # CHECK-NEXT:      - Index:           0
  41 # CHECK-NEXT:        Type:            I32
  42 # CHECK-NEXT:        Mutable:         true
  43 # CHECK-NEXT:        InitExpr:
  44 # CHECK-NEXT:          Opcode:          I32_CONST
  45 # CHECK-NEXT:          Value:           66560
  46 # CHECK-NEXT:       - Index:           1
  47 # CHECK-NEXT:         Type:            I32
  48 # CHECK-NEXT:         Mutable:         false
  49 # CHECK-NEXT:         InitExpr:
  50 # CHECK-NEXT:           Opcode:          I32_CONST
  51 # CHECK-NEXT:           Value:           0
  52 # CHECK-NEXT:      - Index:           2
  53 # CHECK-NEXT:        Type:            I32
  54 # CHECK-NEXT:        Mutable:         true
  55 # CHECK-NEXT:        InitExpr:
  56 # CHECK-NEXT:          Opcode:          I32_CONST
  57 # CHECK-NEXT:          Value:           0
  58 # CHECK-NEXT:      - Index:           3
  59 # CHECK-NEXT:        Type:            F32
  60 # CHECK-NEXT:        Mutable:         true
  61 # CHECK-NEXT:        InitExpr:
  62 # CHECK-NEXT:          Opcode:          F32_CONST
  63 # CHECK-NEXT:          Value:           0