[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