freescale porting

[helm.git] / helm / software / matita / contribs / ng_assembly / emulator / translation / HC05_translation.ma

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/translation/HC05_translation.ma b/helm/software/matita/contribs/ng_assembly/emulator/translation/HC05_translation.ma
index 5ad7e6f581c5d92a94d1c7adff4d725753d5f74f..dcc04ac253fc71b58b58ef2dff14bce97d631d37 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/emulator/translation/HC05_translation.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/translation/HC05_translation.ma
@@ -58,16 +58,16 @@ ndefinition HC05_args_picker ≝
   (* inherent address: legale se nessun operando/1 byte/1 word *)
   | maINHX0ADD ⇒ nil ?
   | maINHX1ADD b ⇒ [ TByte HC05 b ]
-  | maINHX2ADD w ⇒ [ TByte HC05 (w16h w); TByte HC05 (w16l w) ]
+  | maINHX2ADD w ⇒ [ TByte HC05 (cnH ? w); TByte HC05 (cnL ? w) ]
   (* _0/1/2: legale se nessun operando/1 byte/1 word *)
   | maIMM1 b ⇒ [ TByte HC05 b ]
   | maIMM1EXT b ⇒ [ TByte HC05 b ]
-  | maIMM2 w ⇒ [ TByte HC05 (w16h w); TByte HC05 (w16l w) ]
+  | maIMM2 w ⇒ [ TByte HC05 (cnH ? w); TByte HC05 (cnL ? w) ]
   | maDIR1 b ⇒ [ TByte HC05 b ]
-  | maDIR2 w ⇒ [ TByte HC05 (w16h w); TByte HC05 (w16l w) ]
+  | maDIR2 w ⇒ [ TByte HC05 (cnH ? w); TByte HC05 (cnL ? w) ]
   | maIX0    ⇒ nil ?
   | maIX1 b  ⇒ [ TByte HC05 b ]
-  | maIX2 w  ⇒ [ TByte HC05 (w16h w); TByte HC05 (w16l w) ]
+  | maIX2 w  ⇒ [ TByte HC05 (cnH ? w); TByte HC05 (cnL ? w) ]
   (* DIRn: legale se 1 operando byte *)
   | maDIRn _ b ⇒ [ TByte HC05 b]
   (* DIRn_and_IMM1: legale se 2 operandi byte *)