Skip to content
Permalink
Browse files

Make some disruptive overloads local

  • Loading branch information...
myreen committed Sep 6, 2019
1 parent 4d05906 commit 67adb612363d45c5e20127cef6b64a9d3ad43081
Showing with 3 additions and 3 deletions.
  1. +1 −1 compiler/encoders/arm7/arm7_targetScript.sml
  2. +2 −2 compiler/encoders/x64/x64_targetScript.sml
@@ -54,7 +54,7 @@ val arm7_encode1_def = Define`
val arm7_encode_def = Define`
arm7_encode = combin$C LIST_BIND (UNCURRY arm7_encode1)`

Overload enc = ``arm7_encode1 AL``
Overload enc[local] = ``arm7_encode1 AL``

val arm7_bop_def = Define`
(arm7_bop Add = 0b0100w: word4) /\
@@ -30,11 +30,11 @@ val total_num2Zreg_def = Define`
Overload reg[local] = ``\r. Zr (total_num2Zreg r)``
Overload xr[local] = ``\r. xmm_reg (n2w r)``

Overload ld =
Overload ld[local] =
``\r1 r2 a.
Zr_rm (total_num2Zreg r1, Zm (NONE, ZregBase (total_num2Zreg r2), a))``

Overload st =
Overload st[local] =
``\r1 r2 a.
Zrm_r (Zm (NONE, ZregBase (total_num2Zreg r2), a), total_num2Zreg r1)``

0 comments on commit 67adb61

Please sign in to comment.
You can’t perform that action at this time.