;;; TOOL: run-objdump
;;; ARGS0: -v
(module
  (func (result i32)
    block $exit (result i32)
      loop $cont (result i32)
        i32.const 1
        if 
          br $cont
        end
        i32.const 3
        if
          i32.const 4 
          br $exit
        end
        i32.const 5
      end
    end))
(;; STDOUT ;;;
0000000: 0061 736d                                 ; WASM_BINARY_MAGIC
0000004: 0100 0000                                 ; WASM_BINARY_VERSION
; section "Type" (1)
0000008: 01                                        ; section code
0000009: 00                                        ; section size (guess)
000000a: 01                                        ; num types
; type 0
000000b: 60                                        ; func
000000c: 00                                        ; num params
000000d: 01                                        ; num results
000000e: 7f                                        ; i32
0000009: 05                                        ; FIXUP section size
; section "Function" (3)
000000f: 03                                        ; section code
0000010: 00                                        ; section size (guess)
0000011: 01                                        ; num functions
0000012: 00                                        ; function 0 signature index
0000010: 02                                        ; FIXUP section size
; section "Code" (10)
0000013: 0a                                        ; section code
0000014: 00                                        ; section size (guess)
0000015: 01                                        ; num functions
; function body 0
0000016: 00                                        ; func body size (guess)
0000017: 00                                        ; local decl count
0000018: 02                                        ; block
0000019: 7f                                        ; i32
000001a: 03                                        ; loop
000001b: 7f                                        ; i32
000001c: 41                                        ; i32.const
000001d: 01                                        ; i32 literal
000001e: 04                                        ; if
000001f: 40                                        ; void
0000020: 0c                                        ; br
0000021: 01                                        ; break depth
0000022: 0b                                        ; end
0000023: 41                                        ; i32.const
0000024: 03                                        ; i32 literal
0000025: 04                                        ; if
0000026: 40                                        ; void
0000027: 41                                        ; i32.const
0000028: 04                                        ; i32 literal
0000029: 0c                                        ; br
000002a: 02                                        ; break depth
000002b: 0b                                        ; end
000002c: 41                                        ; i32.const
000002d: 05                                        ; i32 literal
000002e: 0b                                        ; end
000002f: 0b                                        ; end
0000030: 0b                                        ; end
0000016: 1a                                        ; FIXUP func body size
0000014: 1c                                        ; FIXUP section size

br-loop-inner-expr.wasm:	file format wasm 0x1

Code Disassembly:

000017 func[0]:
 000018: 02 7f                      | block i32
 00001a: 03 7f                      |   loop i32
 00001c: 41 01                      |     i32.const 1
 00001e: 04 40                      |     if
 000020: 0c 01                      |       br 1
 000022: 0b                         |     end
 000023: 41 03                      |     i32.const 3
 000025: 04 40                      |     if
 000027: 41 04                      |       i32.const 4
 000029: 0c 02                      |       br 2
 00002b: 0b                         |     end
 00002c: 41 05                      |     i32.const 5
 00002e: 0b                         |   end
 00002f: 0b                         | end
 000030: 0b                         | end
;;; STDOUT ;;)