| (module | |
| (type $0 (func (param i64))) | |
| (func $0 (param $var$0 i64) | |
| block $label$1 | |
| block $label$2 | |
| loop $label$3 | |
| block $label$4 | |
| unreachable | |
| end | |
| unreachable | |
| end | |
| unreachable | |
| end | |
| unreachable | |
| end | |
| ) | |
| ) | |
| (module | |
| (type $0 (func (param i64))) | |
| (func $0 (; has Stack IR ;) (param $var$0 i64) | |
| (block $label$1 | |
| (br_if $label$1 | |
| (block $label$2 | |
| (loop $label$3 | |
| (local.tee $var$0 | |
| (block $label$4 | |
| (unreachable) | |
| ) | |
| ) | |
| ) | |
| (unreachable) | |
| ) | |
| ) | |
| ) | |
| ) | |
| ) |