tests/disas/br_table.wat

;;! target = "x86_64"

(module
  (func (result i32)
    (block (result i32)
      (block (result i32)
        (block (result i32)
          (br_table 0 1 2 3 (i32.const 42) (i32.const 0))
        )
      )
    )
  )
  (func (result i32)
    (block (result i32)
      (block (result i32)
        (block (result i32)
          (br_table 3 2 1 0 (i32.const 42) (i32.const 0))
        )
      )
    )
  )
  (func (result i32)
    (block (result i32)
      (br_table 0 0 1 1 (i32.const 42) (i32.const 0))
    )
  )
  (func (result i32)
    (block (result i32)
      (br_table 1 1 0 0 (i32.const 42) (i32.const 0))
    )
  )
)

;; function u0:0(i64 vmctx, i64) -> i32 tail {
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+24
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64):
;; @0021                               v6 = iconst.i32 42
;; @0023                               v7 = iconst.i32 0
;; @0025                               br_table v7, block8, [block5, block6, block7]  ; v7 = 0
;;
;;                                 block5:
;; @0025                               jump block4
;;
;;                                 block6:
;; @0025                               jump block3
;;
;;                                 block7:
;; @0025                               jump block2
;;
;;                                 block8:
;; @0025                               jump block1
;;
;;                                 block4:
;; @002c                               jump block3
;;
;;                                 block3:
;; @002d                               jump block2
;;
;;                                 block2:
;; @002e                               jump block1
;;
;;                                 block1:
;; @002e                               return v6  ; v6 = 42
;; }
;;
;; function u0:1(i64 vmctx, i64) -> i32 tail {
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+24
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64):
;; @0037                               v6 = iconst.i32 42
;; @0039                               v7 = iconst.i32 0
;; @003b                               br_table v7, block8, [block5, block6, block7]  ; v7 = 0
;;
;;                                 block5:
;; @003b                               jump block1
;;
;;                                 block6:
;; @003b                               jump block2
;;
;;                                 block7:
;; @003b                               jump block3
;;
;;                                 block8:
;; @003b                               jump block4
;;
;;                                 block4:
;; @0042                               jump block3
;;
;;                                 block3:
;; @0043                               jump block2
;;
;;                                 block2:
;; @0044                               jump block1
;;
;;                                 block1:
;; @0044                               return v6  ; v6 = 42
;; }
;;
;; function u0:2(i64 vmctx, i64) -> i32 tail {
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+24
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64):
;; @0049                               v4 = iconst.i32 42
;; @004b                               v5 = iconst.i32 0
;; @004d                               br_table v5, block4, [block3, block3, block4]  ; v5 = 0
;;
;;                                 block3:
;; @004d                               jump block2
;;
;;                                 block4:
;; @004d                               jump block1
;;
;;                                 block2:
;; @0054                               jump block1
;;
;;                                 block1:
;; @0054                               return v4  ; v4 = 42
;; }
;;
;; function u0:3(i64 vmctx, i64) -> i32 tail {
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+24
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64):
;; @0059                               v4 = iconst.i32 42
;; @005b                               v5 = iconst.i32 0
;; @005d                               br_table v5, block4, [block3, block3, block4]  ; v5 = 0
;;
;;                                 block3:
;; @005d                               jump block1
;;
;;                                 block4:
;; @005d                               jump block2
;;
;;                                 block2:
;; @0064                               jump block1
;;
;;                                 block1:
;; @0064                               return v4  ; v4 = 42
;; }