blob: fc0c7c992e5385ae700bcbd8123c9690d14f1147 [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
Jim Grosbachbfb0a172011-11-15 20:14:51 +000024@ CHECK: vmul.f64 d20, d20, d17 @ encoding: [0xa1,0x4b,0x64,0xee]
25 vmul.f64 d20, d17
26
Bill Wendling933b3142010-11-01 21:16:39 +000027@ CHECK: vmul.f32 s0, s1, s0 @ encoding: [0x80,0x0a,0x20,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000028 vmul.f32 s0, s1, s0
29
Jim Grosbachbfb0a172011-11-15 20:14:51 +000030@ CHECK: vmul.f32 s11, s11, s21 @ encoding: [0xaa,0x5a,0x65,0xee]
31 vmul.f32 s11, s21
32
Bill Wendling933b3142010-11-01 21:16:39 +000033@ CHECK: vnmul.f64 d16, d17, d16 @ encoding: [0xe0,0x0b,0x61,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000034 vnmul.f64 d16, d17, d16
35
Bill Wendling933b3142010-11-01 21:16:39 +000036@ CHECK: vnmul.f32 s0, s1, s0 @ encoding: [0xc0,0x0a,0x20,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000037 vnmul.f32 s0, s1, s0
38
Bill Wendling933b3142010-11-01 21:16:39 +000039@ CHECK: vcmpe.f64 d17, d16 @ encoding: [0xe0,0x1b,0xf4,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000040 vcmpe.f64 d17, d16
41
Bill Wendling933b3142010-11-01 21:16:39 +000042@ CHECK: vcmpe.f32 s1, s0 @ encoding: [0xc0,0x0a,0xf4,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000043 vcmpe.f32 s1, s0
44
Jim Grosbach68259142011-10-03 22:30:24 +000045@ CHECK: vcmpe.f64 d16, #0 @ encoding: [0xc0,0x0b,0xf5,0xee]
46 vcmpe.f64 d16, #0
Bill Wendling52925b62010-10-29 23:50:21 +000047
Jim Grosbach68259142011-10-03 22:30:24 +000048@ CHECK: vcmpe.f32 s0, #0 @ encoding: [0xc0,0x0a,0xb5,0xee]
49 vcmpe.f32 s0, #0
Bill Wendling52925b62010-10-29 23:50:21 +000050
Bill Wendling933b3142010-11-01 21:16:39 +000051@ CHECK: vabs.f64 d16, d16 @ encoding: [0xe0,0x0b,0xf0,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000052 vabs.f64 d16, d16
53
Bill Wendling933b3142010-11-01 21:16:39 +000054@ CHECK: vabs.f32 s0, s0 @ encoding: [0xc0,0x0a,0xb0,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000055 vabs.f32 s0, s0
Owen Anderson0da10cf2011-08-29 19:36:44 +000056
Bill Wendling933b3142010-11-01 21:16:39 +000057@ CHECK: vcvt.f32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xb7,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000058 vcvt.f32.f64 s0, d16
59
Bill Wendling933b3142010-11-01 21:16:39 +000060@ CHECK: vcvt.f64.f32 d16, s0 @ encoding: [0xc0,0x0a,0xf7,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000061 vcvt.f64.f32 d16, s0
62
Bill Wendling933b3142010-11-01 21:16:39 +000063@ CHECK: vneg.f64 d16, d16 @ encoding: [0x60,0x0b,0xf1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000064 vneg.f64 d16, d16
65
Bill Wendling933b3142010-11-01 21:16:39 +000066@ CHECK: vneg.f32 s0, s0 @ encoding: [0x40,0x0a,0xb1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000067 vneg.f32 s0, s0
68
Bill Wendling933b3142010-11-01 21:16:39 +000069@ CHECK: vsqrt.f64 d16, d16 @ encoding: [0xe0,0x0b,0xf1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000070 vsqrt.f64 d16, d16
71
Bill Wendling933b3142010-11-01 21:16:39 +000072@ CHECK: vsqrt.f32 s0, s0 @ encoding: [0xc0,0x0a,0xb1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000073 vsqrt.f32 s0, s0
74
Bill Wendling933b3142010-11-01 21:16:39 +000075@ CHECK: vcvt.f64.s32 d16, s0 @ encoding: [0xc0,0x0b,0xf8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000076 vcvt.f64.s32 d16, s0
77
Bill Wendling933b3142010-11-01 21:16:39 +000078@ CHECK: vcvt.f32.s32 s0, s0 @ encoding: [0xc0,0x0a,0xb8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000079 vcvt.f32.s32 s0, s0
80
Bill Wendling933b3142010-11-01 21:16:39 +000081@ CHECK: vcvt.f64.u32 d16, s0 @ encoding: [0x40,0x0b,0xf8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000082 vcvt.f64.u32 d16, s0
83
Bill Wendling933b3142010-11-01 21:16:39 +000084@ CHECK: vcvt.f32.u32 s0, s0 @ encoding: [0x40,0x0a,0xb8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000085 vcvt.f32.u32 s0, s0
86
Bill Wendling933b3142010-11-01 21:16:39 +000087@ CHECK: vcvt.s32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xbd,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000088 vcvt.s32.f64 s0, d16
89
Bill Wendling933b3142010-11-01 21:16:39 +000090@ CHECK: vcvt.s32.f32 s0, s0 @ encoding: [0xc0,0x0a,0xbd,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000091 vcvt.s32.f32 s0, s0
92
Bill Wendling933b3142010-11-01 21:16:39 +000093@ CHECK: vcvt.u32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xbc,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000094 vcvt.u32.f64 s0, d16
95
Bill Wendling933b3142010-11-01 21:16:39 +000096@ CHECK: vcvt.u32.f32 s0, s0 @ encoding: [0xc0,0x0a,0xbc,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +000097 vcvt.u32.f32 s0, s0
98
Bill Wendling933b3142010-11-01 21:16:39 +000099@ CHECK: vmla.f64 d16, d18, d17 @ encoding: [0xa1,0x0b,0x42,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000100 vmla.f64 d16, d18, d17
101
Bill Wendling933b3142010-11-01 21:16:39 +0000102@ CHECK: vmla.f32 s1, s2, s0 @ encoding: [0x00,0x0a,0x41,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000103 vmla.f32 s1, s2, s0
104
Bill Wendling933b3142010-11-01 21:16:39 +0000105@ CHECK: vmls.f64 d16, d18, d17 @ encoding: [0xe1,0x0b,0x42,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000106 vmls.f64 d16, d18, d17
107
Bill Wendling933b3142010-11-01 21:16:39 +0000108@ CHECK: vmls.f32 s1, s2, s0 @ encoding: [0x40,0x0a,0x41,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000109 vmls.f32 s1, s2, s0
110
Bill Wendling933b3142010-11-01 21:16:39 +0000111@ CHECK: vnmla.f64 d16, d18, d17 @ encoding: [0xe1,0x0b,0x52,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000112 vnmla.f64 d16, d18, d17
113
Bill Wendling933b3142010-11-01 21:16:39 +0000114@ CHECK: vnmla.f32 s1, s2, s0 @ encoding: [0x40,0x0a,0x51,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000115 vnmla.f32 s1, s2, s0
116
Bill Wendling933b3142010-11-01 21:16:39 +0000117@ CHECK: vnmls.f64 d16, d18, d17 @ encoding: [0xa1,0x0b,0x52,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000118 vnmls.f64 d16, d18, d17
119
Bill Wendling933b3142010-11-01 21:16:39 +0000120@ CHECK: vnmls.f32 s1, s2, s0 @ encoding: [0x00,0x0a,0x51,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000121 vnmls.f32 s1, s2, s0
122
Jim Grosbach5cd5ac62011-10-03 21:12:43 +0000123@ CHECK: vmrs apsr_nzcv, fpscr @ encoding: [0x10,0xfa,0xf1,0xee]
124@ CHECK: vmrs apsr_nzcv, fpscr @ encoding: [0x10,0xfa,0xf1,0xee]
125 vmrs apsr_nzcv, fpscr
126 fmstat
Owen Anderson0da10cf2011-08-29 19:36:44 +0000127
Bill Wendling933b3142010-11-01 21:16:39 +0000128@ CHECK: vnegne.f64 d16, d16 @ encoding: [0x60,0x0b,0xf1,0x1e]
Bill Wendling52925b62010-10-29 23:50:21 +0000129 vnegne.f64 d16, d16
130
Bill Wendling933b3142010-11-01 21:16:39 +0000131@ CHECK: vmovne s0, r0 @ encoding: [0x10,0x0a,0x00,0x1e]
132@ CHECK: vmoveq s0, r1 @ encoding: [0x10,0x1a,0x00,0x0e]
Bill Wendling52925b62010-10-29 23:50:21 +0000133 vmovne s0, r0
134 vmoveq s0, r1
135
Bill Wendling933b3142010-11-01 21:16:39 +0000136@ CHECK: vmrs r0, fpscr @ encoding: [0x10,0x0a,0xf1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000137 vmrs r0, fpscr
Bruno Cardoso Lopes61505902011-01-18 21:58:20 +0000138@ CHECK: vmrs r0, fpexc @ encoding: [0x10,0x0a,0xf8,0xee]
139 vmrs r0, fpexc
140@ CHECK: vmrs r0, fpsid @ encoding: [0x10,0x0a,0xf0,0xee]
141 vmrs r0, fpsid
Bill Wendling52925b62010-10-29 23:50:21 +0000142
Bill Wendling933b3142010-11-01 21:16:39 +0000143@ CHECK: vmsr fpscr, r0 @ encoding: [0x10,0x0a,0xe1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000144 vmsr fpscr, r0
Bruno Cardoso Lopes61505902011-01-18 21:58:20 +0000145@ CHECK: vmsr fpexc, r0 @ encoding: [0x10,0x0a,0xe8,0xee]
146 vmsr fpexc, r0
147@ CHECK: vmsr fpsid, r0 @ encoding: [0x10,0x0a,0xe0,0xee]
148 vmsr fpsid, r0
Bill Wendling52925b62010-10-29 23:50:21 +0000149
Jim Grosbach9d390362011-10-03 23:38:36 +0000150 vmov.f64 d16, #3.000000e+00
151 vmov.f32 s0, #3.000000e+00
152 vmov.f64 d16, #-3.000000e+00
153 vmov.f32 s0, #-3.000000e+00
Bill Wendling52925b62010-10-29 23:50:21 +0000154
Jim Grosbach9d390362011-10-03 23:38:36 +0000155@ CHECK: vmov.f64 d16, #3.000000e+00 @ encoding: [0x08,0x0b,0xf0,0xee]
156@ CHECK: vmov.f32 s0, #3.000000e+00 @ encoding: [0x08,0x0a,0xb0,0xee]
157@ CHECK: vmov.f64 d16, #-3.000000e+00 @ encoding: [0x08,0x0b,0xf8,0xee]
158@ CHECK: vmov.f32 s0, #-3.000000e+00 @ encoding: [0x08,0x0a,0xb8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000159
Bill Wendling933b3142010-11-01 21:16:39 +0000160@ CHECK: vmov s0, r0 @ encoding: [0x10,0x0a,0x00,0xee]
161@ CHECK: vmov s1, r1 @ encoding: [0x90,0x1a,0x00,0xee]
162@ CHECK: vmov s2, r2 @ encoding: [0x10,0x2a,0x01,0xee]
163@ CHECK: vmov s3, r3 @ encoding: [0x90,0x3a,0x01,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000164 vmov s0, r0
165 vmov s1, r1
166 vmov s2, r2
167 vmov s3, r3
168
Bill Wendling933b3142010-11-01 21:16:39 +0000169@ CHECK: vmov r0, s0 @ encoding: [0x10,0x0a,0x10,0xee]
170@ CHECK: vmov r1, s1 @ encoding: [0x90,0x1a,0x10,0xee]
171@ CHECK: vmov r2, s2 @ encoding: [0x10,0x2a,0x11,0xee]
172@ CHECK: vmov r3, s3 @ encoding: [0x90,0x3a,0x11,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000173 vmov r0, s0
174 vmov r1, s1
175 vmov r2, s2
176 vmov r3, s3
177
Bill Wendling933b3142010-11-01 21:16:39 +0000178@ CHECK: vmov r0, r1, d16 @ encoding: [0x30,0x0b,0x51,0xec]
Bill Wendling52925b62010-10-29 23:50:21 +0000179 vmov r0, r1, d16
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000180
Jim Grosbachffc658b2011-11-14 23:03:21 +0000181@ CHECK: vldr d17, [r0] @ encoding: [0x00,0x1b,0xd0,0xed]
182@ CHECK: vldr s0, [lr] @ encoding: [0x00,0x0a,0x9e,0xed]
183@ CHECK: vldr d0, [lr] @ encoding: [0x00,0x0b,0x9e,0xed]
Jim Grosbachc7352f82011-11-11 23:34:43 +0000184
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000185 vldr.64 d17, [r0]
Jim Grosbachffc658b2011-11-14 23:03:21 +0000186 vldr.i32 s0, [lr]
187 vldr.d d0, [lr]
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000188
Jim Grosbachffc658b2011-11-14 23:03:21 +0000189@ CHECK: vldr d1, [r2, #32] @ encoding: [0x08,0x1b,0x92,0xed]
190@ CHECK: vldr d1, [r2, #-32] @ encoding: [0x08,0x1b,0x12,0xed]
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000191 vldr.64 d1, [r2, #32]
Jim Grosbachffc658b2011-11-14 23:03:21 +0000192 vldr.f64 d1, [r2, #-32]
Owen Anderson0da10cf2011-08-29 19:36:44 +0000193
Jim Grosbachffc658b2011-11-14 23:03:21 +0000194@ CHECK: vldr d2, [r3] @ encoding: [0x00,0x2b,0x93,0xed]
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000195 vldr.64 d2, [r3]
196
Jim Grosbachffc658b2011-11-14 23:03:21 +0000197@ CHECK: vldr d3, [pc] @ encoding: [0x00,0x3b,0x9f,0xed]
198@ CHECK: vldr d3, [pc] @ encoding: [0x00,0x3b,0x9f,0xed]
199@ CHECK: vldr d3, [pc, #-0] @ encoding: [0x00,0x3b,0x1f,0xed]
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000200 vldr.64 d3, [pc]
201 vldr.64 d3, [pc,#0]
202 vldr.64 d3, [pc,#-0]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000203
Jim Grosbachffc658b2011-11-14 23:03:21 +0000204@ CHECK: vldr s13, [r0] @ encoding: [0x00,0x6a,0xd0,0xed]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000205 vldr.32 s13, [r0]
206
Jim Grosbachffc658b2011-11-14 23:03:21 +0000207@ CHECK: vldr s1, [r2, #32] @ encoding: [0x08,0x0a,0xd2,0xed]
208@ CHECK: vldr s1, [r2, #-32] @ encoding: [0x08,0x0a,0x52,0xed]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000209 vldr.32 s1, [r2, #32]
210 vldr.32 s1, [r2, #-32]
Owen Anderson0da10cf2011-08-29 19:36:44 +0000211
Jim Grosbachffc658b2011-11-14 23:03:21 +0000212@ CHECK: vldr s2, [r3] @ encoding: [0x00,0x1a,0x93,0xed]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000213 vldr.32 s2, [r3]
214
Jim Grosbachffc658b2011-11-14 23:03:21 +0000215@ CHECK: vldr s5, [pc] @ encoding: [0x00,0x2a,0xdf,0xed]
216@ CHECK: vldr s5, [pc] @ encoding: [0x00,0x2a,0xdf,0xed]
217@ CHECK: vldr s5, [pc, #-0] @ encoding: [0x00,0x2a,0x5f,0xed]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000218 vldr.32 s5, [pc]
219 vldr.32 s5, [pc,#0]
220 vldr.32 s5, [pc,#-0]
Bill Wendling2f46f1f2010-11-04 00:59:42 +0000221
Jim Grosbachffc658b2011-11-14 23:03:21 +0000222@ CHECK: vstr d4, [r1] @ encoding: [0x00,0x4b,0x81,0xed]
223@ CHECK: vstr d4, [r1, #24] @ encoding: [0x06,0x4b,0x81,0xed]
224@ CHECK: vstr d4, [r1, #-24] @ encoding: [0x06,0x4b,0x01,0xed]
225@ CHECK: vstr s0, [lr] @ encoding: [0x00,0x0a,0x8e,0xed]
226@ CHECK: vstr d0, [lr] @ encoding: [0x00,0x0b,0x8e,0xed]
Jim Grosbachc7352f82011-11-11 23:34:43 +0000227
Bill Wendling2f46f1f2010-11-04 00:59:42 +0000228 vstr.64 d4, [r1]
229 vstr.64 d4, [r1, #24]
230 vstr.64 d4, [r1, #-24]
Jim Grosbachc7352f82011-11-11 23:34:43 +0000231 vstr s0, [lr]
232 vstr d0, [lr]
Bill Wendling2f46f1f2010-11-04 00:59:42 +0000233
Jim Grosbachffc658b2011-11-14 23:03:21 +0000234@ CHECK: vstr s4, [r1] @ encoding: [0x00,0x2a,0x81,0xed]
235@ CHECK: vstr s4, [r1, #24] @ encoding: [0x06,0x2a,0x81,0xed]
236@ CHECK: vstr s4, [r1, #-24] @ encoding: [0x06,0x2a,0x01,0xed]
Bill Wendling2f46f1f2010-11-04 00:59:42 +0000237 vstr.32 s4, [r1]
238 vstr.32 s4, [r1, #24]
239 vstr.32 s4, [r1, #-24]
Bill Wendling0f630752010-11-17 04:32:08 +0000240
241@ CHECK: vldmia r1, {d2, d3, d4, d5, d6, d7} @ encoding: [0x0c,0x2b,0x91,0xec]
242@ CHECK: vldmia r1, {s2, s3, s4, s5, s6, s7} @ encoding: [0x06,0x1a,0x91,0xec]
243 vldmia r1, {d2,d3-d6,d7}
244 vldmia r1, {s2,s3-s6,s7}
245
246@ CHECK: vstmia r1, {d2, d3, d4, d5, d6, d7} @ encoding: [0x0c,0x2b,0x81,0xec]
247@ CHECK: vstmia r1, {s2, s3, s4, s5, s6, s7} @ encoding: [0x06,0x1a,0x81,0xec]
Jim Grosbachce485e72011-11-11 21:27:40 +0000248@ CHECK: vpush {d8, d9, d10, d11, d12, d13, d14, d15} @ encoding: [0x10,0x8b,0x2d,0xed]
Bill Wendling0f630752010-11-17 04:32:08 +0000249 vstmia r1, {d2,d3-d6,d7}
250 vstmia r1, {s2,s3-s6,s7}
Jim Grosbachce485e72011-11-11 21:27:40 +0000251 vstmdb sp!, {q4-q7}
Bruno Cardoso Lopes106df6d2011-01-26 13:53:38 +0000252
253@ CHECK: vcvtr.s32.f64 s0, d0 @ encoding: [0x40,0x0b,0xbd,0xee]
254@ CHECK: vcvtr.s32.f32 s0, s1 @ encoding: [0x60,0x0a,0xbd,0xee]
255@ CHECK: vcvtr.u32.f64 s0, d0 @ encoding: [0x40,0x0b,0xbc,0xee]
256@ CHECK: vcvtr.u32.f32 s0, s1 @ encoding: [0x60,0x0a,0xbc,0xee]
257 vcvtr.s32.f64 s0, d0
258 vcvtr.s32.f32 s0, s1
259 vcvtr.u32.f64 s0, d0
260 vcvtr.u32.f32 s0, s1
Owen Anderson694e0ff2011-08-29 23:15:25 +0000261
262@ CHECK: vmovne s25, s26, r2, r5
263 vmovne s25, s26, r2, r5 @ encoding: [0x39,0x2a,0x45,0x1c]