test/passes/log-execution.txt

(module
 (type $FUNCSIG$v (func))
 (type $FUNCSIG$i (func (result i32)))
 (type $FUNCSIG$vi (func (param i32)))
 (import "env" "func" (func $import))
 (import "env" "log_execution" (func $log_execution (param i32)))
 (func $nopp (; 2 ;) (type $FUNCSIG$v)
  (call $log_execution
   (i32.const 0)
  )
  (nop)
 )
 (func $intt (; 3 ;) (type $FUNCSIG$i) (result i32)
  (call $log_execution
   (i32.const 1)
  )
  (i32.const 10)
 )
 (func $workk (; 4 ;) (type $FUNCSIG$v)
  (call $log_execution
   (i32.const 3)
  )
  (block
   (if
    (i32.const 0)
    (nop)
   )
   (block
    (call $log_execution
     (i32.const 2)
    )
    (drop
     (i32.const 1)
    )
   )
  )
 )
 (func $loops (; 5 ;) (type $FUNCSIG$v)
  (call $log_execution
   (i32.const 8)
  )
  (block
   (loop $x
    (call $log_execution
     (i32.const 4)
    )
    (block
     (call $loops)
     (br $x)
    )
   )
   (if
    (call $intt)
    (loop $y
     (call $log_execution
      (i32.const 5)
     )
     (call $loops)
    )
   )
   (block
    (call $log_execution
     (i32.const 7)
    )
    (loop $loop-in
     (call $log_execution
      (i32.const 6)
     )
     (block
      (drop
       (i32.const 10)
      )
      (drop
       (i32.const 20)
      )
      (drop
       (i32.const 30)
      )
     )
    )
   )
  )
 )
 (func $loops-similar (; 6 ;) (type $FUNCSIG$v)
  (call $log_execution
   (i32.const 10)
  )
  (loop $x
   (call $log_execution
    (i32.const 9)
   )
   (block
    (call $loops)
    (br $x)
   )
  )
 )
)