freescale porting

[helm.git] / helm / software / matita / contribs / ng_assembly / num / word32.ma

diff --git a/helm/software/matita/contribs/ng_assembly/num/word32.ma b/helm/software/matita/contribs/ng_assembly/num/word32.ma
index 7be3a53c5fd90a6b58982bbe51e886dc7585f569..09cd0ada2506f283702f21d3d0bea7af08abf3e4 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/num/word32.ma
+++ b/helm/software/matita/contribs/ng_assembly/num/word32.ma
@@ -64,10 +64,12 @@ ndefinition xor_w32 ≝ fop2_cn ? xor_w16.
 (* operatore Most Significant Bit *)
 ndefinition getMSB_w32 ≝ getOPH_cn ? getMSB_w16.
 ndefinition setMSB_w32 ≝ setOPH_cn ? setMSB_w16.
+ndefinition clrMSB_w32 ≝ setOPH_cn ? clrMSB_w16.
 
 (* operatore Least Significant Bit *)
 ndefinition getLSB_w32 ≝ getOPL_cn ? getLSB_w16.
 ndefinition setLSB_w32 ≝ setOPL_cn ? setLSB_w16.
+ndefinition clrLSB_w32 ≝ setOPL_cn ? clrLSB_w16.
 
 (* operatore estensione unsigned *)
 ndefinition extu_w32 ≝ λw2.〈〈〈x0,x0〉:〈x0,x0〉〉.w2〉.