etisserant@0: /*
msousa@261:  *  matiec - a compiler for the programming languages defined in IEC 61131-3
msousa@261:  *  Copyright (C) 2003-2011  Mario de Sousa (msousa@fe.up.pt)
Edouard@279:  *  Copyright (C) 2007-2011  Laurent Bessard and Edouard Tisserant
msousa@261:  *
msousa@261:  *  This program is free software: you can redistribute it and/or modify
msousa@261:  *  it under the terms of the GNU General Public License as published by
msousa@261:  *  the Free Software Foundation, either version 3 of the License, or
msousa@261:  *  (at your option) any later version.
msousa@261:  *
msousa@261:  *  This program is distributed in the hope that it will be useful,
msousa@261:  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
msousa@261:  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
msousa@261:  *  GNU General Public License for more details.
msousa@261:  *
msousa@261:  *  You should have received a copy of the GNU General Public License
msousa@261:  *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
msousa@261:  *
etisserant@0:  *
etisserant@0:  * This code is made available on the understanding that it will not be
etisserant@0:  * used in safety-critical situations without a full and competent review.
etisserant@0:  */
etisserant@0: 
etisserant@0: /*
msousa@261:  * An IEC 61131-3 compiler.
etisserant@0:  *
etisserant@0:  * Based on the
etisserant@0:  * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)
etisserant@0:  *
etisserant@0:  */
etisserant@0: 
etisserant@0: /*
etisserant@0:  ****************************************************************
etisserant@0:  ****************************************************************
etisserant@0:  ****************************************************************
etisserant@0:  *********                                              *********
etisserant@0:  *********                                              *********
etisserant@0:  *********   O V E R A L L    A R C H I T E C T U R E   *********
etisserant@0:  *********                                              *********
etisserant@0:  *********                                              *********
etisserant@0:  ****************************************************************
etisserant@0:  ****************************************************************
etisserant@0:  ****************************************************************
etisserant@0: 
etisserant@0:  The compiler works in 4(+1) stages:
etisserant@0:  Stage 1   - Lexical analyser      - implemented with flex (iec.flex)
etisserant@0:  Stage 2   - Syntax parser         - implemented with bison (iec.y)
etisserant@0:  Stage 3   - Semantics analyser    - not yet implemented
etisserant@0:  Stage 4   - Code generator        - implemented in C++
etisserant@0:  Stage 4+1 - Binary code generator - gcc, javac, etc...
etisserant@0: 
etisserant@0: 
etisserant@0:  Data structures passed between stages, in global variables:
etisserant@0:  1->2   : tokens (int), and token values (char *)
etisserant@0:  2->1   : symbol tables (defined in symtable.hh)
etisserant@0:  2->3   : abstract syntax tree (tree of C++ classes, in absyntax.hh file)
etisserant@0:  3->4   : Same as 2->3
etisserant@0:  4->4+1 : file with program in c, java, etc...
etisserant@0: 
etisserant@0: 
etisserant@0:  The compiler works in several passes:
etisserant@0:  Pass 1: executes stages 1 and 2 simultaneously
etisserant@0:  Pass 2: executes stage 3
etisserant@0:  Pass 3: executes stage 4
etisserant@0:  Pass 4: executes stage 4+1
etisserant@0: */
etisserant@0: 
etisserant@0: 
etisserant@0: 
conti@746: #include <stdio.h>
greg@186: #include <getopt.h>
etisserant@139: #include <string.h>
conti@746: #include <stdlib.h>
conti@746: #include <stdarg.h>
conti@746: #include <iostream>
conti@746: 
conti@746: 
conti@746: #include "config/config.h"
conti@746: #include "absyntax/absyntax.hh"
conti@746: #include "absyntax_utils/absyntax_utils.hh"
conti@746: #include "stage1_2/stage1_2.hh"
conti@746: #include "stage3/stage3.hh"
conti@746: #include "stage4/stage4.hh"
conti@746: #include "main.hh"
conti@746: 
msousa@350: 
conti@374: #ifndef HGVERSION
conti@746:    #define HGVERSION ""
conti@374: #endif
msousa@350: 
conti@746: 
msousa@596: 
msousa@596: void error_exit(const char *file_name, int line_no, const char *errmsg, ...) {
msousa@596:   va_list argptr;
msousa@596:   va_start(argptr, errmsg); /* second argument is last fixed pamater of error_exit() */
msousa@596: 
msousa@596:   fprintf(stderr, "\nInternal compiler error in file %s at line %d", file_name, line_no);
msousa@596:   if (errmsg != NULL) {
msousa@596:     fprintf(stderr, ": ");
msousa@596:     vfprintf(stderr, errmsg, argptr);
msousa@596:   } else {
msousa@596:     fprintf(stderr, ".");
msousa@596:   }
msousa@596:   fprintf(stderr, "\n");
msousa@596:   va_end(argptr);
msousa@596:     
etisserant@0:   exit(EXIT_FAILURE);
etisserant@0: }
etisserant@0: 
etisserant@0: 
etisserant@0: static void printusage(const char *cmd) {
mjsousa@878:   printf("\nsyntax: %s [<options>] [-O <output_options>] [-I <include_directory>] [-T <target_directory>] <input_file>\n", cmd);
mjsousa@878:   printf(" -h : show this help message\n");
mjsousa@878:   printf(" -v : print version number\n");  
mjsousa@878:   printf(" -f : display full token location on error messages\n");
mjsousa@946:   printf(" -l : use a relaxed datatype equivalence model       (a non-standard extension?)\n");  
mjsousa@946:   printf(" -s : allow use of safe datatypes (SAFEBOOL, etc.)   (defined in PLCOpen Safety)\n"); // PLCopen TC5 "Safety Software Technical Specification - Part 1" v1.0
mjsousa@933:   printf(" -r : allow use of references (REF_TO, REF, ^, NULL) (an IEC 61131-3 v3 feature)\n");
mjsousa@932:   printf(" -R : allow use of REF_TO ANY datatypes              (a non-standard extension!)\n");
mjsousa@932:   printf("        as well as REF_TO in ARRAYs and STRUCTs      (a non-standard extension!)\n");
mjsousa@878:   printf(" -c : create conversion functions for enumerated data types\n");
mjsousa@878:   printf(" -O : options for output (code generation) stage. Available options for %s are...\n", cmd);
mjsousa@878:   stage4_print_options();
msousa@261:   printf("\n");
mjsousa@873:   printf("%s - Copyright (C) 2003-2014 \n"
msousa@261:          "This program comes with ABSOLUTELY NO WARRANTY!\n"
msousa@362:          "This is free software licensed under GPL v3, and you are welcome to redistribute it under the conditions specified by this license.\n", PACKAGE_NAME);
etisserant@0: }
etisserant@0: 
etisserant@0: 
mjsousa@946: /* declare the global options variable */
mjsousa@946: runtime_options_t runtime_options;
mjsousa@946: 
etisserant@0: 
etisserant@0: int main(int argc, char **argv) {
etisserant@0:   symbol_c *tree_root;
lbessard@46:   char * builddir = NULL;
mario@177:   int optres, errflg = 0;
conti@521:   int path_len;
conti@746: 
mjsousa@867:   /* Default values for the command line options... */
mjsousa@946:   runtime_options.safe_extensions         = false; /* allow use of SAFExxx datatypes */
mjsousa@946:   runtime_options.full_token_loc          = false; /* error messages specify full token location */
mjsousa@946:   runtime_options.conversion_functions    = false; /* Create a conversion function for derived datatype */
mjsousa@946:   runtime_options.nested_comments         = false; /* Allow the use of nested comments. */
mjsousa@946:   runtime_options.ref_standard_extensions = false; /* Allow the use of REFerences (keywords REF_TO, REF, DREF, ^, NULL). */
mjsousa@946:   runtime_options.ref_nonstand_extensions = false; /* Allow the use of non-standard extensions to REF_TO datatypes: REF_TO ANY, and REF_TO in struct elements! */
mjsousa@946:   runtime_options.includedir              = NULL;  /* Include directory, where included files will be searched for... */
mjsousa@946: 
mjsousa@946:   /* Default values for the command line options... */
mjsousa@946:   runtime_options.relaxed_datatype_model    = false; /* by default use the strict datatype equivalence model */
mjsousa@946:   
mario@181:   /******************************************/
mario@181:   /*   Parse command line options...        */
mario@181:   /******************************************/
mjsousa@946:   while ((optres = getopt(argc, argv, ":nhvflsrRcI:T:O:")) != -1) {
mario@177:     switch(optres) {
mario@177:     case 'h':
mario@177:       printusage(argv[0]);
mario@177:       return 0;
msousa@362:     case 'v':
mjsousa@878:       fprintf(stdout, "%s version %s\n" "changeset id: %s\n", PACKAGE_NAME, PACKAGE_VERSION, HGVERSION);      
conti@746:       return 0;
mjsousa@946:     case 'l':
mjsousa@946:       runtime_options.relaxed_datatype_model = true;
mjsousa@946:       break;
mjsousa@946:   
mario@177:     case 'f':
mjsousa@946:       runtime_options.full_token_loc = true;
mario@177:       break;
mario@177:     case 's':
mjsousa@946:       runtime_options.safe_extensions = true;
mario@177:       break;
mjsousa@924:     case 'R':
mjsousa@946:       runtime_options.ref_standard_extensions = true; /* use of REF_TO ANY implies activating support for REF extensions! */
mjsousa@946:       runtime_options.ref_nonstand_extensions = true;
mjsousa@924:       break;
mjsousa@873:     case 'r':
mjsousa@946:       runtime_options.ref_standard_extensions = true;
mjsousa@873:       break;
conti@746:     case 'c':
mjsousa@946:       runtime_options.conversion_functions = true;
conti@746:       break;
mjsousa@867:     case 'n':
mjsousa@946:       runtime_options.nested_comments = true;
mjsousa@867:       break;
mario@177:     case 'I':
conti@521:       /* NOTE: To improve the usability under windows:
conti@521:        *       We delete last char's path if it ends with "\".
conti@521:        *       In this way compiler front-end accepts paths with or without
conti@521:        *       slash terminator.
conti@521:        */
conti@521:       path_len = strlen(optarg) - 1;
conti@521:       if (optarg[path_len] == '\\') optarg[path_len]= '\0';
mjsousa@946:       runtime_options.includedir = optarg;
mario@177:       break;
lbessard@179:     case 'T':
conti@521:       /* NOTE: see note above */
conti@521:       path_len = strlen(optarg) - 1;
conti@521:       if (optarg[path_len] == '\\') optarg[path_len]= '\0';
lbessard@179:       builddir = optarg;
lbessard@179:       break;
mjsousa@878:     case 'O':
mjsousa@878:       if (stage4_parse_options(optarg) < 0) errflg++;
mjsousa@878:       break;
mjsousa@878:     case ':':       /* -I, -T, or -O without operand */
mario@177:       fprintf(stderr, "Option -%c requires an operand\n", optopt);
mario@177:       errflg++;
mario@177:       break;
mario@177:     case '?':
mario@181:       fprintf(stderr, "Unrecognized option: -%c\n", optopt);
mario@181:       errflg++;
mario@181:       break;
mario@177:     default:
mario@181:       fprintf(stderr, "Unknown error while parsing command line options.");
mario@177:       errflg++;
mario@177:       break;
mario@177:     }
etisserant@0:   }
etisserant@0: 
mario@177:   if (optind == argc) {
mario@177:     fprintf(stderr, "Missing input file\n");
mario@177:     errflg++;
lbessard@136:   }
lbessard@136: 
mario@177:   if (optind > argc) {
mario@177:     fprintf(stderr, "Too many input files\n");
mario@177:     errflg++;
mario@177:   }
mario@177: 
mario@177:   if (errflg) {
conti@746:     printusage(argv[0]);
conti@746:     return EXIT_FAILURE;
lbessard@136:   }
lbessard@136: 
lbessard@136: 
mario@181:   /***************************/
mario@181:   /*   Run the compiler...   */
mario@181:   /***************************/
etisserant@0:   /* 1st Pass */
mjsousa@946:   if (stage1_2(argv[optind], &tree_root) < 0)
etisserant@0:     return EXIT_FAILURE;
etisserant@0: 
etisserant@0:   /* 2nd Pass */
msousa@315:     /* basically loads some symbol tables to speed up look ups later on */
msousa@315:   absyntax_utils_init(tree_root);  
msousa@315:     /* moved to bison, although it could perfectly well still be here instead of in bison code. */
msousa@315:   //add_en_eno_param_decl_c::add_to(tree_root);
msousa@315: 
mjsousa@946:   /* Do semantic verification of code */
etisserant@0:   if (stage3(tree_root) < 0)
etisserant@0:     return EXIT_FAILURE;
ccb@202:   
etisserant@0:   /* 3rd Pass */
lbessard@46:   if (stage4(tree_root, builddir) < 0)
etisserant@0:     return EXIT_FAILURE;
etisserant@0: 
etisserant@0:   /* 4th Pass */
msousa@315:   /* Call gcc, g++, or whatever... */
etisserant@0:   /* Currently implemented in the Makefile! */
etisserant@0: 
etisserant@0:   return 0;
etisserant@0: }
etisserant@0: 
etisserant@0: