mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-01-15 23:31:37 +00:00
1ef70ff39b
Now that `Metadata` is typeless, reflect that in the assembly. These
are the matching assembly changes for the metadata/value split in
r223802.
- Only use the `metadata` type when referencing metadata from a call
intrinsic -- i.e., only when it's used as a `Value`.
- Stop pretending that `ValueAsMetadata` is wrapped in an `MDNode`
when referencing it from call intrinsics.
So, assembly like this:
define @foo(i32 %v) {
call void @llvm.foo(metadata !{i32 %v}, metadata !0)
call void @llvm.foo(metadata !{i32 7}, metadata !0)
call void @llvm.foo(metadata !1, metadata !0)
call void @llvm.foo(metadata !3, metadata !0)
call void @llvm.foo(metadata !{metadata !3}, metadata !0)
ret void, !bar !2
}
!0 = metadata !{metadata !2}
!1 = metadata !{i32* @global}
!2 = metadata !{metadata !3}
!3 = metadata !{}
turns into this:
define @foo(i32 %v) {
call void @llvm.foo(metadata i32 %v, metadata !0)
call void @llvm.foo(metadata i32 7, metadata !0)
call void @llvm.foo(metadata i32* @global, metadata !0)
call void @llvm.foo(metadata !3, metadata !0)
call void @llvm.foo(metadata !{!3}, metadata !0)
ret void, !bar !2
}
!0 = !{!2}
!1 = !{i32* @global}
!2 = !{!3}
!3 = !{}
I wrote an upgrade script that handled almost all of the tests in llvm
and many of the tests in cfe (even handling many `CHECK` lines). I've
attached it (or will attach it in a moment if you're speedy) to PR21532
to help everyone update their out-of-tree testcases.
This is part of PR21532.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@224257 91177308-0d34-0410-b5e6-96231b3b80d8
153 lines
4.8 KiB
LLVM
153 lines
4.8 KiB
LLVM
; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -mcpu=corei7 -mattr=+sse2 -asm-instrumentation=address -asan-instrument-assembly | FileCheck %s
|
|
|
|
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-unknown-linux-gnu"
|
|
|
|
; CHECK-LABEL: mov1b
|
|
; CHECK: leaq -128(%rsp), %rsp
|
|
; CHECK-NEXT: pushq %rax
|
|
; CHECK-NEXT: pushq %rdi
|
|
; CHECK-NEXT: pushq %rcx
|
|
; CHECK-NEXT: pushfq
|
|
; CHECK-NEXT: leaq {{.*}}, %rdi
|
|
; CHECK-NEXT: movq %rdi, %rax
|
|
; CHECK-NEXT: shrq $3, %rax
|
|
; CHECK-NEXT: movb 2147450880(%rax), %al
|
|
; CHECK-NEXT: testb %al, %al
|
|
; CHECK-NEXT: je [[A:.*]]
|
|
; CHECK-NEXT: movl %edi, %ecx
|
|
; CHECK-NEXT: andl $7, %ecx
|
|
; CHECK-NEXT: movsbl %al, %eax
|
|
; CHECK-NEXT: cmpl %eax, %ecx
|
|
; CHECK-NEXT: jl {{.*}}
|
|
; CHECK-NEXT: cld
|
|
; CHECK-NEXT: emms
|
|
; CHECK-NEXT: andq $-16, %rsp
|
|
; CHECK-NEXT: callq __asan_report_load1@PLT
|
|
; CHECK-NEXT: [[A]]:
|
|
; CHECK-NEXT: popfq
|
|
; CHECK-NEXT: popq %rcx
|
|
; CHECK-NEXT: popq %rdi
|
|
; CHECK-NEXT: popq %rax
|
|
; CHECK-NEXT: leaq 128(%rsp), %rsp
|
|
|
|
; CHECK: leaq -128(%rsp), %rsp
|
|
; CHECK: callq __asan_report_store1@PLT
|
|
; CHECK: leaq 128(%rsp), %rsp
|
|
|
|
; CHECK: movb {{.*}}, {{.*}}
|
|
define void @mov1b(i8* %dst, i8* %src) #0 {
|
|
entry:
|
|
tail call void asm sideeffect "movb ($1), %al \0A\09movb %al, ($0) \0A\09", "r,r,~{memory},~{rax},~{dirflag},~{fpsr},~{flags}"(i8* %dst, i8* %src) #1, !srcloc !0
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: mov2b
|
|
; CHECK: leaq -128(%rsp), %rsp
|
|
; CHECK: leal 1(%ecx), %ecx
|
|
; CHECK: callq __asan_report_load2@PLT
|
|
; CHECK: leaq 128(%rsp), %rsp
|
|
|
|
; CHECK: leaq -128(%rsp), %rsp
|
|
; CHECK: leal 1(%ecx), %ecx
|
|
; CHECK: callq __asan_report_store2@PLT
|
|
; CHECK: leaq 128(%rsp), %rsp
|
|
|
|
; CHECK: movw {{.*}}, {{.*}}
|
|
define void @mov2b(i16* %dst, i16* %src) #0 {
|
|
entry:
|
|
tail call void asm sideeffect "movw ($1), %ax \0A\09movw %ax, ($0) \0A\09", "r,r,~{memory},~{rax},~{dirflag},~{fpsr},~{flags}"(i16* %dst, i16* %src) #1, !srcloc !1
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: mov4b
|
|
; CHECK: leaq -128(%rsp), %rsp
|
|
; CHECK: addl $3, %ecx
|
|
; CHECK: callq __asan_report_load4@PLT
|
|
; CHECK: leaq 128(%rsp), %rsp
|
|
|
|
; CHECK: leaq -128(%rsp), %rsp
|
|
; CHECK: addl $3, %ecx
|
|
; CHECK: callq __asan_report_store4@PLT
|
|
; CHECK: leaq 128(%rsp), %rsp
|
|
|
|
; CHECK: movl {{.*}}, {{.*}}
|
|
define void @mov4b(i32* %dst, i32* %src) #0 {
|
|
entry:
|
|
tail call void asm sideeffect "movl ($1), %eax \0A\09movl %eax, ($0) \0A\09", "r,r,~{memory},~{rax},~{dirflag},~{fpsr},~{flags}"(i32* %dst, i32* %src) #1, !srcloc !2
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: mov8b
|
|
; CHECK: leaq -128(%rsp), %rsp
|
|
; CHECK-NEXT: pushq %rax
|
|
; CHECK-NEXT: pushq %rdi
|
|
; CHECK-NEXT: pushfq
|
|
; CHECK-NEXT: leaq {{.*}}, %rdi
|
|
; CHECK-NEXT: movq %rdi, %rax
|
|
; CHECK-NEXT: shrq $3, %rax
|
|
; CHECK-NEXT: cmpb $0, 2147450880(%rax)
|
|
; CHECK-NEXT: je [[A:.*]]
|
|
; CHECK-NEXT: cld
|
|
; CHECK-NEXT: emms
|
|
; CHECK-NEXT: andq $-16, %rsp
|
|
; CHECK-NEXT: callq __asan_report_load8@PLT
|
|
; CHECK-NEXT: [[A]]:
|
|
; CHECK-NEXT: popfq
|
|
; CHECK-NEXT: popq %rdi
|
|
; CHECK-NEXT: popq %rax
|
|
; CHECK-NEXT: leaq 128(%rsp), %rsp
|
|
|
|
; CHECK: leaq -128(%rsp), %rsp
|
|
; CHECK-NEXT: pushq %rax
|
|
; CHECK-NEXT: pushq %rdi
|
|
; CHECK-NEXT: pushfq
|
|
; CHECK-NEXT: leaq {{.*}}, %rdi
|
|
; CHECK-NEXT: movq %rdi, %rax
|
|
; CHECK-NEXT: shrq $3, %rax
|
|
; CHECK-NEXT: cmpb $0, 2147450880(%rax)
|
|
; CHECK-NEXT: je [[A:.*]]
|
|
; CHECK-NEXT: cld
|
|
; CHECK-NEXT: emms
|
|
; CHECK-NEXT: andq $-16, %rsp
|
|
; CHECK-NEXT: callq __asan_report_store8@PLT
|
|
; CHECK-NEXT: [[A]]:
|
|
; CHECK-NEXT: popfq
|
|
; CHECK-NEXT: popq %rdi
|
|
; CHECK-NEXT: popq %rax
|
|
; CHECK-NEXT: leaq 128(%rsp), %rsp
|
|
|
|
; CHECK: movq {{.*}}, {{.*}}
|
|
define void @mov8b(i64* %dst, i64* %src) #0 {
|
|
entry:
|
|
tail call void asm sideeffect "movq ($1), %rax \0A\09movq %rax, ($0) \0A\09", "r,r,~{memory},~{rax},~{dirflag},~{fpsr},~{flags}"(i64* %dst, i64* %src) #1, !srcloc !3
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: mov16b
|
|
; CHECK: leaq -128(%rsp), %rsp
|
|
; CHECK: cmpw $0, 2147450880(%rax)
|
|
; CHECK: callq __asan_report_load16@PLT
|
|
; CHECK: leaq 128(%rsp), %rsp
|
|
|
|
; CHECK: leaq -128(%rsp), %rsp
|
|
; CHECK: cmpw $0, 2147450880(%rax)
|
|
; CHECK: callq __asan_report_store16@PLT
|
|
; CHECK: leaq 128(%rsp), %rsp
|
|
|
|
; CHECK: movaps {{.*}}, {{.*}}
|
|
define void @mov16b(<2 x i64>* %dst, <2 x i64>* %src) #0 {
|
|
entry:
|
|
tail call void asm sideeffect "movaps ($1), %xmm0 \0A\09movaps %xmm0, ($0) \0A\09", "r,r,~{memory},~{xmm0},~{dirflag},~{fpsr},~{flags}"(<2 x i64>* %dst, <2 x i64>* %src) #1, !srcloc !4
|
|
ret void
|
|
}
|
|
|
|
attributes #0 = { nounwind uwtable sanitize_address "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
|
|
attributes #1 = { nounwind }
|
|
|
|
!0 = !{i32 98, i32 122, i32 160}
|
|
!1 = !{i32 305, i32 329, i32 367}
|
|
!2 = !{i32 512, i32 537, i32 576}
|
|
!3 = !{i32 721, i32 746, i32 785}
|
|
!4 = !{i32 929, i32 957, i32 999}
|