| #name: Zeda32 floating point numbers | |
| #as: -fp-s=zeda32 | |
| #objdump: -s -j .data | |
| .*:[ ]+file format (coff)|(elf32)\-z80 | |
| Contents of section \.data: | |
| 0000 db0f4981 54f82d81 3baa3880 1872317f[ ]+.* | |
| 0010 9b201a7e 789a5481 00000000 00000080[ ]+.* | |
| 0020 00004000 0000c000 00002000 d95b5e7e[ ]+.* | |
| 0030 db0f4982 83f9227d 0000007e 0000007f[ ]+.* | |
| 0040 00000001 00008001 ffff7fff ffffffff[ ]+.* | |
| #pass |