diff options
Diffstat (limited to 'apps/mu.subx')
-rw-r--r-- | apps/mu.subx | 166 |
1 files changed, 144 insertions, 22 deletions
diff --git a/apps/mu.subx b/apps/mu.subx index 9837366d..6c6781c3 100644 --- a/apps/mu.subx +++ b/apps/mu.subx @@ -2983,22 +2983,22 @@ _Primitive-add-to-eax: 0/imm32/output-is-write-only _Primitive-add-reg-to-reg/imm32/next _Primitive-add-reg-to-reg: - # var1/reg <- add var2/reg => 01/add var1/rm32 var2/r32 + # var1/reg <- add var2/reg => 01/add-to var1/rm32 var2/r32 "add"/imm32/name Single-int-var-in-some-register/imm32/inouts Single-int-var-in-some-register/imm32/outputs - "01/add"/imm32/subx-name + "01/add-to"/imm32/subx-name 3/imm32/rm32-is-first-output 1/imm32/r32-is-first-inout 0/imm32/no-imm32 0/imm32/output-is-write-only _Primitive-add-reg-to-mem/imm32/next _Primitive-add-reg-to-mem: - # add-to var1 var2/reg => 01/add var1 var2/r32 + # add-to var1 var2/reg => 01/add-to var1 var2/r32 "add-to"/imm32/name Int-var-and-second-int-var-in-some-register/imm32/inouts 0/imm32/outputs - "01/add"/imm32/subx-name + "01/add-to"/imm32/subx-name 1/imm32/rm32-is-first-inout 2/imm32/r32-is-second-inout 0/imm32/no-imm32 @@ -3050,22 +3050,22 @@ _Primitive-subtract-from-eax: 0/imm32/output-is-write-only _Primitive-subtract-reg-from-reg/imm32/next _Primitive-subtract-reg-from-reg: - # var1/reg <- subtract var2/reg => 29/subtract var1/rm32 var2/r32 + # var1/reg <- subtract var2/reg => 29/subtract-from var1/rm32 var2/r32 "subtract"/imm32/name Single-int-var-in-some-register/imm32/inouts Single-int-var-in-some-register/imm32/outputs - "29/subtract"/imm32/subx-name + "29/subtract-from"/imm32/subx-name 3/imm32/rm32-is-first-output 1/imm32/r32-is-first-inout 0/imm32/no-imm32 0/imm32/output-is-write-only _Primitive-subtract-reg-from-mem/imm32/next _Primitive-subtract-reg-from-mem: - # subtract-from var1 var2/reg => 29/subtract var1 var2/r32 + # subtract-from var1 var2/reg => 29/subtract-from var1 var2/r32 "subtract-from"/imm32/name Int-var-and-second-int-var-in-some-register/imm32/inouts 0/imm32/outputs - "29/subtract"/imm32/subx-name + "29/subtract-from"/imm32/subx-name 1/imm32/rm32-is-first-inout 2/imm32/r32-is-second-inout 0/imm32/no-imm32 @@ -3117,22 +3117,22 @@ _Primitive-and-with-eax: 0/imm32/output-is-write-only _Primitive-and-reg-with-reg/imm32/next _Primitive-and-reg-with-reg: - # var1/reg <- and var2/reg => 21/and var1/rm32 var2/r32 + # var1/reg <- and var2/reg => 21/and-with var1/rm32 var2/r32 "and"/imm32/name Single-int-var-in-some-register/imm32/inouts Single-int-var-in-some-register/imm32/outputs - "21/and"/imm32/subx-name + "21/and-with"/imm32/subx-name 3/imm32/rm32-is-first-output 1/imm32/r32-is-first-inout 0/imm32/no-imm32 0/imm32/output-is-write-only _Primitive-and-reg-with-mem/imm32/next _Primitive-and-reg-with-mem: - # and-with var1 var2/reg => 21/and var1 var2/r32 + # and-with var1 var2/reg => 21/and-with var1 var2/r32 "and-with"/imm32/name Int-var-and-second-int-var-in-some-register/imm32/inouts 0/imm32/outputs - "21/and"/imm32/subx-name + "21/and-with"/imm32/subx-name 1/imm32/rm32-is-first-inout 2/imm32/r32-is-second-inout 0/imm32/no-imm32 @@ -3184,22 +3184,22 @@ _Primitive-or-with-eax: 0/imm32/output-is-write-only _Primitive-or-reg-with-reg/imm32/next _Primitive-or-reg-with-reg: - # var1/reg <- or var2/reg => 09/or var1/rm32 var2/r32 + # var1/reg <- or var2/reg => 09/or-with var1/rm32 var2/r32 "or"/imm32/name Single-int-var-in-some-register/imm32/inouts Single-int-var-in-some-register/imm32/outputs - "09/or"/imm32/subx-name + "09/or-with"/imm32/subx-name 3/imm32/rm32-is-first-output 1/imm32/r32-is-first-inout 0/imm32/no-imm32 0/imm32/output-is-write-only _Primitive-or-reg-with-mem/imm32/next _Primitive-or-reg-with-mem: - # or-with var1 var2/reg => 09/or var1 var2/r32 + # or-with var1 var2/reg => 09/or-with var1 var2/r32 "or-with"/imm32/name Int-var-and-second-int-var-in-some-register/imm32/inouts 0/imm32/outputs - "09/or"/imm32/subx-name + "09/or-with"/imm32/subx-name 1/imm32/rm32-is-first-inout 2/imm32/r32-is-second-inout 0/imm32/no-imm32 @@ -3251,22 +3251,22 @@ _Primitive-xor-with-eax: 0/imm32/output-is-write-only _Primitive-xor-reg-with-reg/imm32/next _Primitive-xor-reg-with-reg: - # var1/reg <- xor var2/reg => 31/xor var1/rm32 var2/r32 + # var1/reg <- xor var2/reg => 31/xor-with var1/rm32 var2/r32 "xor"/imm32/name Single-int-var-in-some-register/imm32/inouts Single-int-var-in-some-register/imm32/outputs - "31/xor"/imm32/subx-name + "31/xor-with"/imm32/subx-name 3/imm32/rm32-is-first-output 1/imm32/r32-is-first-inout 0/imm32/no-imm32 0/imm32/output-is-write-only _Primitive-xor-reg-with-mem/imm32/next _Primitive-xor-reg-with-mem: - # xor-with var1 var2/reg => 31/xor var1 var2/r32 + # xor-with var1 var2/reg => 31/xor-with var1 var2/r32 "xor-with"/imm32/name Int-var-and-second-int-var-in-some-register/imm32/inouts 0/imm32/outputs - "31/xor"/imm32/subx-name + "31/xor-with"/imm32/subx-name 1/imm32/rm32-is-first-inout 2/imm32/r32-is-second-inout 0/imm32/no-imm32 @@ -3304,6 +3304,128 @@ _Primitive-xor-lit-with-mem: 0/imm32/no-r32 2/imm32/imm32-is-first-inout 0/imm32/output-is-write-only + _Primitive-copy-to-eax/imm32/next +# - copy +_Primitive-copy-to-eax: + # var/eax <- copy lit => b8/copy-to-eax lit/imm32 + "copy"/imm32/name + Single-lit-var/imm32/inouts + Single-int-var-in-eax/imm32/outputs + "b8/copy-to-eax"/imm32/subx-name + 0/imm32/no-rm32 + 0/imm32/no-r32 + 1/imm32/imm32-is-first-inout + 1/imm32/output-is-write-only + _Primitive-copy-to-ecx/imm32/next +_Primitive-copy-to-ecx: + # var/ecx <- copy lit => b9/copy-to-ecx lit/imm32 + "copy"/imm32/name + Single-lit-var/imm32/inouts + Single-int-var-in-ecx/imm32/outputs + "b9/copy-to-ecx"/imm32/subx-name + 0/imm32/no-rm32 + 0/imm32/no-r32 + 1/imm32/imm32-is-first-inout + 1/imm32/output-is-write-only + _Primitive-copy-to-edx/imm32/next +_Primitive-copy-to-edx: + # var/edx <- copy lit => ba/copy-to-edx lit/imm32 + "copy"/imm32/name + Single-lit-var/imm32/inouts + Single-int-var-in-edx/imm32/outputs + "ba/copy-to-edx"/imm32/subx-name + 0/imm32/no-rm32 + 0/imm32/no-r32 + 1/imm32/imm32-is-first-inout + 1/imm32/output-is-write-only + _Primitive-copy-to-ebx/imm32/next +_Primitive-copy-to-ebx: + # var/ebx <- copy lit => bb/copy-to-ebx lit/imm32 + "copy"/imm32/name + Single-lit-var/imm32/inouts + Single-int-var-in-ebx/imm32/outputs + "bb/copy-to-ebx"/imm32/subx-name + 0/imm32/no-rm32 + 0/imm32/no-r32 + 1/imm32/imm32-is-first-inout + 1/imm32/output-is-write-only + _Primitive-copy-to-esi/imm32/next +_Primitive-copy-to-esi: + # var/esi <- copy lit => be/copy-to-esi lit/imm32 + "copy"/imm32/name + Single-lit-var/imm32/inouts + Single-int-var-in-esi/imm32/outputs + "be/copy-to-esi"/imm32/subx-name + 0/imm32/no-rm32 + 0/imm32/no-r32 + 1/imm32/imm32-is-first-inout + 1/imm32/output-is-write-only + _Primitive-copy-to-edi/imm32/next +_Primitive-copy-to-edi: + # var/edi <- copy lit => bf/copy-to-edi lit/imm32 + "copy"/imm32/name + Single-lit-var/imm32/inouts + Single-int-var-in-edi/imm32/outputs + "bf/copy-to-edi"/imm32/subx-name + 0/imm32/no-rm32 + 0/imm32/no-r32 + 1/imm32/imm32-is-first-inout + 1/imm32/output-is-write-only + _Primitive-copy-reg-to-reg/imm32/next +_Primitive-copy-reg-to-reg: + # var1/reg <- copy var2/reg => 89/copy-to var1/rm32 var2/r32 + "copy"/imm32/name + Single-int-var-in-some-register/imm32/inouts + Single-int-var-in-some-register/imm32/outputs + "89/copy-to"/imm32/subx-name + 3/imm32/rm32-is-first-output + 1/imm32/r32-is-first-inout + 0/imm32/no-imm32 + 1/imm32/output-is-write-only + _Primitive-copy-reg-to-mem/imm32/next +_Primitive-copy-reg-to-mem: + # copy-to var1 var2/reg => 89/copy-to var1 var2/r32 + "copy-to"/imm32/name + Int-var-and-second-int-var-in-some-register/imm32/inouts + 0/imm32/outputs + "89/copy-to"/imm32/subx-name + 1/imm32/rm32-is-first-inout + 2/imm32/r32-is-second-inout + 0/imm32/no-imm32 + 1/imm32/output-is-write-only + _Primitive-copy-mem-to-reg/imm32/next +_Primitive-copy-mem-to-reg: + # var1/reg <- copy var2 => 8b/copy-from var2/rm32 var1/r32 + "copy"/imm32/name + Single-int-var-on-stack/imm32/inouts + Single-int-var-in-some-register/imm32/outputs + "8b/copy-from"/imm32/subx-name + 1/imm32/rm32-is-first-inout + 3/imm32/r32-is-first-output + 0/imm32/no-imm32 + 1/imm32/output-is-write-only + _Primitive-copy-lit-to-reg/imm32/next +_Primitive-copy-lit-to-reg: + # var1/reg <- copy lit => c7 0/subop/copy var1/rm32 lit/imm32 + "copy"/imm32/name + Single-lit-var/imm32/inouts + Single-int-var-in-some-register/imm32/outputs + "c7 0/subop/copy"/imm32/subx-name + 3/imm32/rm32-is-first-output + 0/imm32/no-r32 + 1/imm32/imm32-is-first-inout + 1/imm32/output-is-write-only + _Primitive-copy-lit-to-mem/imm32/next +_Primitive-copy-lit-to-mem: + # copy-to var1, lit => c7 0/subop/copy var1/rm32 lit/imm32 + "copy-to"/imm32/name + Int-var-and-literal/imm32/inouts + 0/imm32/outputs + "c7 0/subop/copy"/imm32/subx-name + 1/imm32/rm32-is-first-inout + 0/imm32/no-r32 + 2/imm32/imm32-is-first-inout + 1/imm32/output-is-write-only 0/imm32/next Single-int-var-on-stack: @@ -4432,7 +4554,7 @@ test-add-reg-to-reg: #? (rewind-stream _test-output-stream) #? # }}} # check output - (check-next-stream-line-equal _test-output-stream "01/add %eax 0x00000001/r32" "F - test-add-reg-to-reg") + (check-next-stream-line-equal _test-output-stream "01/add-to %eax 0x00000001/r32" "F - test-add-reg-to-reg") # . epilogue 89/<- %esp 5/r32/ebp 5d/pop-to-ebp @@ -4488,7 +4610,7 @@ test-add-reg-to-mem: #? (rewind-stream _test-output-stream) #? # }}} # check output - (check-next-stream-line-equal _test-output-stream "01/add *(ebp+0x00000008) 0x00000001/r32" "F - test-add-reg-to-mem") + (check-next-stream-line-equal _test-output-stream "01/add-to *(ebp+0x00000008) 0x00000001/r32" "F - test-add-reg-to-mem") # . epilogue 89/<- %esp 5/r32/ebp 5d/pop-to-ebp |