37 lines · plain
1; RUN: llc -mtriple=aarch64-unknown-linux-gnu -relocation-model=pic -verify-machineinstrs %s -o - | FileCheck %s2 3; TLSDESC resolver calling convention does not retain the flags register.4; Check that a TLS descriptor call cannot be lowered in between a cmp and the use of flags.5 6@var = thread_local global i32 zeroinitializer7@test = global i32 zeroinitializer8 9define i32 @test_thread_local() {10; CHECK-LABEL: test_thread_local:11; CHECK: // %bb.0:12; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill13; CHECK-NEXT: .cfi_def_cfa_offset 1614; CHECK-NEXT: .cfi_offset w30, -1615; CHECK-NEXT: adrp x8, :got:test16; CHECK-NEXT: ldr x8, [x8, :got_lo12:test]17; CHECK-NEXT: adrp x0, :tlsdesc:var18; CHECK-NEXT: ldr x1, [x0, :tlsdesc_lo12:var]19; CHECK-NEXT: add x0, x0, :tlsdesc_lo12:var20; CHECK-NEXT: .tlsdesccall var21; CHECK-NEXT: blr x122; CHECK-NEXT: mrs x9, TPIDR_EL023; CHECK-NEXT: ldr w9, [x9, x0]24; CHECK-NEXT: cmp x8, #025; CHECK-NEXT: cinc w0, w9, eq26; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload27; CHECK-NEXT: ret28 29 %testval = load i32, ptr @test30 %test = icmp eq ptr @test, null31 %val = load i32, ptr @var32 %result = zext i1 %test to i3233 %result2 = add i32 %val, %result34 ret i32 %result235 36}37