;;; TOOL: run-roundtrip
;;; ARGS: --stdout --generate-names
(module
  (global i32 (i32.const 42))
  (global (mut f32) (f32.const -1.5))
  (func (result i32)
    f32.const 3.0
    set_global 1
    get_global 0))
(;; STDOUT ;;;
(module
  (type $t0 (func (result i32)))
  (func $f0 (type $t0) (result i32)
    f32.const 0x1.8p+1 (;=3;)
    global.set $g1
    global.get $g0)
  (global $g0 i32 (i32.const 42))
  (global $g1 (mut f32) (f32.const -0x1.8p+0 (;=-1.5;))))
;;; STDOUT ;;)
