1

/*

     2

 *  matiec - a compiler for the programming languages defined in IEC 61131-3

     3

 *  Copyright (C) 2003-2011  Mario de Sousa (msousa@fe.up.pt)

     4

 *  Copyright (C) 2007-2011  Laurent Bessard and Edouard Tisserant

     5

 *

     6

 *  This program is free software: you can redistribute it and/or modify

     7

 *  it under the terms of the GNU General Public License as published by

     8

 *  the Free Software Foundation, either version 3 of the License, or

     9

 *  (at your option) any later version.

    10

 *

    11

 *  This program is distributed in the hope that it will be useful,

    12

 *  but WITHOUT ANY WARRANTY; without even the implied warranty of

    13

 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    14

 *  GNU General Public License for more details.

    15

 *

    16

 *  You should have received a copy of the GNU General Public License

    17

 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.

    18

 *

    19

 *

    20

 * This code is made available on the understanding that it will not be

    21

 * used in safety-critical situations without a full and competent review.

    22

 */

    23

    24

/*

    25

 * An IEC 61131-3 compiler.

    26

 *

    27

 * Based on the

    28

 * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)

    29

 *

    30

 */

    31

    32

/*

    33

 ****************************************************************

    34

 ****************************************************************

    35

 ****************************************************************

    36

 *********                                              *********

    37

 *********                                              *********

    38

 *********   O V E R A L L    A R C H I T E C T U R E   *********

    39

 *********                                              *********

    40

 *********                                              *********

    41

 ****************************************************************

    42

 ****************************************************************

    43

 ****************************************************************

    44

    45

 The compiler works in 4(+1) stages:

    46

 Stage 1   - Lexical analyser      - implemented with flex (iec.flex)

    47

 Stage 2   - Syntax parser         - implemented with bison (iec.y)

    48

 Stage 3   - Semantics analyser    - not yet implemented

    49

 Stage 4   - Code generator        - implemented in C++

    50

 Stage 4+1 - Binary code generator - gcc, javac, etc...

    51

    52

    53

 Data structures passed between stages, in global variables:

    54

 1->2   : tokens (int), and token values (char *)

    55

 2->1   : symbol tables (defined in symtable.hh)

    56

 2->3   : abstract syntax tree (tree of C++ classes, in absyntax.hh file)

    57

 3->4   : Same as 2->3

    58

 4->4+1 : file with program in c, java, etc...

    59

    60

    61

 The compiler works in several passes:

    62

 Pass 1: executes stages 1 and 2 simultaneously

    63

 Pass 2: executes stage 3

    64

 Pass 3: executes stage 4

    65

 Pass 4: executes stage 4+1

    66

*/

    67

    68

    69

    70

//#include <stdio.h>   // printf()

    71

#include <getopt.h>

    72

#include <string.h>

    73

#include <stdlib.h>  // EXIT_FAILURE

    74

#include "absyntax/absyntax.hh"  // symbol_c type

    75

    76

/* A macro for printing out internal parser errors... */

    77

#include <iostream> // required for std::cerr

    78

    79

#ifndef HGVERSION

    80

#define HGVERSION ""

    81

#endif

    82

    83

#define ERROR          error_exit(__FILE__,__LINE__)

    84

void error_exit(const char *file_name, int line_no) {

    85

  std::cerr << "\nInternal compiler error in file " << file_name

    86

            << " at line " << line_no << "\n";

    87

//   if (msg != NULL) std::cerr << message << "\n\n";

    88

  exit(EXIT_FAILURE);

    89

}

    90

    91

    92

    93

#include "config/config.h"

    94

#include "stage1_2/stage1_2.hh"

    95

#include "absyntax_utils/absyntax_utils.hh"

    96

    97

int stage3(symbol_c *tree_root);

    98

int stage4(symbol_c *tree_root, const char *builddir);

    99

   100

   101

static void printusage(const char *cmd) {

   102

  printf("syntax: %s [-h] [-v] [-f] [-s] [-I <include_directory>] [-T <target_directory>] <input_file>\n", cmd);

   103

  printf("  h : show this help message\n");

   104

  printf("  v : print version number\n");  

   105

  printf("  f : display full token location on error messages\n");

   106

      /******************************************************/

   107

      /* whether we are suporting safe extensions           */

   108

      /* as defined in PLCopen - Technical Committee 5      */

   109

      /* Safety Software Technical Specification,           */

   110

      /* Part 1: Concepts and Function Blocks,              */

   111

      /* Version 1.0 – Official Release                     */

   112

      /******************************************************/

   113

  printf("  s : allow use of safe extensions\n");

   114

  printf("\n");

   115

  printf("%s - Copyright (C) 2003-2011 \n"

   116

         "This program comes with ABSOLUTELY NO WARRANTY!\n"

   117

         "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);

   118

}

   119

   120

   121

   122

int main(int argc, char **argv) {

   123

  symbol_c *tree_root;

   124

  char * builddir = NULL;

   125

  stage1_2_options_t stage1_2_options = {false, false, NULL};

   126

  int optres, errflg = 0;

   128

/*

   129

  extern char *optarg;

   130

  extern int optind, optopt;

   131

*/

   132

   133

  /******************************************/

   134

  /*   Parse command line options...        */

   135

  /******************************************/

   136

  while ((optres = getopt(argc, argv, ":hvfsI:T:")) != -1) {

   137

    switch(optres) {

   138

    case 'h':

   139

      printusage(argv[0]);

   140

      return 0;

   141

    case 'v':

   142

      fprintf(stdout, "%s version %s\n"

   143

		      "changeset id: %s\n", PACKAGE_NAME, PACKAGE_VERSION, HGVERSION);      

   144

      return 0;        

   145

    case 'f':

   146

      stage1_2_options.full_token_loc = true;

   147

      break;

   148

    case 's':

   149

      stage1_2_options.safe_extensions = true;

   150

      break;

   151

    case 'I':

   159

      stage1_2_options.includedir = optarg;

   160

      break;

   161

    case 'T':

   165

      builddir = optarg;

   166

      break;

   167

    case ':':       /* -I or -T without operand */

   168

      fprintf(stderr, "Option -%c requires an operand\n", optopt);

   169

      errflg++;

   170

      break;

   171

    case '?':

   172

      fprintf(stderr, "Unrecognized option: -%c\n", optopt);

   173

      errflg++;

   174

      break;

   175

    default:

   176

      fprintf(stderr, "Unknown error while parsing command line options.");

   177

      errflg++;

   178

      break;

   179

    }

   180

  }

   181

   182

  if (optind == argc) {

   183

    fprintf(stderr, "Missing input file\n");

   184

    errflg++;

   185

  }

   186

   187

  if (optind > argc) {

   188

    fprintf(stderr, "Too many input files\n");

   189

    errflg++;

   190

  }

   191

   192

  if (errflg) {

   193

      printf("\n");

   194

      printusage(argv[0]);

   195

      return EXIT_FAILURE;

   196

  }

   197

   198

   199

  /***************************/

   200

  /*   Run the compiler...   */

   201

  /***************************/

   202

  /* 1st Pass */

   203

  if (stage1_2(argv[optind], &tree_root, stage1_2_options) < 0)

   204

    return EXIT_FAILURE;

   205

   206

  /* 2nd Pass */

   207

    /* basically loads some symbol tables to speed up look ups later on */

   208

  absyntax_utils_init(tree_root);  

   209

    /* moved to bison, although it could perfectly well still be here instead of in bison code. */

   210

  //add_en_eno_param_decl_c::add_to(tree_root);

   211

   212

  /* Do semantic verification of code (data type and lvalue checking currently implemented) */

   213

  if (stage3(tree_root) < 0)

   214

    return EXIT_FAILURE;

   215

   216

   217

  /* 3rd Pass */

   218

  if (stage4(tree_root, builddir) < 0)

   219

    return EXIT_FAILURE;

   220

   221

  /* 4th Pass */

   222

  /* Call gcc, g++, or whatever... */

   223

  /* Currently implemented in the Makefile! */

   224

   225

  return 0;

   226

}

   227

   228