forked from OSchip/llvm-project
148 lines
5.5 KiB
LLVM
148 lines
5.5 KiB
LLVM
; RUN: llc -mtriple=aarch64-none-linux-gnu -relocation-model=pic < %s | FileCheck %s
|
|
|
|
@var_simple = hidden global i32 0
|
|
@var_got = global i32 0
|
|
@var_tlsgd = thread_local global i32 0
|
|
@var_tlsld = thread_local(localdynamic) global i32 0
|
|
@var_tlsie = thread_local(initialexec) global i32 0
|
|
@var_tlsle = thread_local(localexec) global i32 0
|
|
|
|
define void @test_inline_modifier_L() nounwind {
|
|
; CHECK-LABEL: test_inline_modifier_L:
|
|
call void asm sideeffect "add x0, x0, ${0:L}", "S,~{x0}"(i32* @var_simple)
|
|
call void asm sideeffect "ldr x0, [x0, ${0:L}]", "S,~{x0}"(i32* @var_got)
|
|
call void asm sideeffect "add x0, x0, ${0:L}", "S,~{x0}"(i32* @var_tlsgd)
|
|
call void asm sideeffect "add x0, x0, ${0:L}", "S,~{x0}"(i32* @var_tlsld)
|
|
call void asm sideeffect "ldr x0, [x0, ${0:L}]", "S,~{x0}"(i32* @var_tlsie)
|
|
call void asm sideeffect "add x0, x0, ${0:L}", "S,~{x0}"(i32* @var_tlsle)
|
|
; CHECK: add x0, x0, #:lo12:var_simple
|
|
; CHECK: ldr x0, [x0, #:got_lo12:var_got]
|
|
; CHECK: add x0, x0, #:tlsdesc_lo12:var_tlsgd
|
|
; CHECK: add x0, x0, #:dtprel_lo12:var_tlsld
|
|
; CHECK: ldr x0, [x0, #:gottprel_lo12:var_tlsie]
|
|
; CHECK: add x0, x0, #:tprel_lo12:var_tlsle
|
|
|
|
call void asm sideeffect "add x0, x0, ${0:L}", "Si,~{x0}"(i32 64)
|
|
call void asm sideeffect "ldr x0, [x0, ${0:L}]", "Si,~{x0}"(i32 64)
|
|
; CHECK: add x0, x0, #64
|
|
; CHECK: ldr x0, [x0, #64]
|
|
|
|
ret void
|
|
}
|
|
|
|
define void @test_inline_modifier_G() nounwind {
|
|
; CHECK-LABEL: test_inline_modifier_G:
|
|
call void asm sideeffect "add x0, x0, ${0:G}, lsl #12", "S,~{x0}"(i32* @var_tlsld)
|
|
call void asm sideeffect "add x0, x0, ${0:G}, lsl #12", "S,~{x0}"(i32* @var_tlsle)
|
|
; CHECK: add x0, x0, #:dtprel_hi12:var_tlsld, lsl #12
|
|
; CHECK: add x0, x0, #:tprel_hi12:var_tlsle, lsl #12
|
|
|
|
call void asm sideeffect "add x0, x0, ${0:G}", "Si,~{x0}"(i32 42)
|
|
; CHECK: add x0, x0, #42
|
|
ret void
|
|
}
|
|
|
|
define void @test_inline_modifier_A() nounwind {
|
|
; CHECK-LABEL: test_inline_modifier_A:
|
|
call void asm sideeffect "adrp x0, ${0:A}", "S,~{x0}"(i32* @var_simple)
|
|
call void asm sideeffect "adrp x0, ${0:A}", "S,~{x0}"(i32* @var_got)
|
|
call void asm sideeffect "adrp x0, ${0:A}", "S,~{x0}"(i32* @var_tlsgd)
|
|
call void asm sideeffect "adrp x0, ${0:A}", "S,~{x0}"(i32* @var_tlsie)
|
|
; N.b. All tprel and dtprel relocs are modified: lo12 or granules.
|
|
; CHECK: adrp x0, var_simple
|
|
; CHECK: adrp x0, :got:var_got
|
|
; CHECK: adrp x0, :tlsdesc:var_tlsgd
|
|
; CHECK: adrp x0, :gottprel:var_tlsie
|
|
|
|
call void asm sideeffect "adrp x0, ${0:A}", "Si,~{x0}"(i32 40)
|
|
; CHECK: adrp x0, #40
|
|
|
|
ret void
|
|
}
|
|
|
|
define void @test_inline_modifier_wx(i32 %small, i64 %big) nounwind {
|
|
; CHECK-LABEL: test_inline_modifier_wx:
|
|
call i32 asm sideeffect "add $0, $0, $0", "=r,0"(i32 %small)
|
|
call i32 asm sideeffect "add ${0:w}, ${0:w}, ${0:w}", "=r,0"(i32 %small)
|
|
call i32 asm sideeffect "add ${0:x}, ${0:x}, ${0:x}", "=r,0"(i32 %small)
|
|
; CHECK: //APP
|
|
; CHECK: add {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
|
|
; CHECK: add {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
|
|
; CHECK: add {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
|
|
|
|
call i64 asm sideeffect "add $0, $0, $0", "=r,0"(i64 %big)
|
|
call i64 asm sideeffect "add ${0:w}, ${0:w}, ${0:w}", "=r,0"(i64 %big)
|
|
call i64 asm sideeffect "add ${0:x}, ${0:x}, ${0:x}", "=r,0"(i64 %big)
|
|
; CHECK: add {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
|
|
; CHECK: add {{w[0-9]+}}, {{w[0-9]+}}, {{w[0-9]+}}
|
|
; CHECK: add {{x[0-9]+}}, {{x[0-9]+}}, {{x[0-9]+}}
|
|
|
|
call i32 asm sideeffect "add ${0:w}, ${1:w}, ${1:w}", "=r,r"(i32 0)
|
|
call i32 asm sideeffect "add ${0:x}, ${1:x}, ${1:x}", "=r,r"(i32 0)
|
|
; CHECK: add {{w[0-9]+}}, wzr, wzr
|
|
; CHECK: add {{x[0-9]+}}, xzr, xzr
|
|
|
|
call i32 asm sideeffect "add ${0:w}, ${0:w}, ${1:w}", "=r,Ir,0"(i32 123, i32 %small)
|
|
call i64 asm sideeffect "add ${0:x}, ${0:x}, ${1:x}", "=r,Ir,0"(i32 456, i64 %big)
|
|
; CHECK: add {{w[0-9]+}}, {{w[0-9]+}}, #123
|
|
; CHECK: add {{x[0-9]+}}, {{x[0-9]+}}, #456
|
|
|
|
ret void
|
|
}
|
|
|
|
define void @test_inline_modifier_bhsdq() nounwind {
|
|
; CHECK-LABEL: test_inline_modifier_bhsdq:
|
|
call float asm sideeffect "ldr ${0:b}, [sp]", "=w"()
|
|
call float asm sideeffect "ldr ${0:h}, [sp]", "=w"()
|
|
call float asm sideeffect "ldr ${0:s}, [sp]", "=w"()
|
|
call float asm sideeffect "ldr ${0:d}, [sp]", "=w"()
|
|
call float asm sideeffect "ldr ${0:q}, [sp]", "=w"()
|
|
; CHECK: ldr b0, [sp]
|
|
; CHECK: ldr h0, [sp]
|
|
; CHECK: ldr s0, [sp]
|
|
; CHECK: ldr d0, [sp]
|
|
; CHECK: ldr q0, [sp]
|
|
|
|
call double asm sideeffect "ldr ${0:b}, [sp]", "=w"()
|
|
call double asm sideeffect "ldr ${0:h}, [sp]", "=w"()
|
|
call double asm sideeffect "ldr ${0:s}, [sp]", "=w"()
|
|
call double asm sideeffect "ldr ${0:d}, [sp]", "=w"()
|
|
call double asm sideeffect "ldr ${0:q}, [sp]", "=w"()
|
|
; CHECK: ldr b0, [sp]
|
|
; CHECK: ldr h0, [sp]
|
|
; CHECK: ldr s0, [sp]
|
|
; CHECK: ldr d0, [sp]
|
|
; CHECK: ldr q0, [sp]
|
|
|
|
call void asm sideeffect "fcmp b0, ${0:b}", "Yw"(float 0.0)
|
|
call void asm sideeffect "fcmp h0, ${0:h}", "Yw"(float 0.0)
|
|
call void asm sideeffect "fcmp s0, ${0:s}", "Yw"(float 0.0)
|
|
call void asm sideeffect "fcmp d0, ${0:d}", "Yw"(float 0.0)
|
|
call void asm sideeffect "fcmp q0, ${0:q}", "Yw"(float 0.0)
|
|
; CHECK: fcmp b0, #0
|
|
; CHECK: fcmp h0, #0
|
|
; CHECK: fcmp s0, #0
|
|
; CHECK: fcmp d0, #0
|
|
; CHECK: fcmp q0, #0
|
|
|
|
ret void
|
|
}
|
|
|
|
define void @test_inline_modifier_c() nounwind {
|
|
; CHECK-LABEL: test_inline_modifier_c:
|
|
call void asm sideeffect "adr x0, ${0:c}", "i"(i32 3)
|
|
; CHECK: adr x0, 3
|
|
|
|
ret void
|
|
}
|
|
|
|
define void @test_inline_modifier_a() nounwind {
|
|
; CHECK-LABEL: test_inline_modifier_a:
|
|
call void asm sideeffect "prfm pldl1keep, ${0:a}", "r"(i32* @var_simple)
|
|
; CHECK: adrp [[VARHI:x[0-9]+]], var_simple
|
|
; CHECK: add x[[VARADDR:[0-9]+]], [[VARHI]], #:lo12:var_simple
|
|
; CHECK: prfm pldl1keep, [x[[VARADDR]]]
|
|
ret void
|
|
}
|
|
|