1@ RUN: llvm-mc < %s -triple armv7m -mattr=+vfp4 -filetype=obj | llvm-objdump -d - | FileCheck %s
2
3.eabi_attribute Tag_CPU_arch, 10 // v7
4.eabi_attribute Tag_CPU_arch_profile, 0x4D // 'M' profile
5.eabi_attribute Tag_FP_arch, 5 // VFP4
6
7.thumb
8vfp2:
9  vmla.f32 s0, s1, s2
10
11@CHECK-LABEL: vfp2
12@CHECK: 00 ee 81 0a vmla.f32 s0, s1, s2
13
14.thumb
15vfp4:
16  vmov.f32 s0, #0.5
17
18@CHECK-LABEL: vfp4
19@CHECK: b6 ee 00 0a vmov.f32 s0, #5.000000e-01
20
21.thumb
22div:
23  udiv r0, r1, r2
24
25@CHECK-LABEL: div
26@CHECK: b1 fb f2 f0 udiv r0, r1, r2
27