mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-28 04:33:05 +00:00
627ef0cf5e
If an inline assembly operand has multiple constraints (e.g. "Ir" for immediate or register) and an operand modifier (E.g. "w" for "print register as wN") then we need to decide behaviour when the modifier doesn't apply to the constraint. Previousely produced some combination of an assertion failure and a fatal error. GCC's behaviour appears to be to ignore the modifier and print the operand in the default way. This patch should implement that. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194024 91177308-0d34-0410-b5e6-96231b3b80d8
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
|
|
}
|
|
|