(module
 (type $FUNCSIG$vi (func (param i32)))
 (func $func (; 0 ;) (type $FUNCSIG$vi) (param $x i32)
  (loop $loop
   (block $out
    (block
     (br_if $out
      (local.get $x)
     )
     (nop)
     (br $loop)
    )
   )
  )
 )
)