# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: wasm-ld %t.o -o %t.wasm
# RUN: obj2yaml %t.wasm | FileCheck %s

.globl _start
.globl read_global
.globl write_global

.globaltype foo_global, i32
.globaltype bar_global, f32
.globaltype immutable_global, i32, immutable

read_global:
  .functype read_global () -> (i32)
  global.get immutable_global
  end_function

write_global:
  .functype write_global (i32) -> ()
  local.get 0
  global.set foo_global
  f32.const 1.0
  global.set bar_global
  end_function

_start:
  .functype _start () -> ()
  i32.const 1
  call write_global
  call read_global
  drop
  end_function

foo_global:
bar_global:
immutable_global:

# CHECK:       - Type:            GLOBAL
# CHECK-NEXT:    Globals:
# CHECK-NEXT:      - Index:           0
# CHECK-NEXT:        Type:            I32
# CHECK-NEXT:        Mutable:         true
# CHECK-NEXT:        InitExpr:
# CHECK-NEXT:          Opcode:          I32_CONST
# CHECK-NEXT:          Value:           66560
# CHECK-NEXT:       - Index:           1
# CHECK-NEXT:         Type:            I32
# CHECK-NEXT:         Mutable:         false
# CHECK-NEXT:         InitExpr:
# CHECK-NEXT:           Opcode:          I32_CONST
# CHECK-NEXT:           Value:           0
# CHECK-NEXT:      - Index:           2
# CHECK-NEXT:        Type:            I32
# CHECK-NEXT:        Mutable:         true
# CHECK-NEXT:        InitExpr:
# CHECK-NEXT:          Opcode:          I32_CONST
# CHECK-NEXT:          Value:           0
# CHECK-NEXT:      - Index:           3
# CHECK-NEXT:        Type:            F32
# CHECK-NEXT:        Mutable:         true
# CHECK-NEXT:        InitExpr:
# CHECK-NEXT:          Opcode:          F32_CONST
# CHECK-NEXT:          Value:           0