# name: VFPv3xd vldr to vmov
# as: -mfpu=vfpv3xd
# objdump: -dr --prefix-addresses --show-raw-insn

.*: +file format .*arm.*

Disassembly of section \.text:

0[0-9a-fx]+ .*ed9f0b00 	vldr	d0, \[pc\].*
0[0-9a-fx]+ .*ed9f0a01 	vldr	s0, \[pc, #4\].*
0[0-9a-fx]+ .*(00000000|3fbe0000) 	.*
0[0-9a-fx]+ .*(3fbe0000|00000000) 	.*
0[0-9a-fx]+ .*3df00000 	.*
.*
0[0-9a-fx]+ .*ed9f0b00 	vldr	d0, \[pc\].*
0[0-9a-fx]+ .*eebc0a00 	(vmov\.f32|fconsts)	s0, #192.*
0[0-9a-fx]+ .*(00000000|bfc00000) 	.*
0[0-9a-fx]+ .*(bfc00000|00000000) 	.*
0[0-9a-fx]+ .*ed9f0b00 	vldr	d0, \[pc\].*
0[0-9a-fx]+ .*eeb40a00 	(vmov\.f32|fconsts)	s0, #64.*
0[0-9a-fx]+ .*(00000000|3fc00000) 	.*
0[0-9a-fx]+ .*(3fc00000|00000000) 	.*
0[0-9a-fx]+ .*ed9f0b00 	vldr	d0, \[pc\].*
0[0-9a-fx]+ .*ed9f0a01 	vldr	s0, \[pc, #4\].*
0[0-9a-fx]+ .*(00000000|3fe08000) 	.*
0[0-9a-fx]+ .*(3fe08000|00000000) 	.*
0[0-9a-fx]+ .*3f040000 	.*
.*
0[0-9a-fx]+ .*ed9f0b00 	vldr	d0, \[pc\].*
0[0-9a-fx]+ .*eeb60a0f 	(vmov\.f32|fconsts)	s0, #111.*
0[0-9a-fx]+ .*(00000000|3fef0000) 	.*
0[0-9a-fx]+ .*(3fef0000|00000000) 	.*
0[0-9a-fx]+ .*ed9f0b00 	vldr	d0, \[pc\].*
0[0-9a-fx]+ .*eeb30a0f 	(vmov\.f32|fconsts)	s0, #63.*
0[0-9a-fx]+ .*(00000000|403f0000) 	.*
0[0-9a-fx]+ .*(403f0000|00000000) 	.*
0[0-9a-fx]+ .*ed9f0b00 	vldr	d0, \[pc\].*
0[0-9a-fx]+ .*ed9f0a01 	vldr	s0, \[pc, #4\].*
0[0-9a-fx]+ .*(00000000|40400000) 	.*
0[0-9a-fx]+ .*(40400000|00000000) 	.*
0[0-9a-fx]+ .*42000000 	.*
#pass