1 # objdump: -dr 2 .*: file format elf64-mmix 3 4 Disassembly of section \.text: 5 6 0000000000000000 <Main>: 7 0: 10170c43 fmul \$23,\$12,\$67 8 4: 01200c43 fcmp \$32,\$12,\$67 9 8: 040c2043 fadd \$12,\$32,\$67 10 c: 02e88543 fun \$232,\$133,\$67 11 10: 03170c49 feql \$23,\$12,\$73 12 14: 161f0ce9 frem \$31,\$12,\$233 13 18: 061726d4 fsub \$23,\$38,\$212 14 1c: 1304afb5 feqle \$4,\$175,\$181 15
