blob: 67a78c435d905a6e17149b250fa4e3f1dc58c773 [file] [log] [blame]
Bill Wendling933b3142010-11-01 21:16:39 +00001@ RUN: llvm-mc -mcpu=cortex-a8 -triple armv7-apple-darwin -show-encoding < %s | FileCheck %s
Bill Wendling52925b62010-10-29 23:50:21 +00002
Bill Wendling933b3142010-11-01 21:16:39 +00003@ CHECK: vadd.f64 d16, d17, d16 @ encoding: [0xa0,0x0b,0x71,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +00004 vadd.f64 d16, d17, d16
Owen Anderson0da10cf2011-08-29 19:36:44 +00005
Bill Wendling933b3142010-11-01 21:16:39 +00006@ CHECK: vadd.f32 s0, s1, s0 @ encoding: [0x80,0x0a,0x30,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +00007 vadd.f32 s0, s1, s0
8
Bill Wendling933b3142010-11-01 21:16:39 +00009@ CHECK: vsub.f64 d16, d17, d16 @ encoding: [0xe0,0x0b,0x71,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000010 vsub.f64 d16, d17, d16
11
Bill Wendling933b3142010-11-01 21:16:39 +000012@ CHECK: vsub.f32 s0, s1, s0 @ encoding: [0xc0,0x0a,0x30,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000013 vsub.f32 s0, s1, s0
14
Bill Wendling933b3142010-11-01 21:16:39 +000015@ CHECK: vdiv.f64 d16, d17, d16 @ encoding: [0xa0,0x0b,0xc1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000016 vdiv.f64 d16, d17, d16
17
Bill Wendling933b3142010-11-01 21:16:39 +000018@ CHECK: vdiv.f32 s0, s1, s0 @ encoding: [0x80,0x0a,0x80,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000019 vdiv.f32 s0, s1, s0
20
Bill Wendling933b3142010-11-01 21:16:39 +000021@ CHECK: vmul.f64 d16, d17, d16 @ encoding: [0xa0,0x0b,0x61,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000022 vmul.f64 d16, d17, d16
23
Bill Wendling933b3142010-11-01 21:16:39 +000024@ CHECK: vmul.f32 s0, s1, s0 @ encoding: [0x80,0x0a,0x20,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000025 vmul.f32 s0, s1, s0
26
Bill Wendling933b3142010-11-01 21:16:39 +000027@ CHECK: vnmul.f64 d16, d17, d16 @ encoding: [0xe0,0x0b,0x61,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000028 vnmul.f64 d16, d17, d16
29
Bill Wendling933b3142010-11-01 21:16:39 +000030@ CHECK: vnmul.f32 s0, s1, s0 @ encoding: [0xc0,0x0a,0x20,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000031 vnmul.f32 s0, s1, s0
32
Bill Wendling933b3142010-11-01 21:16:39 +000033@ CHECK: vcmpe.f64 d17, d16 @ encoding: [0xe0,0x1b,0xf4,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000034 vcmpe.f64 d17, d16
35
Bill Wendling933b3142010-11-01 21:16:39 +000036@ CHECK: vcmpe.f32 s1, s0 @ encoding: [0xc0,0x0a,0xf4,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000037 vcmpe.f32 s1, s0
38
Bill Wendling933b3142010-11-01 21:16:39 +000039@ FIXME: vcmpe.f64 d16, #0 @ encoding: [0xc0,0x0b,0xf5,0xee]
40@ vcmpe.f64 d16, #0
Bill Wendling52925b62010-10-29 23:50:21 +000041
Bill Wendling933b3142010-11-01 21:16:39 +000042@ FIXME: vcmpe.f32 s0, #0 @ encoding: [0xc0,0x0a,0xb5,0xee]
43@ vcmpe.f32 s0, #0
Bill Wendling52925b62010-10-29 23:50:21 +000044
Bill Wendling933b3142010-11-01 21:16:39 +000045@ CHECK: vabs.f64 d16, d16 @ encoding: [0xe0,0x0b,0xf0,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000046 vabs.f64 d16, d16
47
Bill Wendling933b3142010-11-01 21:16:39 +000048@ CHECK: vabs.f32 s0, s0 @ encoding: [0xc0,0x0a,0xb0,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000049 vabs.f32 s0, s0
Owen Anderson0da10cf2011-08-29 19:36:44 +000050
Bill Wendling933b3142010-11-01 21:16:39 +000051@ CHECK: vcvt.f32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xb7,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000052 vcvt.f32.f64 s0, d16
53
Bill Wendling933b3142010-11-01 21:16:39 +000054@ CHECK: vcvt.f64.f32 d16, s0 @ encoding: [0xc0,0x0a,0xf7,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000055 vcvt.f64.f32 d16, s0
56
Bill Wendling933b3142010-11-01 21:16:39 +000057@ CHECK: vneg.f64 d16, d16 @ encoding: [0x60,0x0b,0xf1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000058 vneg.f64 d16, d16
59
Bill Wendling933b3142010-11-01 21:16:39 +000060@ CHECK: vneg.f32 s0, s0 @ encoding: [0x40,0x0a,0xb1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000061 vneg.f32 s0, s0
62
Bill Wendling933b3142010-11-01 21:16:39 +000063@ CHECK: vsqrt.f64 d16, d16 @ encoding: [0xe0,0x0b,0xf1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000064 vsqrt.f64 d16, d16
65
Bill Wendling933b3142010-11-01 21:16:39 +000066@ CHECK: vsqrt.f32 s0, s0 @ encoding: [0xc0,0x0a,0xb1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000067 vsqrt.f32 s0, s0
68
Bill Wendling933b3142010-11-01 21:16:39 +000069@ CHECK: vcvt.f64.s32 d16, s0 @ encoding: [0xc0,0x0b,0xf8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000070 vcvt.f64.s32 d16, s0
71
Bill Wendling933b3142010-11-01 21:16:39 +000072@ CHECK: vcvt.f32.s32 s0, s0 @ encoding: [0xc0,0x0a,0xb8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000073 vcvt.f32.s32 s0, s0
74
Bill Wendling933b3142010-11-01 21:16:39 +000075@ CHECK: vcvt.f64.u32 d16, s0 @ encoding: [0x40,0x0b,0xf8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000076 vcvt.f64.u32 d16, s0
77
Bill Wendling933b3142010-11-01 21:16:39 +000078@ CHECK: vcvt.f32.u32 s0, s0 @ encoding: [0x40,0x0a,0xb8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000079 vcvt.f32.u32 s0, s0
80
Bill Wendling933b3142010-11-01 21:16:39 +000081@ CHECK: vcvt.s32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xbd,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000082 vcvt.s32.f64 s0, d16
83
Bill Wendling933b3142010-11-01 21:16:39 +000084@ CHECK: vcvt.s32.f32 s0, s0 @ encoding: [0xc0,0x0a,0xbd,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000085 vcvt.s32.f32 s0, s0
86
Bill Wendling933b3142010-11-01 21:16:39 +000087@ CHECK: vcvt.u32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xbc,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000088 vcvt.u32.f64 s0, d16
89
Bill Wendling933b3142010-11-01 21:16:39 +000090@ CHECK: vcvt.u32.f32 s0, s0 @ encoding: [0xc0,0x0a,0xbc,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000091 vcvt.u32.f32 s0, s0
92
Bill Wendling933b3142010-11-01 21:16:39 +000093@ CHECK: vmla.f64 d16, d18, d17 @ encoding: [0xa1,0x0b,0x42,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000094 vmla.f64 d16, d18, d17
95
Bill Wendling933b3142010-11-01 21:16:39 +000096@ CHECK: vmla.f32 s1, s2, s0 @ encoding: [0x00,0x0a,0x41,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000097 vmla.f32 s1, s2, s0
98
Bill Wendling933b3142010-11-01 21:16:39 +000099@ CHECK: vmls.f64 d16, d18, d17 @ encoding: [0xe1,0x0b,0x42,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000100 vmls.f64 d16, d18, d17
101
Bill Wendling933b3142010-11-01 21:16:39 +0000102@ CHECK: vmls.f32 s1, s2, s0 @ encoding: [0x40,0x0a,0x41,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000103 vmls.f32 s1, s2, s0
104
Bill Wendling933b3142010-11-01 21:16:39 +0000105@ CHECK: vnmla.f64 d16, d18, d17 @ encoding: [0xe1,0x0b,0x52,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000106 vnmla.f64 d16, d18, d17
107
Bill Wendling933b3142010-11-01 21:16:39 +0000108@ CHECK: vnmla.f32 s1, s2, s0 @ encoding: [0x40,0x0a,0x51,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000109 vnmla.f32 s1, s2, s0
110
Bill Wendling933b3142010-11-01 21:16:39 +0000111@ CHECK: vnmls.f64 d16, d18, d17 @ encoding: [0xa1,0x0b,0x52,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000112 vnmls.f64 d16, d18, d17
113
Bill Wendling933b3142010-11-01 21:16:39 +0000114@ CHECK: vnmls.f32 s1, s2, s0 @ encoding: [0x00,0x0a,0x51,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000115 vnmls.f32 s1, s2, s0
116
Jim Grosbach5cd5ac62011-10-03 21:12:43 +0000117@ CHECK: vmrs apsr_nzcv, fpscr @ encoding: [0x10,0xfa,0xf1,0xee]
118@ CHECK: vmrs apsr_nzcv, fpscr @ encoding: [0x10,0xfa,0xf1,0xee]
119 vmrs apsr_nzcv, fpscr
120 fmstat
Owen Anderson0da10cf2011-08-29 19:36:44 +0000121
Bill Wendling933b3142010-11-01 21:16:39 +0000122@ CHECK: vnegne.f64 d16, d16 @ encoding: [0x60,0x0b,0xf1,0x1e]
Bill Wendling52925b62010-10-29 23:50:21 +0000123 vnegne.f64 d16, d16
124
Bill Wendling933b3142010-11-01 21:16:39 +0000125@ CHECK: vmovne s0, r0 @ encoding: [0x10,0x0a,0x00,0x1e]
126@ CHECK: vmoveq s0, r1 @ encoding: [0x10,0x1a,0x00,0x0e]
Bill Wendling52925b62010-10-29 23:50:21 +0000127 vmovne s0, r0
128 vmoveq s0, r1
129
Bill Wendling933b3142010-11-01 21:16:39 +0000130@ CHECK: vmrs r0, fpscr @ encoding: [0x10,0x0a,0xf1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000131 vmrs r0, fpscr
Bruno Cardoso Lopes61505902011-01-18 21:58:20 +0000132@ CHECK: vmrs r0, fpexc @ encoding: [0x10,0x0a,0xf8,0xee]
133 vmrs r0, fpexc
134@ CHECK: vmrs r0, fpsid @ encoding: [0x10,0x0a,0xf0,0xee]
135 vmrs r0, fpsid
Bill Wendling52925b62010-10-29 23:50:21 +0000136
Bill Wendling933b3142010-11-01 21:16:39 +0000137@ CHECK: vmsr fpscr, r0 @ encoding: [0x10,0x0a,0xe1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000138 vmsr fpscr, r0
Bruno Cardoso Lopes61505902011-01-18 21:58:20 +0000139@ CHECK: vmsr fpexc, r0 @ encoding: [0x10,0x0a,0xe8,0xee]
140 vmsr fpexc, r0
141@ CHECK: vmsr fpsid, r0 @ encoding: [0x10,0x0a,0xe0,0xee]
142 vmsr fpsid, r0
Bill Wendling52925b62010-10-29 23:50:21 +0000143
Bill Wendling933b3142010-11-01 21:16:39 +0000144@ FIXME: vmov.f64 d16, #3.000000e+00 @ encoding: [0x08,0x0b,0xf0,0xee]
145@ vmov.f64 d16, #3.000000e+00
Bill Wendling52925b62010-10-29 23:50:21 +0000146
Bill Wendling933b3142010-11-01 21:16:39 +0000147@ FIXME: vmov.f32 s0, #3.000000e+00 @ encoding: [0x08,0x0a,0xb0,0xee]
148@ vmov.f32 s0, #3.000000e+00
Bill Wendling52925b62010-10-29 23:50:21 +0000149
Bill Wendling933b3142010-11-01 21:16:39 +0000150@ CHECK: vmov s0, r0 @ encoding: [0x10,0x0a,0x00,0xee]
151@ CHECK: vmov s1, r1 @ encoding: [0x90,0x1a,0x00,0xee]
152@ CHECK: vmov s2, r2 @ encoding: [0x10,0x2a,0x01,0xee]
153@ CHECK: vmov s3, r3 @ encoding: [0x90,0x3a,0x01,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000154 vmov s0, r0
155 vmov s1, r1
156 vmov s2, r2
157 vmov s3, r3
158
Bill Wendling933b3142010-11-01 21:16:39 +0000159@ CHECK: vmov r0, s0 @ encoding: [0x10,0x0a,0x10,0xee]
160@ CHECK: vmov r1, s1 @ encoding: [0x90,0x1a,0x10,0xee]
161@ CHECK: vmov r2, s2 @ encoding: [0x10,0x2a,0x11,0xee]
162@ CHECK: vmov r3, s3 @ encoding: [0x90,0x3a,0x11,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000163 vmov r0, s0
164 vmov r1, s1
165 vmov r2, s2
166 vmov r3, s3
167
Bill Wendling933b3142010-11-01 21:16:39 +0000168@ CHECK: vmov r0, r1, d16 @ encoding: [0x30,0x0b,0x51,0xec]
Bill Wendling52925b62010-10-29 23:50:21 +0000169 vmov r0, r1, d16
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000170
171@ CHECK: vldr.64 d17, [r0] @ encoding: [0x00,0x1b,0xd0,0xed]
172 vldr.64 d17, [r0]
173
174@ CHECK: vldr.64 d1, [r2, #32] @ encoding: [0x08,0x1b,0x92,0xed]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000175@ CHECK: vldr.64 d1, [r2, #-32] @ encoding: [0x08,0x1b,0x12,0xed]
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000176 vldr.64 d1, [r2, #32]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000177 vldr.64 d1, [r2, #-32]
Owen Anderson0da10cf2011-08-29 19:36:44 +0000178
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000179@ CHECK: vldr.64 d2, [r3] @ encoding: [0x00,0x2b,0x93,0xed]
180 vldr.64 d2, [r3]
181
182@ CHECK: vldr.64 d3, [pc] @ encoding: [0x00,0x3b,0x9f,0xed]
183@ CHECK: vldr.64 d3, [pc] @ encoding: [0x00,0x3b,0x9f,0xed]
Owen Anderson0da10cf2011-08-29 19:36:44 +0000184@ CHECK: vldr.64 d3, [pc, #-0] @ encoding: [0x00,0x3b,0x1f,0xed]
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000185 vldr.64 d3, [pc]
186 vldr.64 d3, [pc,#0]
187 vldr.64 d3, [pc,#-0]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000188
189@ CHECK: vldr.32 s13, [r0] @ encoding: [0x00,0x6a,0xd0,0xed]
190 vldr.32 s13, [r0]
191
192@ CHECK: vldr.32 s1, [r2, #32] @ encoding: [0x08,0x0a,0xd2,0xed]
193@ CHECK: vldr.32 s1, [r2, #-32] @ encoding: [0x08,0x0a,0x52,0xed]
194 vldr.32 s1, [r2, #32]
195 vldr.32 s1, [r2, #-32]
Owen Anderson0da10cf2011-08-29 19:36:44 +0000196
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000197@ CHECK: vldr.32 s2, [r3] @ encoding: [0x00,0x1a,0x93,0xed]
198 vldr.32 s2, [r3]
199
200@ CHECK: vldr.32 s5, [pc] @ encoding: [0x00,0x2a,0xdf,0xed]
201@ CHECK: vldr.32 s5, [pc] @ encoding: [0x00,0x2a,0xdf,0xed]
Owen Anderson0da10cf2011-08-29 19:36:44 +0000202@ CHECK: vldr.32 s5, [pc, #-0] @ encoding: [0x00,0x2a,0x5f,0xed]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000203 vldr.32 s5, [pc]
204 vldr.32 s5, [pc,#0]
205 vldr.32 s5, [pc,#-0]
Bill Wendling2f46f1f2010-11-04 00:59:42 +0000206
207@ CHECK: vstr.64 d4, [r1] @ encoding: [0x00,0x4b,0x81,0xed]
208@ CHECK: vstr.64 d4, [r1, #24] @ encoding: [0x06,0x4b,0x81,0xed]
209@ CHECK: vstr.64 d4, [r1, #-24] @ encoding: [0x06,0x4b,0x01,0xed]
210 vstr.64 d4, [r1]
211 vstr.64 d4, [r1, #24]
212 vstr.64 d4, [r1, #-24]
213
214@ CHECK: vstr.32 s4, [r1] @ encoding: [0x00,0x2a,0x81,0xed]
215@ CHECK: vstr.32 s4, [r1, #24] @ encoding: [0x06,0x2a,0x81,0xed]
216@ CHECK: vstr.32 s4, [r1, #-24] @ encoding: [0x06,0x2a,0x01,0xed]
217 vstr.32 s4, [r1]
218 vstr.32 s4, [r1, #24]
219 vstr.32 s4, [r1, #-24]
Bill Wendling0f630752010-11-17 04:32:08 +0000220
221@ CHECK: vldmia r1, {d2, d3, d4, d5, d6, d7} @ encoding: [0x0c,0x2b,0x91,0xec]
222@ CHECK: vldmia r1, {s2, s3, s4, s5, s6, s7} @ encoding: [0x06,0x1a,0x91,0xec]
223 vldmia r1, {d2,d3-d6,d7}
224 vldmia r1, {s2,s3-s6,s7}
225
226@ CHECK: vstmia r1, {d2, d3, d4, d5, d6, d7} @ encoding: [0x0c,0x2b,0x81,0xec]
227@ CHECK: vstmia r1, {s2, s3, s4, s5, s6, s7} @ encoding: [0x06,0x1a,0x81,0xec]
228 vstmia r1, {d2,d3-d6,d7}
229 vstmia r1, {s2,s3-s6,s7}
Bruno Cardoso Lopes106df6d2011-01-26 13:53:38 +0000230
231@ CHECK: vcvtr.s32.f64 s0, d0 @ encoding: [0x40,0x0b,0xbd,0xee]
232@ CHECK: vcvtr.s32.f32 s0, s1 @ encoding: [0x60,0x0a,0xbd,0xee]
233@ CHECK: vcvtr.u32.f64 s0, d0 @ encoding: [0x40,0x0b,0xbc,0xee]
234@ CHECK: vcvtr.u32.f32 s0, s1 @ encoding: [0x60,0x0a,0xbc,0xee]
235 vcvtr.s32.f64 s0, d0
236 vcvtr.s32.f32 s0, s1
237 vcvtr.u32.f64 s0, d0
238 vcvtr.u32.f32 s0, s1
Owen Anderson694e0ff2011-08-29 23:15:25 +0000239
240@ CHECK: vmovne s25, s26, r2, r5
241 vmovne s25, s26, r2, r5 @ encoding: [0x39,0x2a,0x45,0x1c]