Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /MLRISC/trunk/amd64/instructions/amd64Props.sml
ViewVC logotype

Diff of /MLRISC/trunk/amd64/instructions/amd64Props.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3236, Mon Nov 3 14:10:44 2008 UTC revision 3237, Mon Nov 24 22:47:06 2008 UTC
# Line 357  Line 357 
357             (* esac *))             (* esac *))
358           | I.XADD {sz, ...} => szToInt sz           | I.XADD {sz, ...} => szToInt sz
359           | I.CMPXCHG {sz, ...} => szToInt sz           | I.CMPXCHG {sz, ...} => szToInt sz
360             | I.PAUSE => 64
361             | (I.MFENCE | I.SFENCE | I.LFENCE) => 64
362           | _ => raise Fail "" (*64*)           | _ => raise Fail "" (*64*)
363        (* esac *))        (* esac *))
364    

Legend:
Removed from v.3236  
changed lines
  Added in v.3237

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0