Changeset 2323


Ignore:
Timestamp:
Feb 3, 2007, 1:34:12 AM (14 years ago)
Author:
orlov
Message:
  • Output optimized ASAIL with -asi without -no.
File:
1 edited

Legend:

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

    r2319 r2323  
    217217          (INTERFACE t.ModuleName e.interf) (MODULE t.ModuleName e.module);
    218218        AS-AIL =
     219          e.Items : t.interf (MODULE t.asail-mod-name e.asail-module),
     220          <Extract-Inputs e.asail-module> :: e.module,
     221          {
     222            <In-Table? &RFP-Options NO-OPTIM> = e.module;
     223            <Verbose "as-ail optimization started">,
     224              <Simplify-ASAIL e.module> :: e.module,
     225              <Verbose "as-ail optimization finished"> =
     226              e.module;
     227          } :: e.module ,
    219228          {
    220229            <In-Table? &RFP-Options AS-AIL> =
    221230              <Open-Channel e.basename ('.asi')> :: s.channel s.need-close?,
    222231              {
    223                 e.Items : e t.item e,
     232                t.interf (MODULE t.asail-mod-name e.module) : e t.item e,
    224233                  <RFP-Pretty-Print s.channel () t.item>,
    225234                  $fail;;
     
    229238          \{
    230239            <In-Table? &RFP-Options HH>,
    231               e.Items : (INTERFACE t.asail-mod-name v.headers) e,
     240              t.interf : (INTERFACE t v.headers),
    232241              <Verbose "headers generation started">,
    233242              <RFP-ASAIL-To-CPP t.asail-mod-name v.headers> :: e.headers,
     
    261270              },
    262271              $fail;
    263             <In-Table? &RFP-Options CC>,
    264               e.Items : e (MODULE t.asail-mod-name v.module),
    265               <Extract-Inputs v.module> :: e.module,
    266               {
    267                 <In-Table? &RFP-Options NO-OPTIM> = e.module;
    268                 <Verbose "as-ail optimization started">,
    269                   <Simplify-ASAIL e.module> :: e.module,
    270 //                  <ASAIL-Optim e.module> :: e.module,
    271                   <Verbose "as-ail optimization finished"> =
    272                   e.module;
    273               } :: e.module ,
     272            <In-Table? &RFP-Options CC>, e.asail-module : v,
    274273              <Verbose "compilation from as-ail to c++ started">,
    275274              <RFP-ASAIL-To-CPP t.asail-mod-name e.module> :: e.module,
     
    290289              { s.need-close? : 1 = <Close-Channel s.channel>;; },
    291290              $fail;
    292             <In-Table? &RFP-Options TPP>,
    293               e.Items : e (MODULE t.asail-mod-name v.module),
    294               <Extract-Inputs v.module> :: e.module,
    295               {
    296                 <In-Table? &RFP-Options NO-OPTIM> = e.module;
    297                 <Verbose "as-ail optimization started">,
    298                   <Simplify-ASAIL e.module> :: e.module,
    299 //                  <ASAIL-Optim e.module> :: e.module,
    300                   <Verbose "as-ail optimization finished"> =
    301                   e.module;
    302               } :: e.module ,
     291            <In-Table? &RFP-Options TPP>, e.asail-module : v,
    303292              <Verbose "compilation from as-ail to T++ started">,
    304293              <RFP-ASAIL-To-TPP t.asail-mod-name e.module> :: e.module,
     
    319308              $fail;                   
    320309            <In-Table? &RFP-Options JAVA>,
    321               e.Items : (INTERFACE t.asail-mod-name e.headers) (MODULE t e.module),
    322               <Extract-Inputs e.module> :: e.module,
    323               {
    324                 <In-Table? &RFP-Options NO-OPTIM> = e.module;
    325                 <Verbose "as-ail optimization started">,
    326 //                  <ASAIL-Optim e.module> :: e.module,
    327                   <Simplify-ASAIL e.module> :: e.module,
    328                   {
    329                     e.module : e t.item e,
    330 //                      <RFP-Pretty-Print &StdOut () t.item>,
    331                       $fail;;
    332                   },
    333                   <Verbose "as-ail optimization finished"> =
    334                   e.module;
    335               } :: e.module,
    336310              <Verbose "compilation from as-ail to java started">,
     311              t.interf : (INTERFACE t e.headers),
    337312              {
    338313                e.headers (/*e.exports*/) $iter {
     
    389364              $fail;
    390365            <In-Table? &RFP-Options JBC>,
    391               e.Items : (INTERFACE t.asail-mod-name e.headers) (MODULE t e.module),
    392               <Extract-Inputs e.module> :: e.module,
    393               {
    394                 <In-Table? &RFP-Options NO-OPTIM> = e.module;
    395                 <Verbose "as-ail optimization started">,
    396 //                  <ASAIL-Optim e.module> :: e.module,
    397                   <Simplify-ASAIL e.module> :: e.module,
    398                   {
    399                     e.module : e t.item e,
    400 //                      <RFP-Pretty-Print &StdOut () t.item>,
    401                       $fail;;
    402                   },
    403                   <Verbose "as-ail optimization finished"> =
    404                   e.module;
    405               } :: e.module,
    406               <Verbose "compilation from as-ail to java started">,
     366              <Verbose "compilation from as-ail to java-bytecode started">,
     367              t.interf : (INTERFACE t e.headers),
    407368              {
    408369                e.headers (/*e.exports*/) $iter {
     
    415376              <RFP-ASAIL-To-JBC t.asail-mod-name (e.exports) e.module>
    416377                :: (e.java-module-name) (e.inputs) e.module,
    417               <Verbose "compilation from as-ail to java finished">,
     378              <Verbose "compilation from as-ail to java-bytecode finished">,
    418379              {
    419380                <In-Table? &RFP-Options NAME> = e.basename;
     
    457418              <CPP-Pretty-Print 0 s.channel () e.module>,
    458419              { s.need-close? : 1 = <Close-Channel s.channel>;; },
    459                                                         $fail;
     420              $fail;
    460421          };
    461422      } :: s.type e.Items,
Note: See TracChangeset for help on using the changeset viewer.