1 # name: VFPv3 vldr to vmov 2 # as: -mfpu=vfp3 3 # objdump: -dr --prefix-addresses --show-raw-insn 4 5 .*: +file format .*arm.* 6 7 Disassembly of section \.text: 8 9 0[0-9a-fx]+ .*ed9f0b00 vldr d0, \[pc\].* 10 0[0-9a-fx]+ .*ed9f0a01 vldr s0, \[pc, #4\].* 11 0[0-9a-fx]+ .*(00000000|3fbe0000) .* 12 0[0-9a-fx]+ .*(3fbe0000|00000000) .* 13 0[0-9a-fx]+ .*3df00000 .* 14 .* 15 16 0[0-9a-fx]+ .*eebc0b00 (vmov\.f64|fconstd) d0, #192.* 17 0[0-9a-fx]+ .*eebc0a00 (vmov\.f32|fconsts) s0, #192.* 18 0[0-9a-fx]+ .*eeb40b00 (vmov\.f64|fconstd) d0, #64.* 19 0[0-9a-fx]+ .*eeb40a00 (vmov\.f32|fconsts) s0, #64.* 20 0[0-9a-fx]+ .*ed9f0b00 vldr d0, \[pc\].* 21 0[0-9a-fx]+ .*ed9f0a01 vldr s0, \[pc, #4\].* 22 0[0-9a-fx]+ .*(00000000|3fe08000) .* 23 0[0-9a-fx]+ .*(3fe08000|00000000) .* 24 0[0-9a-fx]+ .*3f040000 .* 25 .* 26 0[0-9a-fx]+ .*eeb60b0f (vmov\.f64|fconstd) d0, #111.* 27 0[0-9a-fx]+ .*eeb60a0f (vmov\.f32|fconsts) s0, #111.* 28 0[0-9a-fx]+ .*eeb30b0f (vmov\.f64|fconstd) d0, #63.* 29 0[0-9a-fx]+ .*eeb30a0f (vmov\.f32|fconsts) s0, #63.* 30 0[0-9a-fx]+ .*ed9f0b00 vldr d0, \[pc\].* 31 0[0-9a-fx]+ .*ed9f0a01 vldr s0, \[pc, #4\].* 32 0[0-9a-fx]+ .*(00000000|40400000) .* 33 0[0-9a-fx]+ .*(40400000|00000000) .* 34 0[0-9a-fx]+ .*42000000 .* 35 0[0-9a-fx]+ .*ed1fbb01 vldr d11, \[pc, #-4\].* 36 #pass 37