mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-28 04:33:05 +00:00
9934ff2b7f
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@200588 91177308-0d34-0410-b5e6-96231b3b80d8
70 lines
1.8 KiB
LLVM
70 lines
1.8 KiB
LLVM
; RUN: llc < %s -mtriple=i686-pc-win32 -mcpu=core2 | FileCheck %s
|
|
|
|
; The sret flag causes the first two parameters to be reordered on the stack.
|
|
|
|
define x86_cdeclmethodcc void @foo(i32* sret %dst, i32* %src) {
|
|
%v = load i32* %src
|
|
store i32 %v, i32* %dst
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: _foo:
|
|
; CHECK: movl 8(%esp), %[[dst:[^ ]*]]
|
|
; CHECK: movl 4(%esp), %[[src:[^ ]*]]
|
|
; CHECK: movl (%[[src]]), %[[v:[^ ]*]]
|
|
; CHECK: movl %[[v]], (%[[dst]])
|
|
; CHECK: retl
|
|
|
|
define i32 @bar() {
|
|
%src = alloca i32
|
|
%dst = alloca i32
|
|
store i32 42, i32* %src
|
|
call x86_cdeclmethodcc void @foo(i32* sret %dst, i32* %src)
|
|
%v = load i32* %dst
|
|
ret i32 %v
|
|
}
|
|
|
|
; CHECK-LABEL: _bar:
|
|
; CHECK: movl $42, [[src:[^,]*]]
|
|
; CHECK: leal [[src]], %[[reg:[^ ]*]]
|
|
; CHECK: movl %[[reg]], (%esp)
|
|
; CHECK: leal [[dst:[^,]*]], %[[reg:[^ ]*]]
|
|
; CHECK: movl %[[reg]], 4(%esp)
|
|
; CHECK: calll _foo
|
|
; CHECK: movl [[dst]], %eax
|
|
; CHECK: retl
|
|
|
|
; If we don't have the sret flag, parameters are not reordered.
|
|
|
|
define x86_cdeclmethodcc void @baz(i32* %dst, i32* %src) {
|
|
%v = load i32* %src
|
|
store i32 %v, i32* %dst
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: _baz:
|
|
; CHECK: movl 4(%esp), %[[dst:[^ ]*]]
|
|
; CHECK: movl 8(%esp), %[[src:[^ ]*]]
|
|
; CHECK: movl (%[[src]]), %[[v:[^ ]*]]
|
|
; CHECK: movl %[[v]], (%[[dst]])
|
|
; CHECK: retl
|
|
|
|
define i32 @qux() {
|
|
%src = alloca i32
|
|
%dst = alloca i32
|
|
store i32 42, i32* %src
|
|
call x86_cdeclmethodcc void @baz(i32* %dst, i32* %src)
|
|
%v = load i32* %dst
|
|
ret i32 %v
|
|
}
|
|
|
|
; CHECK-LABEL: _qux:
|
|
; CHECK: movl $42, [[src:[^,]*]]
|
|
; CHECK: leal [[src]], %[[reg:[^ ]*]]
|
|
; CHECK: movl %[[reg]], 4(%esp)
|
|
; CHECK: leal [[dst:[^,]*]], %[[reg:[^ ]*]]
|
|
; CHECK: movl %[[reg]], (%esp)
|
|
; CHECK: calll _baz
|
|
; CHECK: movl [[dst]], %eax
|
|
; CHECK: retl
|