| ; RUN: llc -verify-machineinstrs -o - %s -mtriple=aarch64-none-linux-gnu -aarch64-enable-atomic-cfg-tidy=0 | FileCheck %s |
| ; RUN: llc -code-model=large -verify-machineinstrs -o - %s -mtriple=aarch64-none-linux-gnu -aarch64-enable-atomic-cfg-tidy=0 | FileCheck --check-prefix=CHECK-LARGE %s |
| ; RUN: llc -mtriple=aarch64-none-linux-gnu -verify-machineinstrs -relocation-model=pic -aarch64-enable-atomic-cfg-tidy=0 -o - %s | FileCheck --check-prefix=CHECK-PIC %s |
| |
| define i32 @test_jumptable(i32 %in) { |
| ; CHECK: test_jumptable |
| |
| switch i32 %in, label %def [ |
| i32 0, label %lbl1 |
| i32 1, label %lbl2 |
| i32 2, label %lbl3 |
| i32 4, label %lbl4 |
| ] |
| ; CHECK: adrp [[JTPAGE:x[0-9]+]], .LJTI0_0 |
| ; CHECK: add x[[JT:[0-9]+]], [[JTPAGE]], {{#?}}:lo12:.LJTI0_0 |
| ; CHECK: ldr [[DEST:x[0-9]+]], [x[[JT]], {{x[0-9]+}}, lsl #3] |
| ; CHECK: br [[DEST]] |
| |
| ; CHECK-LARGE: movz x[[JTADDR:[0-9]+]], #:abs_g0_nc:.LJTI0_0 |
| ; CHECK-LARGE: movk x[[JTADDR]], #:abs_g1_nc:.LJTI0_0 |
| ; CHECK-LARGE: movk x[[JTADDR]], #:abs_g2_nc:.LJTI0_0 |
| ; CHECK-LARGE: movk x[[JTADDR]], #:abs_g3:.LJTI0_0 |
| ; CHECK-LARGE: ldr [[DEST:x[0-9]+]], [x[[JTADDR]], {{x[0-9]+}}, lsl #3] |
| ; CHECK-LARGE: br [[DEST]] |
| |
| ; CHECK-PIC: adrp [[JTPAGE:x[0-9]+]], .LJTI0_0 |
| ; CHECK-PIC: add x[[JT:[0-9]+]], [[JTPAGE]], {{#?}}:lo12:.LJTI0_0 |
| ; CHECK-PIC: ldrsw [[DEST:x[0-9]+]], [x[[JT]], {{x[0-9]+}}, lsl #2] |
| ; CHECK-PIC: add [[TABLE:x[0-9]+]], [[DEST]], x[[JT]] |
| ; CHECK-PIC: br [[TABLE]] |
| |
| def: |
| ret i32 0 |
| |
| lbl1: |
| ret i32 1 |
| |
| lbl2: |
| ret i32 2 |
| |
| lbl3: |
| ret i32 4 |
| |
| lbl4: |
| ret i32 8 |
| |
| } |
| |
| ; CHECK: .rodata |
| |
| ; CHECK: .LJTI0_0: |
| ; CHECK-NEXT: .xword |
| ; CHECK-NEXT: .xword |
| ; CHECK-NEXT: .xword |
| ; CHECK-NEXT: .xword |
| ; CHECK-NEXT: .xword |
| |
| ; CHECK-PIC-NOT: .data_region |
| ; CHECK-PIC-NOT: .LJTI0_0 |
| ; CHECK-PIC: .LJTI0_0: |
| ; CHECK-PIC-NEXT: .word .LBB{{.*}}-.LJTI0_0 |
| ; CHECK-PIC-NEXT: .word .LBB{{.*}}-.LJTI0_0 |
| ; CHECK-PIC-NEXT: .word .LBB{{.*}}-.LJTI0_0 |
| ; CHECK-PIC-NEXT: .word .LBB{{.*}}-.LJTI0_0 |
| ; CHECK-PIC-NEXT: .word .LBB{{.*}}-.LJTI0_0 |
| ; CHECK-PIC-NOT: .end_data_region |
