Skip to content

Instantly share code, notes, and snippets.

@alexcrichton
Created May 23, 2013 05:37
Show Gist options
  • Save alexcrichton/5632953 to your computer and use it in GitHub Desktop.
Save alexcrichton/5632953 to your computer and use it in GitHub Desktop.
.globl __c0_main
__c0_main:
L__c0_main_bb_0:
push %r12
push %rbx
push %r14
push %rbp
push %r15
push %r13
sub $936, %rsp // %rsp
mov $232, %r12d
mov $104, %r8d
mov $226, %r9d
mov $47, %ebx
mov $175, %edi
mov $211, %esi
mov $148, %r14d
mov $194, %ecx
mov $0, %r10d
mov $224, %eax
mov $225, %r11d
mov $44, %edx
mov $158, %ebp
mov $243, %r15d
mov $150, %r13d
mov %esi, 0(%rsp)
mov $219, %esi
mov %r8d, 8(%rsp)
mov $236, %r8d
mov %r8d, 16(%rsp)
mov $175, %r8d
mov %r15d, 24(%rsp)
mov $58, %r15d
mov %r15d, 32(%rsp)
mov $80, %r15d
mov %r13d, 40(%rsp)
mov $209, %r13d
mov %r13d, 48(%rsp)
mov $150, %r13d
mov %r15d, 56(%rsp)
mov $54, %r15d
mov %r15d, 64(%rsp)
mov $153, %r15d
mov %r13d, 72(%rsp)
mov $235, %r13d
mov %r13d, 80(%rsp)
mov $208, %r13d
mov %r13d, 88(%rsp)
mov $167, %r13d
mov %edx, 96(%rsp)
mov $254, %edx
mov %edx, 104(%rsp)
mov $25, %edx
mov %edx, 112(%rsp)
mov $128, %edx
mov %edx, 120(%rsp)
mov $5, %edx
mov %edx, 128(%rsp)
mov $91, %edx
mov %edx, 136(%rsp)
mov $190, %edx
mov %edx, 144(%rsp)
mov $99, %edx
mov %edx, 152(%rsp)
mov $47, %edx
mov %edx, 160(%rsp)
mov $246, %edx
mov %edx, 168(%rsp)
mov $196, %edx
mov %edx, 176(%rsp)
mov $43, %edx
mov %edx, 184(%rsp)
mov $116, %edx
mov %r8d, 192(%rsp)
mov $78, %r8d
mov %r8d, 200(%rsp)
mov $173, %r8d
mov %r8d, 208(%rsp)
mov $32, %r8d
mov %r8d, 216(%rsp)
mov $12, %r8d
mov %r8d, 224(%rsp)
mov $202, %r8d
mov %ebp, 232(%rsp)
mov $87, %ebp
mov %ebp, 240(%rsp)
mov $169, %ebp
mov %ebp, 248(%rsp)
mov $104, %ebp
mov %ebp, 256(%rsp)
mov $107, %ebp
mov %ebp, 264(%rsp)
mov $113, %ebp
mov %r12d, 272(%rsp)
mov $73, %r12d
mov %r12d, 280(%rsp)
mov $55, %r12d
mov %r12d, 288(%rsp)
mov $252, %r12d
mov %r12d, 296(%rsp)
mov $219, %r12d
mov %r12d, 304(%rsp)
mov $71, %r12d
mov %r12d, 312(%rsp)
mov $0, %r12d
mov %r12d, 320(%rsp)
mov $62, %r12d
mov %r12d, 328(%rsp)
mov $40, %r12d
mov %r12d, 336(%rsp)
mov $205, %r12d
mov %r12d, 344(%rsp)
mov $122, %r12d
mov %r12d, 352(%rsp)
mov $232, %r12d
mov %r12d, 360(%rsp)
mov $67, %r12d
mov %r12d, 368(%rsp)
mov $160, %r12d
mov %r12d, 376(%rsp)
mov $155, %r12d
mov %r12d, 384(%rsp)
mov $0, %r12d
mov %edx, 392(%rsp)
mov %r13d, 400(%rsp)
mov %r10d, 408(%rsp)
mov %r11d, 416(%rsp)
mov %edi, 424(%rsp)
mov %eax, 432(%rsp)
mov %r15d, 440(%rsp)
mov %ebx, 448(%rsp)
mov %ecx, 456(%rsp)
mov 264(%rsp), %ecx
mov 368(%rsp), %r10d
mov 248(%rsp), %edi
mov 128(%rsp), %ebx
mov 272(%rsp), %eax
mov 32(%rsp), %r11d
mov 384(%rsp), %edx
mov 256(%rsp), %r15d
mov 296(%rsp), %r13d
xchg %r8, %rbp
xchg %r8, %r9
pushq 136(%rsp)
pushq 112(%rsp)
pushq 184(%rsp)
pushq 376(%rsp)
pushq 248(%rsp)
pushq 344(%rsp)
pushq 192(%rsp)
pushq 248(%rsp)
pushq 136(%rsp)
pushq 88(%rsp)
pushq 256(%rsp)
pushq 368(%rsp)
pushq 384(%rsp)
pushq 200(%rsp)
pushq 560(%rsp)
pushq 520(%rsp)
pushq 312(%rsp)
pushq 136(%rsp)
pushq 256(%rsp)
pushq 200(%rsp)
pushq 184(%rsp)
pushq 528(%rsp)
pushq 488(%rsp)
pushq 272(%rsp)
pushq 608(%rsp)
pushq 432(%rsp)
pushq 216(%rsp)
pushq 624(%rsp)
pushq 344(%rsp)
pushq 560(%rsp)
pushq 584(%rsp)
pushq 568(%rsp)
pushq 688(%rsp)
pushq 688(%rsp)
pushq 328(%rsp)
pushq 344(%rsp)
pushq 496(%rsp)
pushq 736(%rsp)
pushq 384(%rsp)
pushq 472(%rsp)
pushq 712(%rsp)
pushq 704(%rsp)
pushq 672(%rsp)
pushq 544(%rsp)
pushq 576(%rsp)
pushq 816(%rsp)
pushq 520(%rsp)
pushq 416(%rsp)
pushq 624(%rsp)
popq 1232(%rsp)
popq 1216(%rsp)
popq 1200(%rsp)
popq 1184(%rsp)
popq 1168(%rsp)
popq 1152(%rsp)
popq 1136(%rsp)
popq 1120(%rsp)
popq 1104(%rsp)
popq 1088(%rsp)
popq 1072(%rsp)
popq 1056(%rsp)
popq 1040(%rsp)
popq 1024(%rsp)
popq 1008(%rsp)
popq 992(%rsp)
popq 976(%rsp)
popq 960(%rsp)
popq 944(%rsp)
popq 928(%rsp)
popq 912(%rsp)
popq 896(%rsp)
popq 880(%rsp)
popq 864(%rsp)
popq 848(%rsp)
popq 832(%rsp)
popq 816(%rsp)
popq 800(%rsp)
popq 784(%rsp)
popq 768(%rsp)
popq 752(%rsp)
popq 736(%rsp)
popq 720(%rsp)
popq 704(%rsp)
popq 688(%rsp)
popq 672(%rsp)
popq 656(%rsp)
popq 640(%rsp)
popq 624(%rsp)
popq 608(%rsp)
popq 592(%rsp)
popq 576(%rsp)
popq 560(%rsp)
popq 544(%rsp)
popq 528(%rsp)
popq 512(%rsp)
popq 496(%rsp)
popq 480(%rsp)
popq 464(%rsp)
L__c0_main_bb_1:
cmp $67108864, %r12d // l
jge L__c0_main_bb_3
L__c0_main_bb_2:
add %ebx, %edx // %edx
add $1, %r12d // %r12d
mov %r8d, 856(%rsp)
mov %eax, 864(%rsp)
mov %r10d, 872(%rsp)
mov %esi, 880(%rsp)
mov %r9d, 888(%rsp)
mov %r13d, 896(%rsp)
mov %r11d, 904(%rsp)
mov %ebx, 912(%rsp)
mov %r14d, 920(%rsp)
mov %ebp, 928(%rsp)
mov 632(%rsp), %r10d
mov 848(%rsp), %eax
mov 840(%rsp), %esi
mov 688(%rsp), %ebx
mov 520(%rsp), %r11d
mov 600(%rsp), %r14d
mov 792(%rsp), %r9d
mov 560(%rsp), %r13d
mov 816(%rsp), %ebp
mov 672(%rsp), %r8d
xchg %rdi, %r15
xchg %rdi, %rcx
xchg %rdi, %r9
xchg %rdi, %rdx
xchg %rdi, %rax
pushq 912(%rsp)
pushq 592(%rsp)
pushq 792(%rsp)
pushq 728(%rsp)
pushq 784(%rsp)
pushq 936(%rsp)
pushq 512(%rsp)
pushq 592(%rsp)
pushq 680(%rsp)
pushq 952(%rsp)
pushq 560(%rsp)
pushq 976(%rsp)
pushq 648(%rsp)
pushq 760(%rsp)
pushq 968(%rsp)
pushq 768(%rsp)
pushq 672(%rsp)
pushq 864(%rsp)
pushq 616(%rsp)
pushq 888(%rsp)
pushq 824(%rsp)
pushq 656(%rsp)
pushq 680(%rsp)
pushq 952(%rsp)
pushq 912(%rsp)
pushq 768(%rsp)
pushq 1072(%rsp)
pushq 1040(%rsp)
pushq 832(%rsp)
pushq 944(%rsp)
pushq 1040(%rsp)
pushq 888(%rsp)
pushq 936(%rsp)
pushq 840(%rsp)
pushq 1176(%rsp)
pushq 808(%rsp)
pushq 1096(%rsp)
pushq 1040(%rsp)
pushq 1064(%rsp)
pushq 1144(%rsp)
pushq 912(%rsp)
pushq 1200(%rsp)
pushq 1032(%rsp)
pushq 1128(%rsp)
pushq 848(%rsp)
pushq 1280(%rsp)
pushq 880(%rsp)
pushq 1000(%rsp)
pushq 1312(%rsp)
popq 1232(%rsp)
popq 1216(%rsp)
popq 1200(%rsp)
popq 1184(%rsp)
popq 1168(%rsp)
popq 1152(%rsp)
popq 1136(%rsp)
popq 1120(%rsp)
popq 1104(%rsp)
popq 1088(%rsp)
popq 1072(%rsp)
popq 1056(%rsp)
popq 1040(%rsp)
popq 1024(%rsp)
popq 1008(%rsp)
popq 992(%rsp)
popq 976(%rsp)
popq 960(%rsp)
popq 944(%rsp)
popq 928(%rsp)
popq 912(%rsp)
popq 896(%rsp)
popq 880(%rsp)
popq 864(%rsp)
popq 848(%rsp)
popq 832(%rsp)
popq 816(%rsp)
popq 800(%rsp)
popq 784(%rsp)
popq 768(%rsp)
popq 752(%rsp)
popq 736(%rsp)
popq 720(%rsp)
popq 704(%rsp)
popq 688(%rsp)
popq 672(%rsp)
popq 656(%rsp)
popq 640(%rsp)
popq 624(%rsp)
popq 608(%rsp)
popq 592(%rsp)
popq 576(%rsp)
popq 560(%rsp)
popq 544(%rsp)
popq 528(%rsp)
popq 512(%rsp)
popq 496(%rsp)
popq 480(%rsp)
popq 464(%rsp)
jmp L__c0_main_bb_1
L__c0_main_bb_3:
add $936, %rsp // %rsp
pop %r13
pop %r15
pop %rbp
pop %r14
pop %rbx
pop %r12
ret // %t88
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment