Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / 92b5a2eb1646b3c1173a5ff3c0073f24ed5ee6a4 / . / test / MC / ARM / simple-fp-encoding.s
blob: c3a8ceab33ae8d6e989bc937aef09707dc220ca3 [file] [log] [blame]
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]1@ RUN: llvm-mc -mcpu=cortex-a8 -triple armv7-apple-darwin -show-encoding < %s | FileCheck %s
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]2
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]3@ CHECK: vadd.f64 d16, d17, d16 @ encoding: [0xa0,0x0b,0x71,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]4 vadd.f64 d16, d17, d16
5
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]6@ CHECK: vadd.f32 s0, s1, s0 @ encoding: [0x80,0x0a,0x30,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]7 vadd.f32 s0, s1, s0
8
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]9@ CHECK: vsub.f64 d16, d17, d16 @ encoding: [0xe0,0x0b,0x71,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]10 vsub.f64 d16, d17, d16
11
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]12@ CHECK: vsub.f32 s0, s1, s0 @ encoding: [0xc0,0x0a,0x30,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]13 vsub.f32 s0, s1, s0
14
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]15@ CHECK: vdiv.f64 d16, d17, d16 @ encoding: [0xa0,0x0b,0xc1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]16 vdiv.f64 d16, d17, d16
17
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]18@ CHECK: vdiv.f32 s0, s1, s0 @ encoding: [0x80,0x0a,0x80,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]19 vdiv.f32 s0, s1, s0
20
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]21@ CHECK: vmul.f64 d16, d17, d16 @ encoding: [0xa0,0x0b,0x61,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]22 vmul.f64 d16, d17, d16
23
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]24@ CHECK: vmul.f32 s0, s1, s0 @ encoding: [0x80,0x0a,0x20,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]25 vmul.f32 s0, s1, s0
26
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]27@ CHECK: vnmul.f64 d16, d17, d16 @ encoding: [0xe0,0x0b,0x61,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]28 vnmul.f64 d16, d17, d16
29
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]30@ CHECK: vnmul.f32 s0, s1, s0 @ encoding: [0xc0,0x0a,0x20,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]31 vnmul.f32 s0, s1, s0
32
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]33@ CHECK: vcmpe.f64 d17, d16 @ encoding: [0xe0,0x1b,0xf4,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]34 vcmpe.f64 d17, d16
35
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]36@ CHECK: vcmpe.f32 s1, s0 @ encoding: [0xc0,0x0a,0xf4,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]37 vcmpe.f32 s1, s0
38
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]39@ FIXME: vcmpe.f64 d16, #0 @ encoding: [0xc0,0x0b,0xf5,0xee]
40@ vcmpe.f64 d16, #0
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]41
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]42@ FIXME: vcmpe.f32 s0, #0 @ encoding: [0xc0,0x0a,0xb5,0xee]
43@ vcmpe.f32 s0, #0
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]44
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]45@ CHECK: vabs.f64 d16, d16 @ encoding: [0xe0,0x0b,0xf0,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]46 vabs.f64 d16, d16
47
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]48@ CHECK: vabs.f32 s0, s0 @ encoding: [0xc0,0x0a,0xb0,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]49 vabs.f32 s0, s0
50
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]51@ CHECK: vcvt.f32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xb7,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]52 vcvt.f32.f64 s0, d16
53
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]54@ CHECK: vcvt.f64.f32 d16, s0 @ encoding: [0xc0,0x0a,0xf7,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]55 vcvt.f64.f32 d16, s0
56
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]57@ CHECK: vneg.f64 d16, d16 @ encoding: [0x60,0x0b,0xf1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]58 vneg.f64 d16, d16
59
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]60@ CHECK: vneg.f32 s0, s0 @ encoding: [0x40,0x0a,0xb1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]61 vneg.f32 s0, s0
62
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]63@ CHECK: vsqrt.f64 d16, d16 @ encoding: [0xe0,0x0b,0xf1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]64 vsqrt.f64 d16, d16
65
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]66@ CHECK: vsqrt.f32 s0, s0 @ encoding: [0xc0,0x0a,0xb1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]67 vsqrt.f32 s0, s0
68
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]69@ CHECK: vcvt.f64.s32 d16, s0 @ encoding: [0xc0,0x0b,0xf8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]70 vcvt.f64.s32 d16, s0
71
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]72@ CHECK: vcvt.f32.s32 s0, s0 @ encoding: [0xc0,0x0a,0xb8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]73 vcvt.f32.s32 s0, s0
74
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]75@ CHECK: vcvt.f64.u32 d16, s0 @ encoding: [0x40,0x0b,0xf8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]76 vcvt.f64.u32 d16, s0
77
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]78@ CHECK: vcvt.f32.u32 s0, s0 @ encoding: [0x40,0x0a,0xb8,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]79 vcvt.f32.u32 s0, s0
80
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]81@ CHECK: vcvt.s32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xbd,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]82 vcvt.s32.f64 s0, d16
83
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]84@ CHECK: vcvt.s32.f32 s0, s0 @ encoding: [0xc0,0x0a,0xbd,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]85 vcvt.s32.f32 s0, s0
86
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]87@ CHECK: vcvt.u32.f64 s0, d16 @ encoding: [0xe0,0x0b,0xbc,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]88 vcvt.u32.f64 s0, d16
89
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]90@ CHECK: vcvt.u32.f32 s0, s0 @ encoding: [0xc0,0x0a,0xbc,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]91 vcvt.u32.f32 s0, s0
92
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]93@ CHECK: vmla.f64 d16, d18, d17 @ encoding: [0xa1,0x0b,0x42,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]94 vmla.f64 d16, d18, d17
95
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]96@ CHECK: vmla.f32 s1, s2, s0 @ encoding: [0x00,0x0a,0x41,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]97 vmla.f32 s1, s2, s0
98
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]99@ CHECK: vmls.f64 d16, d18, d17 @ encoding: [0xe1,0x0b,0x42,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]100 vmls.f64 d16, d18, d17
101
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]102@ CHECK: vmls.f32 s1, s2, s0 @ encoding: [0x40,0x0a,0x41,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]103 vmls.f32 s1, s2, s0
104
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]105@ CHECK: vnmla.f64 d16, d18, d17 @ encoding: [0xe1,0x0b,0x52,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]106 vnmla.f64 d16, d18, d17
107
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]108@ CHECK: vnmla.f32 s1, s2, s0 @ encoding: [0x40,0x0a,0x51,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]109 vnmla.f32 s1, s2, s0
110
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]111@ CHECK: vnmls.f64 d16, d18, d17 @ encoding: [0xa1,0x0b,0x52,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]112 vnmls.f64 d16, d18, d17
113
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]114@ CHECK: vnmls.f32 s1, s2, s0 @ encoding: [0x00,0x0a,0x51,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]115 vnmls.f32 s1, s2, s0
116
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]117@ FIXME: vmrs apsr_nzcv, fpscr @ encoding: [0x10,0xfa,0xf1,0xee]
118@ vmrs apsr_nzcv, fpscr
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]119
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]120@ CHECK: vnegne.f64 d16, d16 @ encoding: [0x60,0x0b,0xf1,0x1e]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]121 vnegne.f64 d16, d16
122
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]123@ 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 +0000[diff] [blame]125 vmovne s0, r0
126 vmoveq s0, r1
127
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]128@ CHECK: vmrs r0, fpscr @ encoding: [0x10,0x0a,0xf1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]129 vmrs r0, fpscr
130
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]131@ CHECK: vmsr fpscr, r0 @ encoding: [0x10,0x0a,0xe1,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]132 vmsr fpscr, r0
133
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]134@ FIXME: vmov.f64 d16, #3.000000e+00 @ encoding: [0x08,0x0b,0xf0,0xee]
135@ vmov.f64 d16, #3.000000e+00
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]136
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]137@ FIXME: vmov.f32 s0, #3.000000e+00 @ encoding: [0x08,0x0a,0xb0,0xee]
138@ vmov.f32 s0, #3.000000e+00
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]139
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]140@ CHECK: vmov s0, r0 @ encoding: [0x10,0x0a,0x00,0xee]
141@ CHECK: vmov s1, r1 @ encoding: [0x90,0x1a,0x00,0xee]
142@ CHECK: vmov s2, r2 @ encoding: [0x10,0x2a,0x01,0xee]
143@ CHECK: vmov s3, r3 @ encoding: [0x90,0x3a,0x01,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]144 vmov s0, r0
145 vmov s1, r1
146 vmov s2, r2
147 vmov s3, r3
148
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]149@ CHECK: vmov r0, s0 @ encoding: [0x10,0x0a,0x10,0xee]
150@ CHECK: vmov r1, s1 @ encoding: [0x90,0x1a,0x10,0xee]
151@ CHECK: vmov r2, s2 @ encoding: [0x10,0x2a,0x11,0xee]
152@ CHECK: vmov r3, s3 @ encoding: [0x90,0x3a,0x11,0xee]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]153 vmov r0, s0
154 vmov r1, s1
155 vmov r2, s2
156 vmov r3, s3
157
Bill Wendling933b3142010-11-01 21:16:39 +0000[diff] [blame]158@ CHECK: vmov r0, r1, d16 @ encoding: [0x30,0x0b,0x51,0xec]
Bill Wendling52925b62010-10-29 23:50:21 +0000[diff] [blame]159 vmov r0, r1, d16
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000[diff] [blame]160
161@ CHECK: vldr.64 d17, [r0] @ encoding: [0x00,0x1b,0xd0,0xed]
162 vldr.64 d17, [r0]
163
164@ CHECK: vldr.64 d1, [r2, #32] @ encoding: [0x08,0x1b,0x92,0xed]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000[diff] [blame^]165@ CHECK: vldr.64 d1, [r2, #-32] @ encoding: [0x08,0x1b,0x12,0xed]
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000[diff] [blame]166 vldr.64 d1, [r2, #32]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000[diff] [blame^]167 vldr.64 d1, [r2, #-32]
Bill Wendling5df0e0a2010-11-02 22:31:46 +0000[diff] [blame]168
169@ CHECK: vldr.64 d2, [r3] @ encoding: [0x00,0x2b,0x93,0xed]
170 vldr.64 d2, [r3]
171
172@ CHECK: vldr.64 d3, [pc] @ encoding: [0x00,0x3b,0x9f,0xed]
173@ CHECK: vldr.64 d3, [pc] @ encoding: [0x00,0x3b,0x9f,0xed]
174@ CHECK: vldr.64 d3, [pc] @ encoding: [0x00,0x3b,0x9f,0xed]
175 vldr.64 d3, [pc]
176 vldr.64 d3, [pc,#0]
177 vldr.64 d3, [pc,#-0]
Bill Wendling92b5a2e2010-11-03 01:49:29 +0000[diff] [blame^]178
179@ CHECK: vldr.32 s13, [r0] @ encoding: [0x00,0x6a,0xd0,0xed]
180 vldr.32 s13, [r0]
181
182@ CHECK: vldr.32 s1, [r2, #32] @ encoding: [0x08,0x0a,0xd2,0xed]
183@ CHECK: vldr.32 s1, [r2, #-32] @ encoding: [0x08,0x0a,0x52,0xed]
184 vldr.32 s1, [r2, #32]
185 vldr.32 s1, [r2, #-32]
186
187@ CHECK: vldr.32 s2, [r3] @ encoding: [0x00,0x1a,0x93,0xed]
188 vldr.32 s2, [r3]
189
190@ CHECK: vldr.32 s5, [pc] @ encoding: [0x00,0x2a,0xdf,0xed]
191@ CHECK: vldr.32 s5, [pc] @ encoding: [0x00,0x2a,0xdf,0xed]
192@ CHECK: vldr.32 s5, [pc] @ encoding: [0x00,0x2a,0xdf,0xed]
193 vldr.32 s5, [pc]
194 vldr.32 s5, [pc,#0]
195 vldr.32 s5, [pc,#-0]