1 # objdump: -dr 2 # as: -linkrelax 3 # source: pushgo-op.s 4 .*: file format elf64-mmix 5 6 Disassembly of section \.text: 7 8 0000000000000000 <Main>: 9 0: be170c43 pushgo \$23,\$12,\$67 10 4: becb0c43 pushgo \$203,\$12,\$67 11 8: be200c43 pushgo \$32,\$12,\$67 12 c: be200c43 pushgo \$32,\$12,\$67 13 10: be172043 pushgo \$23,\$32,\$67 14 14: becb2043 pushgo \$203,\$32,\$67 15 18: bee88543 pushgo \$232,\$133,\$67 16 1c: bee88543 pushgo \$232,\$133,\$67 17 20: be170c49 pushgo \$23,\$12,\$73 18 24: becb0c49 pushgo \$203,\$12,\$73 19 28: be1f0ce9 pushgo \$31,\$12,\$233 20 2c: be1f0ce9 pushgo \$31,\$12,\$233 21 30: be1726d4 pushgo \$23,\$38,\$212 22 34: becb26d4 pushgo \$203,\$38,\$212 23 38: be04afb5 pushgo \$4,\$175,\$181 24 3c: be04afb5 pushgo \$4,\$175,\$181 25 40: bf170cb0 pushgo \$23,\$12,176 26 44: bfcb0cb0 pushgo \$203,\$12,176 27 48: bf200cb0 pushgo \$32,\$12,176 28 4c: bf200cb0 pushgo \$32,\$12,176 29 50: bf1720b0 pushgo \$23,\$32,176 30 54: bfcb20b0 pushgo \$203,\$32,176 31 58: bfe885b0 pushgo \$232,\$133,176 32 5c: bfe885b0 pushgo \$232,\$133,176 33 60: bf170ccb pushgo \$23,\$12,203 34 64: bfcb0ccb pushgo \$203,\$12,203 35 68: bf1f0cd5 pushgo \$31,\$12,213 36 6c: bf1f0cd5 pushgo \$31,\$12,213 37 70: bf1726d3 pushgo \$23,\$38,211 38 74: bfcb26d3 pushgo \$203,\$38,211 39 78: bf04afa1 pushgo \$4,\$175,161 40 7c: bf04afa1 pushgo \$4,\$175,161 41 80: bf170c00 pushgo \$23,\$12,0 42 84: bfcb0c00 pushgo \$203,\$12,0 43 88: bf290c00 pushgo \$41,\$12,0 44 8c: bff10c00 pushgo \$241,\$12,0 45 90: bf171b00 pushgo \$23,\$27,0 46 94: bfcb3000 pushgo \$203,\$48,0 47 98: bfdfdb00 pushgo \$223,\$219,0 48 9c: bfdfe500 pushgo \$223,\$229,0 49 a0: bf170c00 pushgo \$23,\$12,0 50 a4: bfcb0c00 pushgo \$203,\$12,0 51 a8: bf200c00 pushgo \$32,\$12,0 52 ac: bf200c00 pushgo \$32,\$12,0 53 b0: bf172000 pushgo \$23,\$32,0 54 b4: bfcb2000 pushgo \$203,\$32,0 55 b8: bfe88500 pushgo \$232,\$133,0 56 bc: bfe88500 pushgo \$232,\$133,0 57 c0: bf170c00 pushgo \$23,\$12,0 58 c4: bfcb0c00 pushgo \$203,\$12,0 59 c8: bf1f0c00 pushgo \$31,\$12,0 60 cc: bf1f0c00 pushgo \$31,\$12,0 61 d0: bf172600 pushgo \$23,\$38,0 62 d4: bfcb2600 pushgo \$203,\$38,0 63 d8: bf04af00 pushgo \$4,\$175,0 64 dc: bf04af00 pushgo \$4,\$175,0 65
