← Back to branch summary

~ubuntu-branches/ubuntu/trusty/llvm-toolchain-snapshot/trusty-201310232150

« back to all changes in this revision

Viewing changes to test/CodeGen/ARM/returned-ext.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2013-05-27 15:01:57 UTC
  • mfrom: (0.10.1) (0.9.1) (0.8.1) (0.7.1) (0.6.1) (0.5.2)
  • Revision ID: package-import@ubuntu.com-20130527150157-tdkrsjpuvht7v0qx
Tags: 1:3.4~svn182733-1~exp1
http://bugs.debian.org/708677
* New snapshot release (3.4 release)
* Add a symlink of libLLVM-3.4.so.1 to usr/lib/llvm-3.4/lib/libLLVM-3.4.so
    to fix make the llvm-config-3.4 --libdir work (Closes: #708677)
  * Various packages rename to allow co installations:
    * libclang1 => libclang1-3.4
    * libclang1-dbg => libclang1-3.4-dbg
    * libclang-dev => libclang-3.4-dev
    * libclang-common-dev => libclang-common-3.4-dev

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/CodeGen/ARM/returned-ext.ll
 
1
; RUN: llc < %s -mtriple=armv6-linux-gnueabi -arm-tail-calls | FileCheck %s -check-prefix=CHECKELF
 
2
; RUN: llc < %s -mtriple=thumbv7-apple-ios -arm-tail-calls | FileCheck %s -check-prefix=CHECKT2D
 
3
 
 
4
declare i16 @identity16(i16 returned %x)
 
5
declare i32 @identity32(i32 returned %x)
 
6
declare zeroext i16 @retzext16(i16 returned %x)
 
7
declare i16 @paramzext16(i16 zeroext returned %x)
 
8
declare zeroext i16 @bothzext16(i16 zeroext returned %x)
 
9
 
 
10
; The zeroext param attribute below is meant to have no effect
 
11
define i16 @test_identity(i16 zeroext %x) {
 
12
entry:
 
13
; CHECKELF: test_identity:
 
14
; CHECKELF: mov [[SAVEX:r[0-9]+]], r0
 
15
; CHECKELF: bl identity16
 
16
; CHECKELF: uxth r0, r0
 
17
; CHECKELF: bl identity32
 
18
; CHECKELF: mov r0, [[SAVEX]]
 
19
; CHECKT2D: test_identity:
 
20
; CHECKT2D: mov [[SAVEX:r[0-9]+]], r0
 
21
; CHECKT2D: blx _identity16
 
22
; CHECKT2D: uxth r0, r0
 
23
; CHECKT2D: blx _identity32
 
24
; CHECKT2D: mov r0, [[SAVEX]]
 
25
  %call = tail call i16 @identity16(i16 %x)
 
26
  %b = zext i16 %call to i32
 
27
  %call2 = tail call i32 @identity32(i32 %b)
 
28
  ret i16 %x
 
29
}
 
30
 
 
31
; FIXME: This ought not to require register saving but currently does because
 
32
; x is not considered equal to %call (see SelectionDAGBuilder.cpp)
 
33
define i16 @test_matched_ret(i16 %x) {
 
34
entry:
 
35
; CHECKELF: test_matched_ret:
 
36
 
 
37
; This shouldn't be required
 
38
; CHECKELF: mov [[SAVEX:r[0-9]+]], r0
 
39
 
 
40
; CHECKELF: bl retzext16
 
41
; CHECKELF-NOT: uxth r0, {{r[0-9]+}}
 
42
; CHECKELF: bl identity32
 
43
 
 
44
; This shouldn't be required
 
45
; CHECKELF: mov r0, [[SAVEX]]
 
46
 
 
47
; CHECKT2D: test_matched_ret:
 
48
 
 
49
; This shouldn't be required
 
50
; CHECKT2D: mov [[SAVEX:r[0-9]+]], r0
 
51
 
 
52
; CHECKT2D: blx _retzext16
 
53
; CHECKT2D-NOT: uxth r0, {{r[0-9]+}}
 
54
; CHECKT2D: blx _identity32
 
55
 
 
56
; This shouldn't be required
 
57
; CHECKT2D: mov r0, [[SAVEX]]
 
58
 
 
59
  %call = tail call i16 @retzext16(i16 %x)
 
60
  %b = zext i16 %call to i32
 
61
  %call2 = tail call i32 @identity32(i32 %b)
 
62
  ret i16 %x
 
63
}
 
64
 
 
65
define i16 @test_mismatched_ret(i16 %x) {
 
66
entry:
 
67
; CHECKELF: test_mismatched_ret:
 
68
; CHECKELF: mov [[SAVEX:r[0-9]+]], r0
 
69
; CHECKELF: bl retzext16
 
70
; CHECKELF: sxth r0, {{r[0-9]+}}
 
71
; CHECKELF: bl identity32
 
72
; CHECKELF: mov r0, [[SAVEX]]
 
73
; CHECKT2D: test_mismatched_ret:
 
74
; CHECKT2D: mov [[SAVEX:r[0-9]+]], r0
 
75
; CHECKT2D: blx _retzext16
 
76
; CHECKT2D: sxth r0, {{r[0-9]+}}
 
77
; CHECKT2D: blx _identity32
 
78
; CHECKT2D: mov r0, [[SAVEX]]
 
79
  %call = tail call i16 @retzext16(i16 %x)
 
80
  %b = sext i16 %call to i32
 
81
  %call2 = tail call i32 @identity32(i32 %b)
 
82
  ret i16 %x
 
83
}
 
84
 
 
85
define i16 @test_matched_paramext(i16 %x) {
 
86
entry:
 
87
; CHECKELF: test_matched_paramext:
 
88
; CHECKELF: uxth r0, r0
 
89
; CHECKELF: bl paramzext16
 
90
; CHECKELF: uxth r0, r0
 
91
; CHECKELF: bl identity32
 
92
; CHECKELF: b paramzext16
 
93
; CHECKT2D: test_matched_paramext:
 
94
; CHECKT2D: uxth r0, r0
 
95
; CHECKT2D: blx _paramzext16
 
96
; CHECKT2D: uxth r0, r0
 
97
; CHECKT2D: blx _identity32
 
98
; CHECKT2D: b.w _paramzext16
 
99
  %call = tail call i16 @paramzext16(i16 %x)
 
100
  %b = zext i16 %call to i32
 
101
  %call2 = tail call i32 @identity32(i32 %b)
 
102
  %call3 = tail call i16 @paramzext16(i16 %call)
 
103
  ret i16 %call3
 
104
}
 
105
 
 
106
; FIXME: This theoretically ought to optimize to exact same output as the
 
107
; version above, but doesn't currently (see SelectionDAGBuilder.cpp) 
 
108
define i16 @test_matched_paramext2(i16 %x) {
 
109
entry:
 
110
 
 
111
; Since there doesn't seem to be an unambiguous optimal selection and
 
112
; scheduling of uxth and mov instructions below in lieu of the 'returned'
 
113
; optimization, don't bother checking: just verify that the calls are made
 
114
; in the correct order as a basic sanity check
 
115
 
 
116
; CHECKELF: test_matched_paramext2:
 
117
; CHECKELF: bl paramzext16
 
118
; CHECKELF: bl identity32
 
119
; CHECKELF: b paramzext16
 
120
; CHECKT2D: test_matched_paramext2:
 
121
; CHECKT2D: blx _paramzext16
 
122
; CHECKT2D: blx _identity32
 
123
; CHECKT2D: b.w _paramzext16
 
124
  %call = tail call i16 @paramzext16(i16 %x)
 
125
 
 
126
; Should make no difference if %x is used below rather than %call, but it does
 
127
  %b = zext i16 %x to i32
 
128
 
 
129
  %call2 = tail call i32 @identity32(i32 %b)
 
130
  %call3 = tail call i16 @paramzext16(i16 %call)
 
131
  ret i16 %call3
 
132
}
 
133
 
 
134
define i16 @test_matched_bothext(i16 %x) {
 
135
entry:
 
136
; CHECKELF: test_matched_bothext:
 
137
; CHECKELF: uxth r0, r0
 
138
; CHECKELF: bl bothzext16
 
139
; CHECKELF-NOT: uxth r0, r0
 
140
 
 
141
; FIXME: Tail call should be OK here
 
142
; CHECKELF: bl identity32
 
143
 
 
144
; CHECKT2D: test_matched_bothext:
 
145
; CHECKT2D: uxth r0, r0
 
146
; CHECKT2D: blx _bothzext16
 
147
; CHECKT2D-NOT: uxth r0, r0
 
148
 
 
149
; FIXME: Tail call should be OK here
 
150
; CHECKT2D: blx _identity32
 
151
 
 
152
  %call = tail call i16 @bothzext16(i16 %x)
 
153
  %b = zext i16 %x to i32
 
154
  %call2 = tail call i32 @identity32(i32 %b)
 
155
  ret i16 %call
 
156
}
 
157
 
 
158
define i16 @test_mismatched_bothext(i16 %x) {
 
159
entry:
 
160
; CHECKELF: test_mismatched_bothext:
 
161
; CHECKELF: mov [[SAVEX:r[0-9]+]], r0
 
162
; CHECKELF: uxth r0, {{r[0-9]+}}
 
163
; CHECKELF: bl bothzext16
 
164
; CHECKELF: sxth r0, [[SAVEX]]
 
165
; CHECKELF: bl identity32
 
166
; CHECKELF: mov r0, [[SAVEX]]
 
167
; CHECKT2D: test_mismatched_bothext:
 
168
; CHECKT2D: mov [[SAVEX:r[0-9]+]], r0
 
169
; CHECKT2D: uxth r0, {{r[0-9]+}}
 
170
; CHECKT2D: blx _bothzext16
 
171
; CHECKT2D: sxth r0, [[SAVEX]]
 
172
; CHECKT2D: blx _identity32
 
173
; CHECKT2D: mov r0, [[SAVEX]]
 
174
  %call = tail call i16 @bothzext16(i16 %x)
 
175
  %b = sext i16 %x to i32
 
176
  %call2 = tail call i32 @identity32(i32 %b)
 
177
  ret i16 %x
 
178
}