1;;! target = "x86_64"
2;;! test = "winch"
3(module
4  (func (export "nested-br_table-loop-block") (param i32) (result i32)
5    (local.set 0
6      (loop (result i32)
7        (block
8          (br_table 1 0 0 (local.get 0))
9        )
10        (i32.const 0)
11      )
12    )
13    (loop (result i32)
14      (block
15        (br_table 0 1 1 (local.get 0))
16      )
17      (i32.const 3)
18    )
19  )
20)
21;; wasm[0]::function[0]:
22;;       pushq   %rbp
23;;       movq    %rsp, %rbp
24;;       movq    8(%rdi), %r11
25;;       movq    0x18(%r11), %r11
26;;       addq    $0x20, %r11
27;;       cmpq    %rsp, %r11
28;;       ja      0xa6
29;;   1c: movq    %rdi, %r14
30;;       subq    $0x20, %rsp
31;;       movq    %rdi, 0x18(%rsp)
32;;       movq    %rsi, 0x10(%rsp)
33;;       movl    %edx, 0xc(%rsp)
34;;       movl    0xc(%rsp), %eax
35;;       movl    $2, %ecx
36;;       cmpl    %eax, %ecx
37;;       cmovbl  %ecx, %eax
38;;       leaq    0xa(%rip), %r11
39;;       movslq  (%r11, %rax, 4), %rcx
40;;       addq    %rcx, %r11
41;;       jmpq    *%r11
42;;   53: loope   0x54
43