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 /sml/trunk/src/compiler/FLINT/cpsopt/contract.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/cpsopt/contract.sml

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

revision 1182, Thu Mar 28 16:41:29 2002 UTC revision 1183, Fri Mar 29 19:09:48 2002 UTC
# Line 1042  Line 1042 
1042       | (P.arith{oper=P./,...}, [INT i, INT 0]) => raise ConstFold       | (P.arith{oper=P./,...}, [INT i, INT 0]) => raise ConstFold
1043       | (P.arith{oper=P./,kind=P.INT 31}, [INT i, INT j]) =>       | (P.arith{oper=P./,kind=P.INT 31}, [INT i, INT j]) =>
1044                  let val x = Int.quot(i, j) in x+x; click "L"; INT x end                  let val x = Int.quot(i, j) in x+x; click "L"; INT x end
1045         | (P.arith{oper=P.div,...}, [v, INT 1]) => (click "K"; v)
1046         | (P.arith{oper=P.div,...}, [INT i, INT 0]) => raise ConstFold
1047         | (P.arith{oper=P.div,kind=P.INT 31}, [INT i, INT j]) =>
1048                    let val x = Int.div(i, j) in x+x; click "L"; INT x end
1049         (* FIXME: should we do anything for mod or rem here? *)
1050       | (P.arith{oper=P.+,...}, [INT 0, v]) => (click "M"; v)       | (P.arith{oper=P.+,...}, [INT 0, v]) => (click "M"; v)
1051       | (P.arith{oper=P.+,...}, [v, INT 0]) => (click "N"; v)       | (P.arith{oper=P.+,...}, [v, INT 0]) => (click "N"; v)
1052       | (P.arith{oper=P.+,kind=P.INT 31}, [INT i, INT j]) =>       | (P.arith{oper=P.+,kind=P.INT 31}, [INT i, INT j]) =>

Legend:
Removed from v.1182  
changed lines
  Added in v.1183

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