| main: |
| pushq %rbp #2.12 |
| movq %rsp, %rbp #2.12 |
| andq $-128, %rsp #2.12 |
| subq $128, %rsp #2.12 |
| movl $3, %edi #2.12 |
| call __intel_new_proc_init #2.12 |
| stmxcsr (%rsp) #2.12 |
| movl $.L_2__STRING.0, %edi #3.1 |
| xorl %eax, %eax #3.1 |
| orl $32832, (%rsp) #2.12 |
| ldmxcsr (%rsp) #2.12 |
| call printf #3.1 |
| movl $.L_2__STRING.1, %edi #4.3 |
| xorl %eax, %eax #4.3 |
| call printf #4.3 |
| xorl %eax, %eax #5.1 |
| movq %rbp, %rsp #5.1 |
| popq %rbp #5.1 |
| ret #5.1 |
| .L_2__STRING.0: |
| .byte 72 |
| .byte 101 |
| .byte 108 |
| .byte 108 |
| .byte 111 |
| .byte 32 |
| .byte 119 |
| .byte 111 |
| .byte 114 |
| .byte 108 |
| .byte 100 |
| .byte 0 |
| .L_2__STRING.1: |
| .byte 109 |
| .byte 111 |
| .byte 111 |
| .byte 10 |
| .byte 0 |