freescale porting

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

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma b/helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma
index 0b7b1c41ff8a72f9048c91bab605f3ea25568103..16142d426c1f55b8a4440d5615222aed3a37b176 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma
@@ -75,18 +75,18 @@ ndefinition HC08_args_picker ≝
   (* inherent address: legale se nessun operando/1 byte/1 word *)
   | maINHX0ADD ⇒ nil ?
   | maINHX1ADD b ⇒ [ TByte HC08 b ]
-  | maINHX2ADD w ⇒ [ TByte HC08 (w16h w); TByte HC08 (w16l w) ]    
+  | maINHX2ADD w ⇒ [ TByte HC08 (cnH ? w); TByte HC08 (cnL ? w) ] 
   (* _0/1/2: legale se nessun operando/1 byte/1 word *)
   | maIMM1 b ⇒ [ TByte HC08 b ]
   | maIMM1EXT b ⇒ [ TByte HC08 b ]
-  | maIMM2 w ⇒ [ TByte HC08 (w16h w); TByte HC08 (w16l w) ]
+  | maIMM2 w ⇒ [ TByte HC08 (cnH ? w); TByte HC08 (cnL ? w) ]
   | maDIR1 b ⇒ [ TByte HC08 b ]
-  | maDIR2 w ⇒ [ TByte HC08 (w16h w); TByte HC08 (w16l w) ]
+  | maDIR2 w ⇒ [ TByte HC08 (cnH ? w); TByte HC08 (cnL ? w) ]
   | maIX0    ⇒ nil ?
   | maIX1 b  ⇒ [ TByte HC08 b ]
-  | maIX2 w  ⇒ [ TByte HC08 (w16h w); TByte HC08 (w16l w) ]
+  | maIX2 w  ⇒ [ TByte HC08 (cnH ? w); TByte HC08 (cnL ? w) ]
   | maSP1 b  ⇒ [ TByte HC08 b ]
-  | maSP2 w  ⇒ [ TByte HC08 (w16h w); TByte HC08 (w16l w) ]
+  | maSP2 w  ⇒ [ TByte HC08 (cnH ? w); TByte HC08 (cnL ? w) ]
   (* movimento: legale se 2 operandi byte *)
   | maDIR1_to_DIR1 b1 b2  ⇒ [ TByte HC08 b1 ; TByte HC08 b2 ]
   | maIMM1_to_DIR1 b1 b2  ⇒ [ TByte HC08 b1 ; TByte HC08 b2 ]