1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
; RUN: llc < %s -mtriple=i686-pc-win32 | 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
|