;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; RUN: wasm-ctor-eval %s --ctors=test --kept-exports=test --quiet -all -S -o - | filecheck %s
(module
;; CHECK: (type $0 (func))
;; CHECK: (global $global (mut i32) (i32.const 0))
(global $global (mut i32) (i32.const 0))
(func $test (export "test")
;; The nop can be evalled away, but not the loop. We should not apply any
;; partial results from the loop - in particular, the global must remain at
;; 0. That is, the global.set of 999 below must not be applied to the global.
;;
;; (It is true that in this simple module it would be ok to set 999 to the
;; global, but if the global were exported for example then that would not
;; be the case, nor would it be the case if the code did $global = $global + 1
;; or such. That is, since the global.set is not evalled away, its effects
;; must not be applied; we do both atomically or neither, so that the
;; global.set's execution only happens once.)
(nop)
(loop
(global.set $global
(i32.const 999)
)
(unreachable)
)
)
)
;; CHECK: (export "test" (func $test_1))
;; CHECK: (func $test_1 (type $0)
;; CHECK-NEXT: (global.set $global
;; CHECK-NEXT: (i32.const 999)
;; CHECK-NEXT: )
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )