[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / win64-jumptable.ll
blob6a9752687aaf501e4782965d478f2660f52b1674
1 ; RUN: llc -o - %s -mtriple=aarch64-windows -aarch64-enable-compress-jump-tables=0 | FileCheck %s
2 ; RUN: llc -o - %s -mtriple=aarch64-windows -aarch64-enable-compress-jump-tables=0 -filetype=obj | llvm-readobj -unwind | FileCheck %s -check-prefix=UNWIND
4 define void @f(i32 %x) {
5 entry:
6   switch i32 %x, label %sw.epilog [
7     i32 0, label %sw.bb
8     i32 1, label %sw.bb1
9     i32 2, label %sw.bb2
10     i32 3, label %sw.bb3
11   ]
13 sw.bb:
14   tail call void @g(i32 0, i32 4)
15   br label %sw.epilog
17 sw.bb1:
18   tail call void @g(i32 1, i32 5)
19   br label %sw.epilog
21 sw.bb2:
22   tail call void @g(i32 2, i32 6)
23   br label %sw.epilog
25 sw.bb3:
26   tail call void @g(i32 3, i32 7)
27   br label %sw.epilog
29 sw.epilog:
30   tail call void @g(i32 10, i32 8)
31   ret void
34 declare void @g(i32, i32)
36 ; CHECK:    .text
37 ; CHECK:    f:
38 ; CHECK:    .seh_proc f
39 ; CHECK:    b g
40 ; CHECK-NEXT: .p2align  2
41 ; CHECK-NEXT: .LJTI0_0:
42 ; CHECK:    .word .LBB0_2-.LJTI0_0
43 ; CHECK:    .word .LBB0_3-.LJTI0_0
44 ; CHECK:    .word .LBB0_4-.LJTI0_0
45 ; CHECK:    .word .LBB0_5-.LJTI0_0
46 ; CHECK:    .section  .xdata,"dr"
47 ; CHECK:    .seh_handlerdata
48 ; CHECK:    .text
49 ; CHECK:    .seh_endproc
51 ; Check that we can emit an object file with correct unwind info.
52 ; UNWIND: FunctionLength: {{[1-9][0-9]*}}