[M3commit] CVS Update: cm3

Jay K jay.krell at cornell.edu
Sun Mar 7 05:46:05 CET 2010


small diff attached/inline


Index: Stackx86.m3
===================================================================
RCS file: /usr/cvs/cm3/m3-sys/m3back/src/Stackx86.m3,v
retrieving revision 1.113
diff -u -r1.113 Stackx86.m3
--- Stackx86.m3 6 Mar 2010 12:55:52 -0000 1.113
+++ Stackx86.m3 7 Mar 2010 04:42:39 -0000
@@ -1641,6 +1641,15 @@
          really messy to cover all the special cases correctly *)
 
       IF sign THEN
+
+        (* The method used here does not work for extracting zero bits.
+         * Make sure we are not asked to do that.
+         *)
+        IF NOT (stop2.loc = OLoc.imm AND TIntN.NE(stop2.imm, TZero)) THEN
+          t.Err("doextract: not able to extract and sign extend zero bits");
+        END;
+        <* ASSERT stop2.loc = OLoc.imm AND TIntN.NE(stop2.imm, TZero) *>
+
         find(t, stack0, Force.regset, RegSet { ECX });
         find(t, stack1, Force.any);
         find(t, stack2, Force.anyreg);

 
> Date: Sun, 7 Mar 2010 05:45:21 +0000
> To: m3commit at elegosoft.com
> From: jkrell at elego.de
> Subject: [M3commit] CVS Update: cm3
> 
> CVSROOT: /usr/cvs
> Changes by: jkrell at birch. 10/03/07 05:45:21
> 
> Modified files:
> cm3/m3-sys/m3back/src/: Stackx86.m3 
> 
> Log message:
> don't allow extracting and sign extending zero bits
> 
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20100307/ea033103/attachment-0002.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: 1.txt
URL: <http://m3lists.elegosoft.com/pipermail/m3commit/attachments/20100307/ea033103/attachment-0002.txt>


More information about the M3commit mailing list