blob: f6626d75b42ac7b7b3191a3f97afef72461993a1 [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
Bill Wendling933b3142010-11-01 21:16:39 +0000117@ FIXME: vmrs apsr_nzcv, fpscr @ encoding: [0x10,0xfa,0xf1,0xee]
118@ vmrs apsr_nzcv, fpscr
Owen Anderson0da10cf2011-08-29 19:36:44 +0000119
Bill Wendling933b3142010-11-01 21:16:39 +0000120@ CHECK: vnegne.f64 d16, d16 @ encoding: [0x60,0x0b,0xf1,0x1e]
Bill Wendling52925b62010-10-29 23:50:21 +0000121 vnegne.f64 d16, d16
122
Bill Wendling933b3142010-11-01 21:16:39 +0000123@ CHECK: vmovne s0, r0 @ encoding: [0x10,0x0a,0x00,0x1e]
124@ CHECK: vmoveq s0, r1 @ encoding: [0x10,0x1a,0x00,0x0e]
Bill Wendling52925b62010-10-29 23:50:21 +0000125 vmovne s0, r0
126 vmoveq s0, r1
127
Bill Wendling933b3142010-11-01 21:16:39 +0000128@ CHECK: vmrs r0, fpscr @ encoding: [0x10,0x0a,0xf1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000129 vmrs r0, fpscr
Bruno Cardoso Lopes61505902011-01-18 21:58:20 +0000130@ CHECK: vmrs r0, fpexc @ encoding: [0x10,0x0a,0xf8,0xee]
131 vmrs r0, fpexc
132@ CHECK: vmrs r0, fpsid @ encoding: [0x10,0x0a,0xf0,0xee]
133 vmrs r0, fpsid
Bill Wendling52925b62010-10-29 23:50:21 +0000134
Bill Wendling933b3142010-11-01 21:16:39 +0000135@ CHECK: vmsr fpscr, r0 @ encoding: [0x10,0x0a,0xe1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000136 vmsr fpscr, r0
Bruno Cardoso Lopes61505902011-01-18 21:58:20 +0000137@ CHECK: vmsr fpexc, r0 @ encoding: [0x10,0x0a,0xe8,0xee]
138 vmsr fpexc, r0
139@ CHECK: vmsr fpsid, r0 @ encoding: [0x10,0x0a,0xe0,0xee]
140 vmsr fpsid, r0
Bill Wendling52925b62010-10-29 23:50:21 +0000141
Bill Wendling933b3142010-11-01 21:16:39 +0000142@ FIXME: vmov.f64 d16, #3.000000e+00 @ encoding: [0x08,0x0b,0xf0,0xee]
143@ vmov.f64 d16, #3.000000e+00
Bill Wendling52925b62010-10-29 23:50:21 +0000144
Bill Wendling933b3142010-11-01 21:16:39 +0000145@ FIXME: vmov.f32 s0, #3.000000e+00 @ encoding: [0x08,0x0a,0xb0,0xee]
146@ vmov.f32 s0, #3.000000e+00
Bill Wendling52925b62010-10-29 23:50:21 +0000147
Bill Wendling933b3142010-11-01 21:16:39 +0000148@ CHECK: vmov s0, r0 @ encoding: [0x10,0x0a,0x00,0xee]
149@ CHECK: vmov s1, r1 @ encoding: [0x90,0x1a,0x00,0xee]
150@ CHECK: vmov s2, r2 @ encoding: [0x10,0x2a,0x01,0xee]
151@ CHECK: vmov s3, r3 @ encoding: [0x90,0x3a,0x01,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000152 vmov s0, r0
153 vmov s1, r1
154 vmov s2, r2
155 vmov s3, r3
156
Bill Wendling933b3142010-11-01 21:16:39 +0000157@ CHECK: vmov r0, s0 @ encoding: [0x10,0x0a,0x10,0xee]
158@ CHECK: vmov r1, s1 @ encoding: [0x90,0x1a,0x10,0xee]
159@ CHECK: vmov r2, s2 @ encoding: [0x10,0x2a,0x11,0xee]
160@ CHECK: vmov r3, s3 @ encoding: [0x90,0x3a,0x11,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000161 vmov r0, s0
162 vmov r1, s1
163 vmov r2, s2
164 vmov r3, s3
165
Bill Wendling933b3142010-11-01 21:16:39 +0000166@ CHECK: vmov r0, r1, d16 @ encoding: [0x30,0x0b,0x51,0xec]
Bill Wendling52925b62010-10-29 23:50:21 +0000167 vmov r0, r1, d16
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000168
169@ CHECK: vldr.64 d17, [r0] @ encoding: [0x00,0x1b,0xd0,0xed]
170 vldr.64 d17, [r0]
171
172@ CHECK: vldr.64 d1, [r2, #32] @ encoding: [0x08,0x1b,0x92,0xed]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000173@ CHECK: vldr.64 d1, [r2, #-32] @ encoding: [0x08,0x1b,0x12,0xed]
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000174 vldr.64 d1, [r2, #32]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000175 vldr.64 d1, [r2, #-32]
Owen Anderson0da10cf2011-08-29 19:36:44 +0000176
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000177@ CHECK: vldr.64 d2, [r3] @ encoding: [0x00,0x2b,0x93,0xed]
178 vldr.64 d2, [r3]
179
180@ CHECK: vldr.64 d3, [pc] @ encoding: [0x00,0x3b,0x9f,0xed]
181@ CHECK: vldr.64 d3, [pc] @ encoding: [0x00,0x3b,0x9f,0xed]
Owen Anderson0da10cf2011-08-29 19:36:44 +0000182@ CHECK: vldr.64 d3, [pc, #-0] @ encoding: [0x00,0x3b,0x1f,0xed]
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000183 vldr.64 d3, [pc]
184 vldr.64 d3, [pc,#0]
185 vldr.64 d3, [pc,#-0]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000186
187@ CHECK: vldr.32 s13, [r0] @ encoding: [0x00,0x6a,0xd0,0xed]
188 vldr.32 s13, [r0]
189
190@ CHECK: vldr.32 s1, [r2, #32] @ encoding: [0x08,0x0a,0xd2,0xed]
191@ CHECK: vldr.32 s1, [r2, #-32] @ encoding: [0x08,0x0a,0x52,0xed]
192 vldr.32 s1, [r2, #32]
193 vldr.32 s1, [r2, #-32]
Owen Anderson0da10cf2011-08-29 19:36:44 +0000194
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000195@ CHECK: vldr.32 s2, [r3] @ encoding: [0x00,0x1a,0x93,0xed]
196 vldr.32 s2, [r3]
197
198@ CHECK: vldr.32 s5, [pc] @ encoding: [0x00,0x2a,0xdf,0xed]
199@ CHECK: vldr.32 s5, [pc] @ encoding: [0x00,0x2a,0xdf,0xed]
Owen Anderson0da10cf2011-08-29 19:36:44 +0000200@ CHECK: vldr.32 s5, [pc, #-0] @ encoding: [0x00,0x2a,0x5f,0xed]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000201 vldr.32 s5, [pc]
202 vldr.32 s5, [pc,#0]
203 vldr.32 s5, [pc,#-0]
Bill Wendling2f46f1f2010-11-04 00:59:42 +0000204
205@ CHECK: vstr.64 d4, [r1] @ encoding: [0x00,0x4b,0x81,0xed]
206@ CHECK: vstr.64 d4, [r1, #24] @ encoding: [0x06,0x4b,0x81,0xed]
207@ CHECK: vstr.64 d4, [r1, #-24] @ encoding: [0x06,0x4b,0x01,0xed]
208 vstr.64 d4, [r1]
209 vstr.64 d4, [r1, #24]
210 vstr.64 d4, [r1, #-24]
211
212@ CHECK: vstr.32 s4, [r1] @ encoding: [0x00,0x2a,0x81,0xed]
213@ CHECK: vstr.32 s4, [r1, #24] @ encoding: [0x06,0x2a,0x81,0xed]
214@ CHECK: vstr.32 s4, [r1, #-24] @ encoding: [0x06,0x2a,0x01,0xed]
215 vstr.32 s4, [r1]
216 vstr.32 s4, [r1, #24]
217 vstr.32 s4, [r1, #-24]
Bill Wendling0f630752010-11-17 04:32:08 +0000218
219@ CHECK: vldmia r1, {d2, d3, d4, d5, d6, d7} @ encoding: [0x0c,0x2b,0x91,0xec]
220@ CHECK: vldmia r1, {s2, s3, s4, s5, s6, s7} @ encoding: [0x06,0x1a,0x91,0xec]
221 vldmia r1, {d2,d3-d6,d7}
222 vldmia r1, {s2,s3-s6,s7}
223
224@ CHECK: vstmia r1, {d2, d3, d4, d5, d6, d7} @ encoding: [0x0c,0x2b,0x81,0xec]
225@ CHECK: vstmia r1, {s2, s3, s4, s5, s6, s7} @ encoding: [0x06,0x1a,0x81,0xec]
226 vstmia r1, {d2,d3-d6,d7}
227 vstmia r1, {s2,s3-s6,s7}
Bruno Cardoso Lopes106df6d2011-01-26 13:53:38 +0000228
229@ CHECK: vcvtr.s32.f64 s0, d0 @ encoding: [0x40,0x0b,0xbd,0xee]
230@ CHECK: vcvtr.s32.f32 s0, s1 @ encoding: [0x60,0x0a,0xbd,0xee]
231@ CHECK: vcvtr.u32.f64 s0, d0 @ encoding: [0x40,0x0b,0xbc,0xee]
232@ CHECK: vcvtr.u32.f32 s0, s1 @ encoding: [0x60,0x0a,0xbc,0xee]
233 vcvtr.s32.f64 s0, d0
234 vcvtr.s32.f32 s0, s1
235 vcvtr.u32.f64 s0, d0
236 vcvtr.u32.f32 s0, s1
Owen Anderson694e0ff2011-08-29 23:15:25 +0000237
238@ CHECK: vmovne s25, s26, r2, r5
239 vmovne s25, s26, r2, r5 @ encoding: [0x39,0x2a,0x45,0x1c]