Ignore:
Timestamp:
Feb 7, 2007, 9:39:21 PM (14 years ago)
Author:
orlov
Message:
  • Advances in Java-bytecode generation.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/compiler/rfp_compile.rf

    r2068 r2347  
    12051205    <Create-Int-Var ("len") Aux e.minuend> :: t.m-var e.m-assign,
    12061206      <Create-Int-Var ("len") Aux e.subtrahend> :: t.s-var e.s-assign,
    1207       ((INFIX "<" (t.m-var)
     1207      (IF ((INFIX "<" (t.m-var)
    12081208        ((INFIX "+" (t.s-var)
    12091209              ((INFIX "*" (e.min) (s.mult)))
    1210         ))                      )) :: e.min-cond,
     1210        ))                      ) e.end-cycle)) :: e.min-cond,
    12111211      <Get-Var Max t.var> : {
    12121212        /*empty*/;
    12131213        e.max =
    1214           ((INFIX ">" (t.m-var)
     1214          (IF ((INFIX ">" (t.m-var)
    12151215            ((INFIX "+" (t.s-var)
    12161216                  ((INFIX "*" (e.max) (s.mult)))
    1217           ))                    ));
     1217          ))                    ) e.end-cycle));
    12181218      } :: e.max-cond,
    12191219      (INFIX "%" ((INFIX "-" (t.m-var) (t.s-var))) (s.mult)) :: e.div-cond,
     
    12271227      <Map &Reclassify-Clash (<Sub (e.clashes) <? &Checked-Lengths>>)> : e,
    12281228      e.m-assign e.s-assign
    1229       (IF ((INFIX "||" e.min-cond e.max-cond)) e.end-cycle)
     1229      e.min-cond e.max-cond
    12301230      (IF (e.div-cond) e.fail)
    12311231      e.len-assign;
     
    12421242      <Get-Max e.vars-Re> :: e.max =
    12431243        <Get-Min e.vars-Pe> :: e.min,
    1244         ((INFIX "<" (e.len-Re e.max) (e.len-Pe e.min)));
     1244        (IF ((INFIX "<" (e.len-Re e.max) (e.len-Pe e.min))) e.fail);
    12451245      /*empty*/;
    12461246    } :: e.cond1,
     
    12481248      <Get-Max e.vars-Pe> :: e.max =
    12491249        <Get-Min e.vars-Re> :: e.min,
    1250         ((INFIX ">" (e.len-Re e.min) (e.len-Pe e.max)));
     1250        (IF ((INFIX ">" (e.len-Re e.min) (e.len-Pe e.max))) e.fail);
    12511251      /*empty*/;
    12521252    } :: e.cond2,
    1253     {
    1254       e.cond1 : /*empty*/, e.cond2 : /*empty*/ = /*empty*/;
    1255       (IF ((INFIX "||" e.cond1 e.cond2)) e.fail);
    1256     } :: e.cond,
    1257     e.cond
     1253    e.cond1 e.cond2
    12581254    <CC-Unknown-Lengths (e.fail) e.rest>;
    12591255  <RFP-Clear-Table &Unknown-Lengths>;
Note: See TracChangeset for help on using the changeset viewer.