Skip to content

Instantly share code, notes, and snippets.

@razum2um
Created May 1, 2020 11:13
Show Gist options
  • Save razum2um/f8ab8d708dc6962d960c6767043c64e7 to your computer and use it in GitHub Desktop.
Save razum2um/f8ab8d708dc6962d960c6767043c64e7 to your computer and use it in GitHub Desktop.
ckb-vm on aarch64
src/machine/asm/execute.S: Assembler messages:
src/machine/asm/execute.S:172: Error: unknown mnemonic `push' -- `push %rbp'
src/machine/asm/execute.S:173: Error: unknown mnemonic `push' -- `push %rbx'
src/machine/asm/execute.S:174: Error: operand 1 must be an integer register -- `mov %rdi,%rsi'
src/machine/asm/execute.S:178: Error: unknown mnemonic `movq' -- `movq 256(%rsi),%rax'
src/machine/asm/execute.S:179: Error: operand 1 must be an integer register -- `mov %eax,%ecx'
src/machine/asm/execute.S:180: Error: unknown mnemonic `shr' -- `shr $5,%eax'
src/machine/asm/execute.S:181: Error: unknown mnemonic `andq' -- `andq $8191,%rax'
src/machine/asm/execute.S:182: Error: unknown mnemonic `imul' -- `imul $296,%eax'
src/machine/asm/execute.S:183: Error: unknown mnemonic `lea' -- `lea 4195616(%rsi,%rax),%rbx'
src/machine/asm/execute.S:184: Error: unknown mnemonic `movq' -- `movq 0(%rbx),%rdx'
src/machine/asm/execute.S:185: Error: operand 1 must be an integer or stack pointer register -- `cmp %rcx,%rdx'
src/machine/asm/execute.S:186: Error: unknown mnemonic `jne' -- `jne .exit_trace'
src/machine/asm/execute.S:187: Error: unknown mnemonic `movzbl' -- `movzbl 8(%rbx),%edx'
src/machine/asm/execute.S:188: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%rdx'
src/machine/asm/execute.S:189: Error: unknown mnemonic `je' -- `je .exit_trace'
src/machine/asm/execute.S:190: Error: unknown mnemonic `movq' -- `movq 272(%rsi),%rax'
src/machine/asm/execute.S:191: Error: unknown mnemonic `addq' -- `addq 16(%rbx),%rax'
src/machine/asm/execute.S:192: Error: operand 1 must be an integer or stack pointer register -- `cmp 280(%rsi),%rax'
src/machine/asm/execute.S:193: Error: unknown mnemonic `ja' -- `ja .exit_max_cycles_exceeded'
src/machine/asm/execute.S:194: Error: unknown mnemonic `movq' -- `movq %rax,272(%rsi)'
src/machine/asm/execute.S:195: Error: unknown mnemonic `addq' -- `addq %rdx,256(%rsi)'
src/machine/asm/execute.S:196: Error: unknown mnemonic `lea' -- `lea 24(%rbx),%r9'
src/machine/asm/execute.S:197: Error: unknown mnemonic `lea' -- `lea 160(%rbx),%r8'
src/machine/asm/execute.S:198: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:198: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:198: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:198: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:198: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:198: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:198: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:202: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:202: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:203: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:204: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:205: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:205: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:206: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:206: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:206: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:206: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:206: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:206: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:206: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:210: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:210: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:211: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:212: Error: unknown mnemonic `addq' -- `addq 0(%rsi,%rbp,8),%rdx'
src/machine/asm/execute.S:213: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:213: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:214: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:214: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:214: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:214: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:214: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:214: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:214: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:218: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:218: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:219: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:220: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:221: Error: unknown mnemonic `movslq' -- `movslq %edx,%rdx'
src/machine/asm/execute.S:222: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:222: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:223: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:223: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:223: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:223: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:223: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:223: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:223: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:227: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:227: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:228: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:229: Error: unknown mnemonic `addq' -- `addq 0(%rsi,%rbp,8),%rdx'
src/machine/asm/execute.S:230: Error: unknown mnemonic `movslq' -- `movslq %edx,%rdx'
src/machine/asm/execute.S:231: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:231: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:232: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:232: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:232: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:232: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:232: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:232: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:232: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:236: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:236: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:237: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:238: Error: unknown mnemonic `andq' -- `andq 0(%rsi,%rbp,8),%rdx'
src/machine/asm/execute.S:239: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:239: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:240: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:240: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:240: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:240: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:240: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:240: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:240: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:244: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:244: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:245: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:246: Error: unknown mnemonic `andq' -- `andq %rcx,%rdx'
src/machine/asm/execute.S:247: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:247: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:248: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:248: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:248: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:248: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:248: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:248: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:248: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:252: Error: unknown mnemonic `movq' -- `movq 256(%rsi),%rdx'
src/machine/asm/execute.S:253: Error: unknown mnemonic `subq' -- `subq $4,%rdx'
src/machine/asm/execute.S:254: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:255: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:255: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:256: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:256: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:256: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:256: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:256: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:256: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:256: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:259: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:259: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:260: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:261: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:262: Error: unknown mnemonic `cmpq' -- `cmpq %rax,%rdx'
src/machine/asm/execute.S:263: Error: unknown mnemonic `je' -- `je .i_branch_success'
src/machine/asm/execute.S:264: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:264: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:264: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:264: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:264: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:264: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:264: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:267: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:267: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:268: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:269: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:270: Error: unknown mnemonic `cmpq' -- `cmpq %rax,%rdx'
src/machine/asm/execute.S:271: Error: unknown mnemonic `jge' -- `jge .i_branch_success'
src/machine/asm/execute.S:272: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:272: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:272: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:272: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:272: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:272: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:272: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:275: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:275: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:276: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:277: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:278: Error: unknown mnemonic `cmpq' -- `cmpq %rax,%rdx'
src/machine/asm/execute.S:279: Error: unknown mnemonic `jae' -- `jae .i_branch_success'
src/machine/asm/execute.S:280: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:280: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:280: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:280: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:280: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:280: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:280: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:283: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:283: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:284: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:285: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:286: Error: unknown mnemonic `cmpq' -- `cmpq %rax,%rdx'
src/machine/asm/execute.S:287: Error: unknown mnemonic `jl' -- `jl .i_branch_success'
src/machine/asm/execute.S:288: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:288: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:288: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:288: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:288: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:288: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:288: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:291: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:291: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:292: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:293: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:294: Error: unknown mnemonic `cmpq' -- `cmpq %rax,%rdx'
src/machine/asm/execute.S:295: Error: unknown mnemonic `jb' -- `jb .i_branch_success'
src/machine/asm/execute.S:296: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:296: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:296: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:296: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:296: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:296: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:296: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:299: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:299: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:300: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:301: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:302: Error: unknown mnemonic `cmpq' -- `cmpq %rax,%rdx'
src/machine/asm/execute.S:303: Error: unknown mnemonic `jne' -- `jne .i_branch_success'
src/machine/asm/execute.S:304: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:304: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:304: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:304: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:304: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:304: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:304: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:306: Error: unknown mnemonic `movq' -- `movq 256(%rsi),%rdx'
src/machine/asm/execute.S:307: Error: unknown mnemonic `subq' -- `subq $4,%rdx'
src/machine/asm/execute.S:308: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:309: Error: unknown mnemonic `movq' -- `movq %rdx,256(%rsi)'
src/machine/asm/execute.S:310: Error: unknown mnemonic `jmp' -- `jmp .prepare_trace'
src/machine/asm/execute.S:313: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:313: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:314: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:315: Error: unknown mnemonic `movq' -- `movq $0x8000000000000000,%rax'
src/machine/asm/execute.S:316: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:317: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:318: Error: operand 1 must be an integer or stack pointer register -- `cmp %rax,%rdx'
src/machine/asm/execute.S:319: Error: unknown mnemonic `jne' -- `jne .div_branch1'
src/machine/asm/execute.S:320: Error: operand 1 must be an integer or stack pointer register -- `cmp $-1,%rbp'
src/machine/asm/execute.S:321: Error: unknown mnemonic `jne' -- `jne .div_branch1'
src/machine/asm/execute.S:322: Error: unknown mnemonic `jmp' -- `jmp .div_branch3'
src/machine/asm/execute.S:324: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%rbp'
src/machine/asm/execute.S:325: Error: unknown mnemonic `jne' -- `jne .div_branch2'
src/machine/asm/execute.S:326: Error: unknown mnemonic `movq' -- `movq $0xffffffffffffffff,%rdx'
src/machine/asm/execute.S:327: Error: unknown mnemonic `jmp' -- `jmp .div_branch3'
src/machine/asm/execute.S:329: Error: unknown mnemonic `movq' -- `movq %rdx,%rax'
src/machine/asm/execute.S:330: Error: unknown mnemonic `cqo' -- `cqo'
src/machine/asm/execute.S:331: Error: unknown mnemonic `idivq' -- `idivq %rbp'
src/machine/asm/execute.S:332: Error: unknown mnemonic `movq' -- `movq %rax,%rdx'
src/machine/asm/execute.S:334: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:335: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:335: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:336: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:336: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:336: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:336: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:336: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:336: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:336: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:339: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:339: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:340: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:341: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%rbp'
src/machine/asm/execute.S:342: Error: unknown mnemonic `jne' -- `jne .divu_branch2'
src/machine/asm/execute.S:343: Error: unknown mnemonic `movq' -- `movq $0xffffffffffffffff,%rbp'
src/machine/asm/execute.S:343: Error: unknown mnemonic `movq' -- `movq %rbp,0(%rsi,%rax,8)'
src/machine/asm/execute.S:343: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:344: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:344: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:344: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:344: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:344: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:344: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:344: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:346: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:348: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rax'
src/machine/asm/execute.S:349: Error: unknown mnemonic `xorq' -- `xorq %rdx,%rdx'
src/machine/asm/execute.S:350: Error: unknown mnemonic `divq' -- `divq %rbp'
src/machine/asm/execute.S:351: Error: operand 1 must be an integer register -- `mov %rax,%rbp'
src/machine/asm/execute.S:353: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:354: Error: unknown mnemonic `movq' -- `movq %rbp,0(%rsi,%rax,8)'
src/machine/asm/execute.S:354: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:355: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:355: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:355: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:355: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:355: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:355: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:355: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:358: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:358: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:359: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:360: Error: operand 1 must be an integer register -- `mov %ebp,%ebp'
src/machine/asm/execute.S:361: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%rbp'
src/machine/asm/execute.S:362: Error: unknown mnemonic `jne' -- `jne .divuw_branch2'
src/machine/asm/execute.S:363: Error: unknown mnemonic `movq' -- `movq $0xffffffffffffffff,%rbp'
src/machine/asm/execute.S:363: Error: unknown mnemonic `movq' -- `movq %rbp,0(%rsi,%rax,8)'
src/machine/asm/execute.S:363: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:364: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:364: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:364: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:364: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:364: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:364: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:364: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:366: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:368: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rax'
src/machine/asm/execute.S:369: Error: operand 1 must be an integer register -- `mov %eax,%eax'
src/machine/asm/execute.S:370: Error: unknown mnemonic `xorq' -- `xorq %rdx,%rdx'
src/machine/asm/execute.S:371: Error: unknown mnemonic `divq' -- `divq %rbp'
src/machine/asm/execute.S:372: Error: operand 1 must be an integer register -- `mov %rax,%rbp'
src/machine/asm/execute.S:374: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:375: Error: unknown mnemonic `movslq' -- `movslq %ebp,%rbp'
src/machine/asm/execute.S:376: Error: unknown mnemonic `movq' -- `movq %rbp,0(%rsi,%rax,8)'
src/machine/asm/execute.S:376: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:377: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:377: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:377: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:377: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:377: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:377: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:377: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:380: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:380: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:381: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:382: Error: unknown mnemonic `movq' -- `movq $0x8000000000000000,%rax'
src/machine/asm/execute.S:383: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:384: Error: unknown mnemonic `movslq' -- `movslq %edx,%rdx'
src/machine/asm/execute.S:385: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:386: Error: unknown mnemonic `movslq' -- `movslq %ebp,%rbp'
src/machine/asm/execute.S:387: Error: operand 1 must be an integer or stack pointer register -- `cmp %rax,%rdx'
src/machine/asm/execute.S:388: Error: unknown mnemonic `jne' -- `jne .divw_branch1'
src/machine/asm/execute.S:389: Error: operand 1 must be an integer or stack pointer register -- `cmp $-1,%rbp'
src/machine/asm/execute.S:390: Error: unknown mnemonic `jne' -- `jne .divw_branch1'
src/machine/asm/execute.S:391: Error: unknown mnemonic `jmp' -- `jmp .divw_branch3'
src/machine/asm/execute.S:393: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%rbp'
src/machine/asm/execute.S:394: Error: unknown mnemonic `jne' -- `jne .divw_branch2'
src/machine/asm/execute.S:395: Error: unknown mnemonic `movq' -- `movq $0xffffffffffffffff,%rdx'
src/machine/asm/execute.S:396: Error: unknown mnemonic `jmp' -- `jmp .divw_branch3'
src/machine/asm/execute.S:398: Error: unknown mnemonic `movq' -- `movq %rdx,%rax'
src/machine/asm/execute.S:399: Error: unknown mnemonic `cqo' -- `cqo'
src/machine/asm/execute.S:400: Error: unknown mnemonic `idivq' -- `idivq %rbp'
src/machine/asm/execute.S:401: Error: unknown mnemonic `movq' -- `movq %rax,%rdx'
src/machine/asm/execute.S:403: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:404: Error: unknown mnemonic `movslq' -- `movslq %edx,%rdx'
src/machine/asm/execute.S:405: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:405: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:406: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:406: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:406: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:406: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:406: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:406: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:406: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:410: Error: operand 1 must be an integer register -- `mov $3,%eax'
src/machine/asm/execute.S:411: Error: unknown mnemonic `jmp' -- `jmp .exit'
src/machine/asm/execute.S:415: Error: operand 1 must be an integer register -- `mov $2,%eax'
src/machine/asm/execute.S:416: Error: unknown mnemonic `jmp' -- `jmp .exit'
src/machine/asm/execute.S:425: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:425: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:425: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:425: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:425: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:425: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:425: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:429: Error: unknown mnemonic `movq' -- `movq 256(%rsi),%rdx'
src/machine/asm/execute.S:430: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:430: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:431: Error: unknown mnemonic `subq' -- `subq $4,%rdx'
src/machine/asm/execute.S:432: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:433: Error: unknown mnemonic `movq' -- `movq %rdx,256(%rsi)'
src/machine/asm/execute.S:434: Error: unknown mnemonic `jmp' -- `jmp .prepare_trace'
src/machine/asm/execute.S:437: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:437: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:438: Error: unknown mnemonic `movq' -- `movq 256(%rsi),%rdi'
src/machine/asm/execute.S:439: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:439: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:440: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:441: Error: unknown mnemonic `addq' -- `addq %rcx,%rdi'
src/machine/asm/execute.S:442: Error: unknown mnemonic `andq' -- `andq $-2,%rdi'
src/machine/asm/execute.S:443: Error: unknown mnemonic `movq' -- `movq %rdi,256(%rsi)'
src/machine/asm/execute.S:444: Error: unknown mnemonic `jmp' -- `jmp .prepare_trace'
src/machine/asm/execute.S:447: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:447: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:448: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:449: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:450: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:451: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:452: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:453: Error: unknown mnemonic `addq' -- `addq $1,%rdi'
src/machine/asm/execute.S:454: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:455: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:456: Error: unknown mnemonic `movsbq' -- `movsbq 1312(%rsi,%rdx),%rdx'
src/machine/asm/execute.S:457: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:457: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:458: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:458: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:458: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:458: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:458: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:458: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:458: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:461: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:461: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:462: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:463: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:464: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:465: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:466: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:467: Error: unknown mnemonic `addq' -- `addq $1,%rdi'
src/machine/asm/execute.S:468: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:469: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:470: Error: unknown mnemonic `movzbq' -- `movzbq 1312(%rsi,%rdx),%rdx'
src/machine/asm/execute.S:471: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:471: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:472: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:472: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:472: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:472: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:472: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:472: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:472: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:476: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:476: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:477: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:478: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:479: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:480: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:481: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:482: Error: unknown mnemonic `addq' -- `addq $8,%rdi'
src/machine/asm/execute.S:483: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:484: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:485: Error: unknown mnemonic `movq' -- `movq 1312(%rsi,%rdx),%rdx'
src/machine/asm/execute.S:486: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:486: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:487: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:487: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:487: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:487: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:487: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:487: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:487: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:490: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:490: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:491: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:492: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:493: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:494: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:495: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:496: Error: unknown mnemonic `addq' -- `addq $2,%rdi'
src/machine/asm/execute.S:497: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:498: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:499: Error: unknown mnemonic `movswq' -- `movswq 1312(%rsi,%rdx),%rdx'
src/machine/asm/execute.S:500: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:500: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:501: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:501: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:501: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:501: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:501: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:501: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:501: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:504: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:504: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:505: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:506: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:507: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:508: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:509: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:510: Error: unknown mnemonic `addq' -- `addq $2,%rdi'
src/machine/asm/execute.S:511: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:512: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:513: Error: unknown mnemonic `movzwq' -- `movzwq 1312(%rsi,%rdx),%rdx'
src/machine/asm/execute.S:514: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:514: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:515: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:515: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:515: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:515: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:515: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:515: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:515: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:522: Error: unknown mnemonic `movq' -- `movq %rcx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:522: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:523: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:523: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:523: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:523: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:523: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:523: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:523: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:527: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:527: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:528: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:529: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:530: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:531: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:532: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:533: Error: unknown mnemonic `addq' -- `addq $4,%rdi'
src/machine/asm/execute.S:534: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:535: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:536: Error: unknown mnemonic `movslq' -- `movslq 1312(%rsi,%rdx),%rdx'
src/machine/asm/execute.S:537: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:537: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:538: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:538: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:538: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:538: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:538: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:538: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:538: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:541: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:541: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:542: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:543: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:544: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:545: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:546: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:547: Error: unknown mnemonic `addq' -- `addq $4,%rdi'
src/machine/asm/execute.S:548: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:549: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:550: Error: operand 1 must be an integer register -- `mov 1312(%rsi,%rdx),%edx'
src/machine/asm/execute.S:551: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:551: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:552: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:552: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:552: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:552: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:552: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:552: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:552: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:555: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:555: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:556: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:557: Error: unknown mnemonic `imul' -- `imul 0(%rsi,%rbp,8),%rdx'
src/machine/asm/execute.S:558: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:558: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:559: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:559: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:559: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:559: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:559: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:559: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:559: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:562: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:562: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:563: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:565: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rax'
src/machine/asm/execute.S:566: Error: unknown mnemonic `imulq' -- `imulq 0(%rsi,%rbp,8)'
src/machine/asm/execute.S:567: Error: unknown mnemonic `movq' -- `movq %rdx,%rbp'
src/machine/asm/execute.S:569: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:570: Error: unknown mnemonic `movq' -- `movq %rbp,0(%rsi,%rax,8)'
src/machine/asm/execute.S:570: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:571: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:571: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:571: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:571: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:571: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:571: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:571: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:574: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:574: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:575: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:578: Error: unknown mnemonic `push' -- `push %rdx'
src/machine/asm/execute.S:579: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rax'
src/machine/asm/execute.S:580: Error: unknown mnemonic `test' -- `test %rax,%rax'
src/machine/asm/execute.S:581: Error: unknown mnemonic `jns' -- `jns .mulhsu_branch1'
src/machine/asm/execute.S:582: Error: operand 1 must be a SIMD vector register -- `neg %rax'
src/machine/asm/execute.S:583: Error: unknown mnemonic `mulq' -- `mulq 0(%rsi,%rbp,8)'
src/machine/asm/execute.S:584: Error: unknown mnemonic `xor' -- `xor $-1,%rdx'
src/machine/asm/execute.S:585: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:586: Error: unknown mnemonic `pop' -- `pop %rdx'
src/machine/asm/execute.S:588: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rax'
src/machine/asm/execute.S:589: Error: unknown mnemonic `imulq' -- `imulq 0(%rsi,%rbp,8)'
src/machine/asm/execute.S:590: Error: unknown mnemonic `test' -- `test %rax,%rax'
src/machine/asm/execute.S:591: Error: unknown mnemonic `setz' -- `setz %al'
src/machine/asm/execute.S:592: Error: unknown mnemonic `movzbl' -- `movzbl %al,%eax'
src/machine/asm/execute.S:593: Error: unknown mnemonic `addq' -- `addq %rax,%rdi'
src/machine/asm/execute.S:595: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:596: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:596: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:597: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:597: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:597: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:597: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:597: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:597: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:597: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:599: Error: unknown mnemonic `mulq' -- `mulq 0(%rsi,%rbp,8)'
src/machine/asm/execute.S:600: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:601: Error: unknown mnemonic `pop' -- `pop %rdx'
src/machine/asm/execute.S:604: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:605: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:605: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:606: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:606: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:606: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:606: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:606: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:606: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:606: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:609: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:609: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:610: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:612: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rax'
src/machine/asm/execute.S:613: Error: unknown mnemonic `mulq' -- `mulq 0(%rsi,%rbp,8)'
src/machine/asm/execute.S:614: Error: unknown mnemonic `movq' -- `movq %rdx,%rbp'
src/machine/asm/execute.S:616: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:617: Error: unknown mnemonic `movq' -- `movq %rbp,0(%rsi,%rax,8)'
src/machine/asm/execute.S:617: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:618: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:618: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:618: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:618: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:618: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:618: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:618: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:621: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:621: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:622: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:623: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:624: Error: unknown mnemonic `imul' -- `imul %ebp,%edx'
src/machine/asm/execute.S:625: Error: unknown mnemonic `movslq' -- `movslq %edx,%rdx'
src/machine/asm/execute.S:626: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:626: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:627: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:627: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:627: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:627: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:627: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:627: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:627: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:631: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:631: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:632: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:633: Error: unknown mnemonic `orq' -- `orq 0(%rsi,%rbp,8),%rdx'
src/machine/asm/execute.S:634: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:634: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:635: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:635: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:635: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:635: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:635: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:635: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:635: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:638: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:638: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:639: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:640: Error: unknown mnemonic `orq' -- `orq %rcx,%rdx'
src/machine/asm/execute.S:641: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:641: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:642: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:642: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:642: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:642: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:642: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:642: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:642: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:645: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:645: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:646: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:647: Error: unknown mnemonic `movq' -- `movq $0x8000000000000000,%rax'
src/machine/asm/execute.S:648: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:649: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:650: Error: operand 1 must be an integer or stack pointer register -- `cmp %rax,%rdx'
src/machine/asm/execute.S:651: Error: unknown mnemonic `jne' -- `jne .rem_branch1'
src/machine/asm/execute.S:652: Error: operand 1 must be an integer or stack pointer register -- `cmp $-1,%rbp'
src/machine/asm/execute.S:653: Error: unknown mnemonic `jne' -- `jne .rem_branch1'
src/machine/asm/execute.S:654: Error: unknown mnemonic `xorq' -- `xorq %rdx,%rdx'
src/machine/asm/execute.S:655: Error: unknown mnemonic `jmp' -- `jmp .rem_branch3'
src/machine/asm/execute.S:657: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%rbp'
src/machine/asm/execute.S:658: Error: unknown mnemonic `jne' -- `jne .rem_branch2'
src/machine/asm/execute.S:659: Error: unknown mnemonic `jmp' -- `jmp .rem_branch3'
src/machine/asm/execute.S:661: Error: unknown mnemonic `movq' -- `movq %rdx,%rax'
src/machine/asm/execute.S:662: Error: unknown mnemonic `cqo' -- `cqo'
src/machine/asm/execute.S:663: Error: unknown mnemonic `idivq' -- `idivq %rbp'
src/machine/asm/execute.S:666: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:667: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:667: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:668: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:668: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:668: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:668: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:668: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:668: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:668: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:671: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:671: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:672: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:673: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%rbp'
src/machine/asm/execute.S:674: Error: unknown mnemonic `jne' -- `jne .remu_branch2'
src/machine/asm/execute.S:675: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:676: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:676: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:677: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:677: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:677: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:677: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:677: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:677: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:677: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:679: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:681: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rax'
src/machine/asm/execute.S:682: Error: unknown mnemonic `xorq' -- `xorq %rdx,%rdx'
src/machine/asm/execute.S:683: Error: unknown mnemonic `divq' -- `divq %rbp'
src/machine/asm/execute.S:684: Error: operand 1 must be an integer register -- `mov %rdx,%rbp'
src/machine/asm/execute.S:686: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:687: Error: unknown mnemonic `movq' -- `movq %rbp,0(%rsi,%rax,8)'
src/machine/asm/execute.S:687: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:688: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:688: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:688: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:688: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:688: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:688: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:688: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:691: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:691: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:692: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:693: Error: operand 1 must be an integer register -- `mov %ebp,%ebp'
src/machine/asm/execute.S:694: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%rbp'
src/machine/asm/execute.S:695: Error: unknown mnemonic `jne' -- `jne .remuw_branch2'
src/machine/asm/execute.S:696: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:697: Error: unknown mnemonic `movslq' -- `movslq %edx,%rdx'
src/machine/asm/execute.S:698: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:698: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:699: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:699: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:699: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:699: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:699: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:699: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:699: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:701: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:703: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rax'
src/machine/asm/execute.S:704: Error: operand 1 must be an integer register -- `mov %eax,%eax'
src/machine/asm/execute.S:705: Error: unknown mnemonic `xorq' -- `xorq %rdx,%rdx'
src/machine/asm/execute.S:706: Error: unknown mnemonic `divq' -- `divq %rbp'
src/machine/asm/execute.S:707: Error: operand 1 must be an integer register -- `mov %rdx,%rbp'
src/machine/asm/execute.S:709: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:710: Error: unknown mnemonic `movslq' -- `movslq %ebp,%rbp'
src/machine/asm/execute.S:711: Error: unknown mnemonic `movq' -- `movq %rbp,0(%rsi,%rax,8)'
src/machine/asm/execute.S:711: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:712: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:712: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:712: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:712: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:712: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:712: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:712: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:715: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:715: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:716: Error: unknown mnemonic `push' -- `push %rax'
src/machine/asm/execute.S:717: Error: unknown mnemonic `movq' -- `movq $0x8000000000000000,%rax'
src/machine/asm/execute.S:718: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:719: Error: unknown mnemonic `movslq' -- `movslq %edx,%rdx'
src/machine/asm/execute.S:720: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:721: Error: unknown mnemonic `movslq' -- `movslq %ebp,%rbp'
src/machine/asm/execute.S:722: Error: operand 1 must be an integer or stack pointer register -- `cmp %rax,%rdx'
src/machine/asm/execute.S:723: Error: unknown mnemonic `jne' -- `jne .remw_branch1'
src/machine/asm/execute.S:724: Error: operand 1 must be an integer or stack pointer register -- `cmp $-1,%rbp'
src/machine/asm/execute.S:725: Error: unknown mnemonic `jne' -- `jne .remw_branch1'
src/machine/asm/execute.S:726: Error: unknown mnemonic `xorq' -- `xorq %rdx,%rdx'
src/machine/asm/execute.S:727: Error: unknown mnemonic `jmp' -- `jmp .remw_branch3'
src/machine/asm/execute.S:729: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%rbp'
src/machine/asm/execute.S:730: Error: unknown mnemonic `jne' -- `jne .remw_branch2'
src/machine/asm/execute.S:731: Error: unknown mnemonic `jmp' -- `jmp .remw_branch3'
src/machine/asm/execute.S:733: Error: unknown mnemonic `movq' -- `movq %rdx,%rax'
src/machine/asm/execute.S:734: Error: unknown mnemonic `cqo' -- `cqo'
src/machine/asm/execute.S:735: Error: unknown mnemonic `idivq' -- `idivq %rbp'
src/machine/asm/execute.S:738: Error: unknown mnemonic `pop' -- `pop %rax'
src/machine/asm/execute.S:739: Error: unknown mnemonic `movslq' -- `movslq %edx,%rdx'
src/machine/asm/execute.S:740: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:740: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:741: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:741: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:741: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:741: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:741: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:741: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:741: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:744: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:744: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:745: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:746: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:747: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:747: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:747: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:747: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:747: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:747: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:747: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:747: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:747: Error: unknown mnemonic `addq' -- `addq $1,%rdi'
src/machine/asm/execute.S:747: Error: operand 1 must be a SIMD scalar register -- `shl $12,%rdi'
src/machine/asm/execute.S:747: Error: unknown mnemonic `movq' -- `movq %rdx,%rbp'
src/machine/asm/execute.S:747: Error: unknown mnemonic `addq' -- `addq $1,%rbp'
src/machine/asm/execute.S:747: Error: operand 1 must be an integer or stack pointer register -- `cmp %rdi,%rbp'
src/machine/asm/execute.S:747: Error: unknown mnemonic `jbe' -- `jbe 1f'
src/machine/asm/execute.S:747: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:747: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:747: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:747: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:747: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:747: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:747: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:748: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:749: Error: operand 1 must be an integer register -- `mov %al,1312(%rsi,%rdx)'
src/machine/asm/execute.S:750: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:750: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:750: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:750: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:750: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:750: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:750: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:754: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:754: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:755: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:756: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:757: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:757: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:757: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:757: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:757: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:757: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:757: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:757: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:757: Error: unknown mnemonic `addq' -- `addq $1,%rdi'
src/machine/asm/execute.S:757: Error: operand 1 must be a SIMD scalar register -- `shl $12,%rdi'
src/machine/asm/execute.S:757: Error: unknown mnemonic `movq' -- `movq %rdx,%rbp'
src/machine/asm/execute.S:757: Error: unknown mnemonic `addq' -- `addq $8,%rbp'
src/machine/asm/execute.S:757: Error: operand 1 must be an integer or stack pointer register -- `cmp %rdi,%rbp'
src/machine/asm/execute.S:757: Error: unknown mnemonic `jbe' -- `jbe 1f'
src/machine/asm/execute.S:757: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:757: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:757: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:757: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:757: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:757: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:757: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:758: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:759: Error: unknown mnemonic `movq' -- `movq %rax,1312(%rsi,%rdx)'
src/machine/asm/execute.S:760: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:760: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:760: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:760: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:760: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:760: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:760: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:763: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:763: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:764: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:765: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:766: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:766: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:766: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:766: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:766: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:766: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:766: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:766: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:766: Error: unknown mnemonic `addq' -- `addq $1,%rdi'
src/machine/asm/execute.S:766: Error: operand 1 must be a SIMD scalar register -- `shl $12,%rdi'
src/machine/asm/execute.S:766: Error: unknown mnemonic `movq' -- `movq %rdx,%rbp'
src/machine/asm/execute.S:766: Error: unknown mnemonic `addq' -- `addq $2,%rbp'
src/machine/asm/execute.S:766: Error: operand 1 must be an integer or stack pointer register -- `cmp %rdi,%rbp'
src/machine/asm/execute.S:766: Error: unknown mnemonic `jbe' -- `jbe 1f'
src/machine/asm/execute.S:766: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:766: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:766: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:766: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:766: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:766: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:766: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:767: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:768: Error: operand 1 must be an integer register -- `mov %ax,1312(%rsi,%rdx)'
src/machine/asm/execute.S:769: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:769: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:769: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:769: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:769: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:769: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:769: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:772: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:772: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:773: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:774: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rcx'
src/machine/asm/execute.S:775: Error: operand 1 must be a SIMD scalar register -- `shl %cl,%rdi'
src/machine/asm/execute.S:776: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:776: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:777: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:777: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:777: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:777: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:777: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:777: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:777: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:781: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:781: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:782: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:783: Error: unknown mnemonic `movq' -- `movq %rcx,%rcx'
src/machine/asm/execute.S:784: Error: operand 1 must be a SIMD scalar register -- `shl %cl,%rdi'
src/machine/asm/execute.S:785: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:785: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:786: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:786: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:786: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:786: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:786: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:786: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:786: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:789: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:789: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:790: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:791: Error: unknown mnemonic `movq' -- `movq %rcx,%rcx'
src/machine/asm/execute.S:792: Error: operand 1 must be a SIMD scalar register -- `shl %cl,%rdi'
src/machine/asm/execute.S:793: Error: unknown mnemonic `movslq' -- `movslq %edi,%rdi'
src/machine/asm/execute.S:794: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:794: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:795: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:795: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:795: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:795: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:795: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:795: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:795: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:798: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:798: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:799: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:800: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rcx'
src/machine/asm/execute.S:801: Error: operand 1 must be an integer or stack pointer register -- `and $0x1F,%ecx'
src/machine/asm/execute.S:802: Error: operand 1 must be a SIMD scalar register -- `shl %cl,%rdi'
src/machine/asm/execute.S:803: Error: unknown mnemonic `movslq' -- `movslq %edi,%rdi'
src/machine/asm/execute.S:804: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:804: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:805: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:805: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:805: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:805: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:805: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:805: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:805: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:808: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:808: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:809: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:810: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:811: Error: unknown mnemonic `cmpq' -- `cmpq %rbp,%rdx'
src/machine/asm/execute.S:812: Error: unknown mnemonic `setl' -- `setl %dl'
src/machine/asm/execute.S:813: Error: unknown mnemonic `movzbl' -- `movzbl %dl,%edx'
src/machine/asm/execute.S:814: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:814: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:815: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:815: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:815: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:815: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:815: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:815: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:815: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:818: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:818: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:819: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:820: Error: unknown mnemonic `cmpq' -- `cmpq %rcx,%rdx'
src/machine/asm/execute.S:821: Error: unknown mnemonic `setl' -- `setl %dl'
src/machine/asm/execute.S:822: Error: unknown mnemonic `movzbl' -- `movzbl %dl,%edx'
src/machine/asm/execute.S:823: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:823: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:824: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:824: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:824: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:824: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:824: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:824: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:824: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:827: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:827: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:828: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:829: Error: unknown mnemonic `cmpq' -- `cmpq %rcx,%rdx'
src/machine/asm/execute.S:830: Error: unknown mnemonic `setb' -- `setb %dl'
src/machine/asm/execute.S:831: Error: unknown mnemonic `movzbl' -- `movzbl %dl,%edx'
src/machine/asm/execute.S:832: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:832: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:833: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:833: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:833: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:833: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:833: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:833: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:833: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:836: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:836: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:837: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:838: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rbp'
src/machine/asm/execute.S:839: Error: unknown mnemonic `cmpq' -- `cmpq %rbp,%rdx'
src/machine/asm/execute.S:840: Error: unknown mnemonic `setb' -- `setb %dl'
src/machine/asm/execute.S:841: Error: unknown mnemonic `movzbl' -- `movzbl %dl,%edx'
src/machine/asm/execute.S:842: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:842: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:843: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:843: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:843: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:843: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:843: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:843: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:843: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:846: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:846: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:847: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:848: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rcx'
src/machine/asm/execute.S:849: Error: unknown mnemonic `sar' -- `sar %cl,%rdi'
src/machine/asm/execute.S:850: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:850: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:851: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:851: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:851: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:851: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:851: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:851: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:851: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:855: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:855: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:856: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:857: Error: unknown mnemonic `movq' -- `movq %rcx,%rcx'
src/machine/asm/execute.S:858: Error: unknown mnemonic `sar' -- `sar %cl,%rdi'
src/machine/asm/execute.S:859: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:859: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:860: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:860: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:860: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:860: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:860: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:860: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:860: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:863: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:863: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:864: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:865: Error: unknown mnemonic `movq' -- `movq %rcx,%rcx'
src/machine/asm/execute.S:866: Error: unknown mnemonic `sar' -- `sar %cl,%edi'
src/machine/asm/execute.S:867: Error: unknown mnemonic `movslq' -- `movslq %edi,%rdi'
src/machine/asm/execute.S:868: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:868: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:869: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:869: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:869: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:869: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:869: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:869: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:869: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:872: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:872: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:873: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:874: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rcx'
src/machine/asm/execute.S:875: Error: operand 1 must be an integer or stack pointer register -- `and $0x1F,%ecx'
src/machine/asm/execute.S:876: Error: unknown mnemonic `sar' -- `sar %cl,%edi'
src/machine/asm/execute.S:877: Error: unknown mnemonic `movslq' -- `movslq %edi,%rdi'
src/machine/asm/execute.S:878: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:878: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:879: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:879: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:879: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:879: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:879: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:879: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:879: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:882: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:882: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:883: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:884: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rcx'
src/machine/asm/execute.S:885: Error: unknown mnemonic `shr' -- `shr %cl,%rdi'
src/machine/asm/execute.S:886: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:886: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:887: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:887: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:887: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:887: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:887: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:887: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:887: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:891: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:891: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:892: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:893: Error: unknown mnemonic `movq' -- `movq %rcx,%rcx'
src/machine/asm/execute.S:894: Error: unknown mnemonic `shr' -- `shr %cl,%rdi'
src/machine/asm/execute.S:895: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:895: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:896: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:896: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:896: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:896: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:896: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:896: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:896: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:899: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:899: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:900: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:901: Error: unknown mnemonic `movq' -- `movq %rcx,%rcx'
src/machine/asm/execute.S:902: Error: unknown mnemonic `shr' -- `shr %cl,%edi'
src/machine/asm/execute.S:903: Error: unknown mnemonic `movslq' -- `movslq %edi,%rdi'
src/machine/asm/execute.S:904: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:904: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:905: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:905: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:905: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:905: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:905: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:905: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:905: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:908: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:908: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:909: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdi'
src/machine/asm/execute.S:910: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rcx'
src/machine/asm/execute.S:911: Error: operand 1 must be an integer or stack pointer register -- `and $0x1F,%ecx'
src/machine/asm/execute.S:912: Error: unknown mnemonic `shr' -- `shr %cl,%edi'
src/machine/asm/execute.S:913: Error: unknown mnemonic `movslq' -- `movslq %edi,%rdi'
src/machine/asm/execute.S:914: Error: unknown mnemonic `movq' -- `movq %rdi,0(%rsi,%rax,8)'
src/machine/asm/execute.S:914: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:915: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:915: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:915: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:915: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:915: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:915: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:915: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:919: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:919: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:920: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:921: Error: unknown mnemonic `subq' -- `subq 0(%rsi,%rbp,8),%rdx'
src/machine/asm/execute.S:922: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:922: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:923: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:923: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:923: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:923: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:923: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:923: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:923: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:927: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:927: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:928: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:929: Error: unknown mnemonic `subq' -- `subq 0(%rsi,%rbp,8),%rdx'
src/machine/asm/execute.S:930: Error: unknown mnemonic `movslq' -- `movslq %edx,%rdx'
src/machine/asm/execute.S:931: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:931: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:932: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:932: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:932: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:932: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:932: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:932: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:932: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:936: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:936: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:937: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:938: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:939: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:939: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:939: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:939: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:939: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:939: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:939: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:939: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:939: Error: unknown mnemonic `addq' -- `addq $1,%rdi'
src/machine/asm/execute.S:939: Error: operand 1 must be a SIMD scalar register -- `shl $12,%rdi'
src/machine/asm/execute.S:939: Error: unknown mnemonic `movq' -- `movq %rdx,%rbp'
src/machine/asm/execute.S:939: Error: unknown mnemonic `addq' -- `addq $4,%rbp'
src/machine/asm/execute.S:939: Error: operand 1 must be an integer or stack pointer register -- `cmp %rdi,%rbp'
src/machine/asm/execute.S:939: Error: unknown mnemonic `jbe' -- `jbe 1f'
src/machine/asm/execute.S:939: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:939: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:939: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:939: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:939: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:939: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:939: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:940: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:941: Error: operand 1 must be an integer register -- `mov %eax,1312(%rsi,%rdx)'
src/machine/asm/execute.S:942: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:942: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:942: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:942: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:942: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:942: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:942: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:946: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:946: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:947: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:948: Error: unknown mnemonic `xorq' -- `xorq 0(%rsi,%rbp,8),%rdx'
src/machine/asm/execute.S:949: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:949: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:950: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:950: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:950: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:950: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:950: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:950: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:950: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:953: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:953: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:954: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:955: Error: unknown mnemonic `xorq' -- `xorq %rcx,%rdx'
src/machine/asm/execute.S:956: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:956: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:957: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:957: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:957: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:957: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:957: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:957: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:957: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:960: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:960: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:961: Error: unknown mnemonic `addq' -- `addq %rcx,(0+2*8)(%rsi)'
src/machine/asm/execute.S:962: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:962: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:962: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:962: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:962: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:962: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:962: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:966: Error: unknown mnemonic `movq' -- `movq (0+2*8)(%rsi),%rdx'
src/machine/asm/execute.S:967: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:968: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:968: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:969: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:969: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:969: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:969: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:969: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:969: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:969: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:972: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:972: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:973: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:974: Error: unknown mnemonic `cmpq' -- `cmpq $0,%rdx'
src/machine/asm/execute.S:975: Error: unknown mnemonic `je' -- `je .rvc_branch_success'
src/machine/asm/execute.S:976: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:976: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:976: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:976: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:976: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:976: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:976: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:979: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:979: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:980: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rdx'
src/machine/asm/execute.S:981: Error: unknown mnemonic `cmpq' -- `cmpq $0,%rdx'
src/machine/asm/execute.S:982: Error: unknown mnemonic `jne' -- `jne .rvc_branch_success'
src/machine/asm/execute.S:983: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:983: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:983: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:983: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:983: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:983: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:983: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:985: Error: unknown mnemonic `movq' -- `movq 256(%rsi),%rdx'
src/machine/asm/execute.S:986: Error: unknown mnemonic `subq' -- `subq $2,%rdx'
src/machine/asm/execute.S:987: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:988: Error: unknown mnemonic `movq' -- `movq %rdx,256(%rsi)'
src/machine/asm/execute.S:989: Error: unknown mnemonic `jmp' -- `jmp .prepare_trace'
src/machine/asm/execute.S:993: Error: operand 1 must be an integer register -- `mov $3,%eax'
src/machine/asm/execute.S:994: Error: unknown mnemonic `jmp' -- `jmp .exit'
src/machine/asm/execute.S:998: Error: unknown mnemonic `movq' -- `movq 256(%rsi),%rdx'
src/machine/asm/execute.S:999: Error: unknown mnemonic `subq' -- `subq $2,%rdx'
src/machine/asm/execute.S:1000: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:1001: Error: unknown mnemonic `movq' -- `movq %rdx,256(%rsi)'
src/machine/asm/execute.S:1002: Error: unknown mnemonic `jmp' -- `jmp .prepare_trace'
src/machine/asm/execute.S:1006: Error: unknown mnemonic `movq' -- `movq 256(%rsi),%rdx'
src/machine/asm/execute.S:1007: Error: unknown mnemonic `movq' -- `movq %rdx,(0+1*8)(%rsi)'
src/machine/asm/execute.S:1008: Error: unknown mnemonic `subq' -- `subq $2,%rdx'
src/machine/asm/execute.S:1009: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:1010: Error: unknown mnemonic `movq' -- `movq %rdx,256(%rsi)'
src/machine/asm/execute.S:1011: Error: unknown mnemonic `jmp' -- `jmp .prepare_trace'
src/machine/asm/execute.S:1014: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:1014: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:1015: Error: unknown mnemonic `movq' -- `movq 256(%rsi),%rcx'
src/machine/asm/execute.S:1016: Error: unknown mnemonic `movq' -- `movq %rcx,(0+1*8)(%rsi)'
src/machine/asm/execute.S:1017: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rcx'
src/machine/asm/execute.S:1018: Error: unknown mnemonic `andq' -- `andq $-2,%rcx'
src/machine/asm/execute.S:1019: Error: unknown mnemonic `movq' -- `movq %rcx,256(%rsi)'
src/machine/asm/execute.S:1020: Error: unknown mnemonic `jmp' -- `jmp .prepare_trace'
src/machine/asm/execute.S:1023: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:1023: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:1024: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rdx,8),%rcx'
src/machine/asm/execute.S:1025: Error: unknown mnemonic `andq' -- `andq $-2,%rcx'
src/machine/asm/execute.S:1026: Error: unknown mnemonic `movq' -- `movq %rcx,256(%rsi)'
src/machine/asm/execute.S:1027: Error: unknown mnemonic `jmp' -- `jmp .prepare_trace'
src/machine/asm/execute.S:1031: Error: unknown mnemonic `movq' -- `movq (0+2*8)(%rsi),%rdx'
src/machine/asm/execute.S:1032: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:1033: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:1034: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:1035: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:1036: Error: unknown mnemonic `addq' -- `addq $8,%rdi'
src/machine/asm/execute.S:1037: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:1038: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:1039: Error: unknown mnemonic `movq' -- `movq 1312(%rsi,%rdx),%rdx'
src/machine/asm/execute.S:1040: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:1040: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:1041: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:1041: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:1041: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:1041: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:1041: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:1041: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:1041: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:1045: Error: unknown mnemonic `movq' -- `movq (0+2*8)(%rsi),%rdx'
src/machine/asm/execute.S:1046: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:1047: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:1048: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:1049: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:1050: Error: unknown mnemonic `addq' -- `addq $4,%rdi'
src/machine/asm/execute.S:1051: Error: operand 1 must be an integer or stack pointer register -- `cmp $4194304,%rdi'
src/machine/asm/execute.S:1052: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:1053: Error: unknown mnemonic `movslq' -- `movslq 1312(%rsi,%rdx),%rdx'
src/machine/asm/execute.S:1054: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:1054: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:1055: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:1055: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:1055: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:1055: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:1055: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:1055: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:1055: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:1058: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:1058: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%ebp'
src/machine/asm/execute.S:1059: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rbp,8),%rdx'
src/machine/asm/execute.S:1060: Error: unknown mnemonic `movq' -- `movq %rdx,0(%rsi,%rax,8)'
src/machine/asm/execute.S:1060: Error: unknown mnemonic `movq' -- `movq $0,(0)(%rsi)'
src/machine/asm/execute.S:1061: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:1061: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:1061: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:1061: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:1061: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:1061: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:1061: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:1064: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:1064: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:1065: Error: unknown mnemonic `movq' -- `movq (0+2*8)(%rsi),%rdx'
src/machine/asm/execute.S:1066: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:1067: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:1067: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:1067: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `addq' -- `addq $1,%rdi'
src/machine/asm/execute.S:1067: Error: operand 1 must be a SIMD scalar register -- `shl $12,%rdi'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `movq' -- `movq %rdx,%rbp'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `addq' -- `addq $8,%rbp'
src/machine/asm/execute.S:1067: Error: operand 1 must be an integer or stack pointer register -- `cmp %rdi,%rbp'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `jbe' -- `jbe 1f'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:1067: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:1067: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:1067: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:1067: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:1068: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:1069: Error: unknown mnemonic `movq' -- `movq %rax,1312(%rsi,%rdx)'
src/machine/asm/execute.S:1070: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:1070: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:1070: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:1070: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:1070: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:1070: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:1070: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:1073: Error: unknown mnemonic `movzbl' -- `movzbl %cl,%edx'
src/machine/asm/execute.S:1073: Error: unknown mnemonic `sar' -- `sar $8,%rcx'
src/machine/asm/execute.S:1074: Error: unknown mnemonic `movq' -- `movq (0+2*8)(%rsi),%rdx'
src/machine/asm/execute.S:1075: Error: unknown mnemonic `addq' -- `addq %rcx,%rdx'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `movq' -- `movq %rdx,%rdi'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:1076: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:1076: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:1076: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `addq' -- `addq $1,%rdi'
src/machine/asm/execute.S:1076: Error: operand 1 must be a SIMD scalar register -- `shl $12,%rdi'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `movq' -- `movq %rdx,%rbp'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `addq' -- `addq $4,%rbp'
src/machine/asm/execute.S:1076: Error: operand 1 must be an integer or stack pointer register -- `cmp %rdi,%rbp'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `jbe' -- `jbe 1f'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `shr' -- `shr $12,%rdi'
src/machine/asm/execute.S:1076: Error: operand 1 must be an integer or stack pointer register -- `cmp $1024,%rdi'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `jae' -- `jae .exit_out_of_bound'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `movzbl' -- `movzbl 288(%rsi,%rdi),%ebp'
src/machine/asm/execute.S:1076: Error: operand 1 must be an integer or stack pointer register -- `and $2,%ebp'
src/machine/asm/execute.S:1076: Error: operand 1 must be an integer or stack pointer register -- `cmp $0,%ebp'
src/machine/asm/execute.S:1076: Error: unknown mnemonic `jne' -- `jne .exit_invalid_permission'
src/machine/asm/execute.S:1077: Error: unknown mnemonic `movq' -- `movq 0(%rsi,%rax,8),%rax'
src/machine/asm/execute.S:1078: Error: operand 1 must be an integer register -- `mov %eax,1312(%rsi,%rdx)'
src/machine/asm/execute.S:1079: Error: unknown mnemonic `movq' -- `movq (%r9),%rcx'
src/machine/asm/execute.S:1079: Error: unknown mnemonic `addq' -- `addq $8,%r9'
src/machine/asm/execute.S:1079: Error: unknown mnemonic `movzbl' -- `movzbl %ch,%eax'
src/machine/asm/execute.S:1079: Error: unknown mnemonic `sar' -- `sar $32,%rcx'
src/machine/asm/execute.S:1079: Error: unknown mnemonic `movq' -- `movq (%r8),%rdi'
src/machine/asm/execute.S:1079: Error: unknown mnemonic `addq' -- `addq $8,%r8'
src/machine/asm/execute.S:1079: Error: unknown mnemonic `jmp' -- `jmp *%rdi'
src/machine/asm/execute.S:1082: Error: operand 1 must be an integer register -- `mov $6,%eax'
src/machine/asm/execute.S:1083: Error: unknown mnemonic `jmp' -- `jmp .exit'
src/machine/asm/execute.S:1086: Error: operand 1 must be an integer register -- `mov $5,%eax'
src/machine/asm/execute.S:1087: Error: unknown mnemonic `jmp' -- `jmp .exit'
src/machine/asm/execute.S:1089: Error: operand 1 must be an integer register -- `mov $7,%eax'
src/machine/asm/execute.S:1090: Error: unknown mnemonic `jmp' -- `jmp .exit'
src/machine/asm/execute.S:1095: Error: operand 1 must be an integer register -- `mov $1,%eax'
src/machine/asm/execute.S:1096: Error: unknown mnemonic `jmp' -- `jmp .exit'
src/machine/asm/execute.S:1098: Error: unknown mnemonic `pop' -- `pop %rbx'
src/machine/asm/execute.S:1099: Error: unknown mnemonic `pop' -- `pop %rbp'
src/machine/asm/execute.S:1104: Error: unknown mnemonic `retq' -- `retq'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment