180 lines · plain
1; Verify the call site info. If the call site info is not2; in the valid state, an assert should be triggered.3; RUN: llc < %s -debug-entry-values -mtriple=arm64-none-linux-gnu -stop-after=machineverifier -relocation-model=pic -aarch64-elf-ldtls-generation=1 < %s4 5; RUN: llc -mtriple=arm64-none-linux-gnu -relocation-model=pic -aarch64-elf-ldtls-generation=1 -verify-machineinstrs < %s | FileCheck %s6; RUN: llc -mtriple=arm64-none-linux-gnu -relocation-model=pic -aarch64-elf-ldtls-generation=1 -filetype=obj < %s | llvm-objdump -r - | FileCheck --check-prefix=CHECK-RELOC %s7; RUN: llc -mtriple=arm64-none-linux-gnu -relocation-model=pic -verify-machineinstrs < %s | FileCheck --check-prefix=CHECK-NOLD %s8; RUN: llc -mtriple=arm64-none-linux-gnu -relocation-model=pic -filetype=obj < %s | llvm-objdump -r - | FileCheck --check-prefix=CHECK-NOLD-RELOC %s9; FIXME: We currently produce "small" code for the tiny model10; RUN: llc -mtriple=arm64-none-linux-gnu -relocation-model=pic -aarch64-elf-ldtls-generation=1 -code-model=tiny -verify-machineinstrs < %s | FileCheck %s11; FIXME: We currently error for the large code model12; RUN: not --crash llc -mtriple=arm64-none-linux-gnu -relocation-model=pic -aarch64-elf-ldtls-generation=1 -code-model=large -verify-machineinstrs < %s 2>&1 | FileCheck %s --check-prefix=CHECK-LARGE13 14; CHECK-LARGE: ELF TLS only supported in small memory model15 16@general_dynamic_var = external thread_local global i3217 18define i32 @test_generaldynamic() {19; CHECK-LABEL: test_generaldynamic:20 21 %val = load i32, ptr @general_dynamic_var22 ret i32 %val23 24; CHECK: adrp x[[TLSDESC_HI:[0-9]+]], :tlsdesc:general_dynamic_var25; CHECK-NEXT: ldr [[CALLEE:x[0-9]+]], [x[[TLSDESC_HI]], :tlsdesc_lo12:general_dynamic_var]26; CHECK-NEXT: add x0, x[[TLSDESC_HI]], :tlsdesc_lo12:general_dynamic_var27; CHECK-NEXT: .tlsdesccall general_dynamic_var28; CHECK-NEXT: blr [[CALLEE]]29 30; CHECK-NOLD: adrp x[[TLSDESC_HI:[0-9]+]], :tlsdesc:general_dynamic_var31; CHECK-NOLD-NEXT: ldr [[CALLEE:x[0-9]+]], [x[[TLSDESC_HI]], :tlsdesc_lo12:general_dynamic_var]32; CHECK-NOLD-NEXT: add x0, x[[TLSDESC_HI]], :tlsdesc_lo12:general_dynamic_var33; CHECK-NOLD-NEXT: .tlsdesccall general_dynamic_var34; CHECK-NOLD-NEXT: blr [[CALLEE]]35 36 37; CHECK: mrs x[[TP:[0-9]+]], TPIDR_EL038; CHECK: ldr w0, [x[[TP]], x0]39; CHECK-NOLD: mrs x[[TP:[0-9]+]], TPIDR_EL040; CHECK-NOLD: ldr w0, [x[[TP]], x0]41 42; CHECK-RELOC: R_AARCH64_TLSDESC_ADR_PAGE2143; CHECK-RELOC: R_AARCH64_TLSDESC_LD64_LO1244; CHECK-RELOC: R_AARCH64_TLSDESC_ADD_LO1245; CHECK-RELOC: R_AARCH64_TLSDESC_CALL46 47; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_ADR_PAGE2148; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_LD64_LO1249; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_ADD_LO1250; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_CALL51 52}53 54define ptr @test_generaldynamic_addr() {55; CHECK-LABEL: test_generaldynamic_addr:56 57 ret ptr @general_dynamic_var58 59; CHECK: adrp x[[TLSDESC_HI:[0-9]+]], :tlsdesc:general_dynamic_var60; CHECK-NEXT: ldr [[CALLEE:x[0-9]+]], [x[[TLSDESC_HI]], :tlsdesc_lo12:general_dynamic_var]61; CHECK-NEXT: add x0, x[[TLSDESC_HI]], :tlsdesc_lo12:general_dynamic_var62; CHECK-NEXT: .tlsdesccall general_dynamic_var63; CHECK-NEXT: blr [[CALLEE]]64 65; CHECK: mrs [[TP:x[0-9]+]], TPIDR_EL066; CHECK: add x0, [[TP]], x067 68; CHECK-RELOC: R_AARCH64_TLSDESC_ADR_PAGE2169; CHECK-RELOC: R_AARCH64_TLSDESC_LD64_LO1270; CHECK-RELOC: R_AARCH64_TLSDESC_ADD_LO1271; CHECK-RELOC: R_AARCH64_TLSDESC_CALL72 73; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_ADR_PAGE2174; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_LD64_LO1275; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_ADD_LO1276; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_CALL77 78}79 80@local_dynamic_var = external thread_local(localdynamic) global i3281 82define i32 @test_localdynamic() {83; CHECK-LABEL: test_localdynamic:84 85 %val = load i32, ptr @local_dynamic_var86 ret i32 %val87 88; CHECK: adrp x[[TLSDESC_HI:[0-9]+]], :tlsdesc:_TLS_MODULE_BASE_89; CHECK-NEXT: ldr [[CALLEE:x[0-9]+]], [x[[TLSDESC_HI]], :tlsdesc_lo12:_TLS_MODULE_BASE_]90; CHECK-NEXT: add x0, x[[TLSDESC_HI]], :tlsdesc_lo12:_TLS_MODULE_BASE_91; CHECK-NEXT: .tlsdesccall _TLS_MODULE_BASE_92; CHECK-NEXT: blr [[CALLEE]]93; CHECK-NEXT: add x[[TPOFF:[0-9]+]], x0, :dtprel_hi12:local_dynamic_var94; CHECK-DAG: mrs x[[TPIDR:[0-9]+]], TPIDR_EL095; CHECK-DAG: add x[[TPOFF]], x[[TPOFF]], :dtprel_lo12_nc:local_dynamic_var96; CHECK: ldr w0, [x[[TPIDR]], x[[TPOFF]]]97 98; CHECK-NOLD: adrp x[[TLSDESC_HI:[0-9]+]], :tlsdesc:local_dynamic_var99; CHECK-NOLD-NEXT: ldr [[CALLEE:x[0-9]+]], [x[[TLSDESC_HI]], :tlsdesc_lo12:local_dynamic_var]100; CHECK-NOLD-NEXT: add x0, x[[TLSDESC_HI]], :tlsdesc_lo12:local_dynamic_var101; CHECK-NOLD-NEXT: .tlsdesccall local_dynamic_var102; CHECK-NOLD-NEXT: blr [[CALLEE]]103; CHECK-NOLD: mrs x[[TPIDR:[0-9]+]], TPIDR_EL0104; CHECK-NOLD: ldr w0, [x[[TPIDR]], x0]105 106 107; CHECK-RELOC: R_AARCH64_TLSDESC_ADR_PAGE21108; CHECK-RELOC: R_AARCH64_TLSDESC_LD64_LO12109; CHECK-RELOC: R_AARCH64_TLSDESC_ADD_LO12110; CHECK-RELOC: R_AARCH64_TLSDESC_CALL111; CHECK-RELOC: R_AARCH64_TLSLD_ADD_DTPREL_HI12112; CHECK-RELOC: R_AARCH64_TLSLD_ADD_DTPREL_LO12_NC113 114; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_ADR_PAGE21115; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_LD64_LO12116; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_ADD_LO12117; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_CALL118 119}120 121define ptr @test_localdynamic_addr() {122; CHECK-LABEL: test_localdynamic_addr:123 124; CHECK: adrp x[[TLSDESC_HI:[0-9]+]], :tlsdesc:_TLS_MODULE_BASE_125; CHECK-NEXT: ldr [[CALLEE:x[0-9]+]], [x[[TLSDESC_HI]], :tlsdesc_lo12:_TLS_MODULE_BASE_]126; CHECK-NEXT: add x0, x[[TLSDESC_HI]], :tlsdesc_lo12:_TLS_MODULE_BASE_127; CHECK-NEXT: .tlsdesccall _TLS_MODULE_BASE_128; CHECK-NEXT: blr [[CALLEE]]129; CHECK-NEXT: add x[[TPOFF:[0-9]+]], x0, :dtprel_hi12:local_dynamic_var130; CHECK-DAG: add x[[TPOFF]], x[[TPOFF]], :dtprel_lo12_nc:local_dynamic_var131; CHECK-DAG: mrs x[[TPIDR:[0-9]+]], TPIDR_EL0132; CHECK: add x0, x[[TPIDR]], x[[TPOFF]]133 134; CHECK-NOLD: adrp x[[TLSDESC_HI:[0-9]+]], :tlsdesc:local_dynamic_var135; CHECK-NOLD-NEXT: ldr [[CALLEE:x[0-9]+]], [x[[TLSDESC_HI]], :tlsdesc_lo12:local_dynamic_var]136; CHECK-NOLD-NEXT: add x0, x[[TLSDESC_HI]], :tlsdesc_lo12:local_dynamic_var137; CHECK-NOLD-NEXT: .tlsdesccall local_dynamic_var138; CHECK-NOLD-NEXT: blr [[CALLEE]]139; CHECK-NOLD: mrs x[[TPIDR:[0-9]+]], TPIDR_EL0140; CHECK-NOLD: add x0, x[[TPIDR]], x0141 ret ptr @local_dynamic_var142 143; CHECK-RELOC: R_AARCH64_TLSDESC_ADR_PAGE21144; CHECK-RELOC: R_AARCH64_TLSDESC_LD64_LO12145; CHECK-RELOC: R_AARCH64_TLSDESC_ADD_LO12146; CHECK-RELOC: R_AARCH64_TLSDESC_CALL147; CHECK-RELOC: R_AARCH64_TLSLD_ADD_DTPREL_HI12148; CHECK-RELOC: R_AARCH64_TLSLD_ADD_DTPREL_LO12_NC149 150; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_ADR_PAGE21151; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_LD64_LO12152; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_ADD_LO12153; CHECK-NOLD-RELOC: R_AARCH64_TLSDESC_CALL154}155 156; The entire point of the local-dynamic access model is to have a single call to157; the expensive resolver. Make sure we achieve that goal.158 159@local_dynamic_var2 = external thread_local(localdynamic) global i32160 161define i32 @test_localdynamic_deduplicate() {162; CHECK-LABEL: test_localdynamic_deduplicate:163 164 %val = load i32, ptr @local_dynamic_var165 %val2 = load i32, ptr @local_dynamic_var2166 167 %sum = add i32 %val, %val2168 ret i32 %sum169 170; CHECK: adrp x[[DTPREL_HI:[0-9]+]], :tlsdesc:_TLS_MODULE_BASE_171; CHECK-NEXT: ldr [[CALLEE:x[0-9]+]], [x[[DTPREL_HI]], :tlsdesc_lo12:_TLS_MODULE_BASE_]172; CHECK-NEXT: add x0, x[[TLSDESC_HI]], :tlsdesc_lo12:_TLS_MODULE_BASE173; CHECK-NEXT: .tlsdesccall _TLS_MODULE_BASE_174; CHECK-NEXT: blr [[CALLEE]]175 176; CHECK-NOT: _TLS_MODULE_BASE_177 178; CHECK: ret179}180