msousa@417: /*
msousa@417:  *  matiec - a compiler for the programming languages defined in IEC 61131-3
msousa@417:  *
msousa@417:  *  Copyright (C) 2009-2012  Mario de Sousa (msousa@fe.up.pt)
msousa@417:  *  Copyright (C) 2012       Manuele Conti (manuele.conti@sirius-es.it)
msousa@417:  *  Copyright (C) 2012       Matteo Facchinetti (matteo.facchinetti@sirius-es.it)
msousa@417:  *
msousa@417:  *
msousa@417:  *  This program is free software: you can redistribute it and/or modify
msousa@417:  *  it under the terms of the GNU General Public License as published by
msousa@417:  *  the Free Software Foundation, either version 3 of the License, or
msousa@417:  *  (at your option) any later version.
msousa@417:  *
msousa@417:  *  This program is distributed in the hope that it will be useful,
msousa@417:  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
msousa@417:  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
msousa@417:  *  GNU General Public License for more details.
msousa@417:  *
msousa@417:  *  You should have received a copy of the GNU General Public License
msousa@417:  *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
msousa@417:  *
msousa@417:  *
msousa@417:  * This code is made available on the understanding that it will not be
msousa@417:  * used in safety-critical situations without a full and competent review.
msousa@417:  */
msousa@417: 
msousa@417: /*
msousa@417:  * An IEC 61131-3 compiler.
msousa@417:  *
msousa@417:  * Based on the
msousa@417:  * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)
msousa@417:  *
msousa@417:  */
msousa@417: 
msousa@552: /* NOTE: The algorithm implemented here assumes that flow control analysis has already been completed!
msousa@552:  *       BEFORE running this visitor, be sure to CALL the flow_control_analysis_c visitor!
msousa@552:  */
msousa@552: 
msousa@552: 
msousa@552: /*
msousa@552:  *  Fill the candidate datatype list for all symbols that may legally 'have' a data type (e.g. variables, literals, function calls, expressions, etc.)
msousa@552:  * 
msousa@552:  *  The candidate datatype list will be filled with a list of all the data types that expression may legally take.
msousa@552:  *  For example, the very simple literal '0' (as in foo := 0), may represent a:
msousa@552:  *    BOOL, BYTE, WORD, DWORD, LWORD, USINT, SINT, UINT, INT, UDINT, DINT, ULINT, LINT (as well as the SAFE versions of these data tyes too!)
msousa@719:  *
msousa@719:  * WARNING: This visitor class starts off by building a map of all enumeration constants that are defined in the source code (i.e. a library_c symbol),
msousa@719:  *          and this map is later used to determine the datatpe of each use of an enumeration constant. By implication, the fill_candidate_datatypes_c 
msousa@719:  *          visitor class will only work corretly if it is asked to visit a symbol of class library_c!!
msousa@552:  */
msousa@552: 
msousa@417: 
msousa@417: #include "../absyntax_utils/absyntax_utils.hh"
msousa@438: #include "datatype_functions.hh"
msousa@417: 
msousa@417: class fill_candidate_datatypes_c: public iterator_visitor_c {
msousa@417: 
msousa@417:   private:
msousa@417:     search_varfb_instance_type_c *search_varfb_instance_type;
msousa@417:     /* When calling a function block, we must first find it's type,
msousa@417:      * by searching through the declarations of the variables currently
msousa@417:      * in scope.
msousa@417:      * This class does just that...
msousa@417:      * A new object instance is instantiated whenever we start checking semantics
msousa@417:      * for a function block type declaration, or a program declaration.
msousa@417:      * This object instance will then later be called while the
msousa@417:      * function block's or the program's body is being handled.
msousa@417:      *
msousa@417:      * Note that functions cannot contain calls to function blocks,
msousa@417:      * so we do not create an object instance when handling
msousa@417:      * a function declaration.
msousa@417:      */
msousa@417:     //     search_var_instance_decl_c *search_var_instance_decl;
msousa@417: 
msousa@417:     /* This variable was created to pass information from
msousa@717:      * fill_candidate_datatypes_c::visit(enumerated_spec_init_c *symbol) function to
msousa@717:      * fill_candidate_datatypes_c::visit(enumerated_value_list_c *symbol) function.
msousa@717:      */
msousa@717:     symbol_c *current_enumerated_spec_type;
msousa@717:     
msousa@612:     /* Pointer to the previous IL instruction, which contains the current data type (actually, the list of candidate data types) of the data stored in the IL stack, i.e. the default variable, a.k.a. accumulator */
msousa@417:     symbol_c *prev_il_instruction;
msousa@612:     /* the current IL operand being analyzed */
msousa@417:     symbol_c *il_operand;
msousa@478:     symbol_c *widening_conversion(symbol_c *left_type, symbol_c *right_type, const struct widen_entry widen_table[]);
msousa@417: 
msousa@417:     /* Match a function declaration with a function call through their parameters.*/
msousa@421:     /* returns true if compatible function/FB invocation, otherwise returns false */
msousa@479:     bool  match_nonformal_call(symbol_c *f_call, symbol_c *f_decl);
msousa@479:     bool  match_formal_call   (symbol_c *f_call, symbol_c *f_decl, symbol_c **first_param_datatype = NULL);
msousa@479:     void  handle_function_call(symbol_c *fcall, generic_function_call_t fcall_data);
mjsousa@834:     void *handle_implicit_il_fb_call(symbol_c *il_instruction, const char *param_name,   symbol_c *&called_fb_declaration);
mjsousa@834:     void *handle_S_and_R_operator   (symbol_c *symbol,         const char *operator_str, symbol_c *&called_fb_declaration);
msousa@652:     void *handle_equality_comparison(const struct widen_entry widen_table[], symbol_c *symbol, symbol_c *l_expr, symbol_c *r_expr);
msousa@652:     void *handle_binary_expression  (const struct widen_entry widen_table[], symbol_c *symbol, symbol_c *l_expr, symbol_c *r_expr);
msousa@652:     void *handle_binary_operator    (const struct widen_entry widen_table[], symbol_c *symbol, symbol_c *l_expr, symbol_c *r_expr);
msousa@487:     void *handle_conditional_il_flow_control_operator(symbol_c *symbol);
msousa@806:     void *fill_type_decl(symbol_c *symbol, symbol_c *type_name, symbol_c *spec_init);
msousa@806:     void *fill_spec_init(symbol_c *symbol, symbol_c *type_spec, symbol_c *init_value);
msousa@447:     
msousa@417:     /* a helper function... */
msousa@447:     symbol_c *base_type(symbol_c *symbol);    
msousa@438:     
msousa@465:     /* add a data type to a candidate data type list, while guaranteeing no duplicate entries! */
msousa@465:     /* Returns true if it really did add the datatype to the list, or false if it was already present in the list! */
msousa@472:     bool add_datatype_to_candidate_list  (symbol_c *symbol, symbol_c *datatype);
msousa@472:     bool add_2datatypes_to_candidate_list(symbol_c *symbol, symbol_c *datatype1, symbol_c *datatype2);
conti@603:     void remove_incompatible_datatypes(symbol_c *symbol);
msousa@465:     
msousa@438:     
msousa@438:   public:
msousa@438:     fill_candidate_datatypes_c(symbol_c *ignore);
msousa@438:     virtual ~fill_candidate_datatypes_c(void);
msousa@438: 
msousa@719:     
msousa@719:     /***************************/
msousa@719:     /* B 0 - Programming Model */
msousa@719:     /***************************/
msousa@719:     void *visit(library_c *symbol);
msousa@417: 
msousa@417:     /*********************/
msousa@417:     /* B 1.2 - Constants */
msousa@417:     /*********************/
msousa@417:     /******************************/
msousa@417:     /* B 1.2.1 - Numeric Literals */
msousa@417:     /******************************/
msousa@472:     void *handle_any_integer(symbol_c *symbol);
msousa@488:     void *handle_any_real   (symbol_c *symbol);
msousa@488:     void *handle_any_literal(symbol_c *symbol, symbol_c *symbol_value, symbol_c *symbol_type);
msousa@472:     
msousa@417:     void *visit(real_c *symbol);
msousa@417:     void *visit(integer_c *symbol);
msousa@417:     void *visit(neg_real_c *symbol);
msousa@417:     void *visit(neg_integer_c *symbol);
msousa@417:     void *visit(binary_integer_c *symbol);
msousa@417:     void *visit(octal_integer_c *symbol);
msousa@417:     void *visit(hex_integer_c *symbol);
msousa@417:     void *visit(integer_literal_c *symbol);
msousa@417:     void *visit(real_literal_c *symbol);
msousa@417:     void *visit(bit_string_literal_c *symbol);
msousa@417:     void *visit(boolean_literal_c *symbol);
msousa@417:     void *visit(boolean_true_c *symbol);
msousa@417:     void *visit(boolean_false_c *symbol);
msousa@417: 
msousa@417:     /*******************************/
msousa@417:     /* B.1.2.2   Character Strings */
msousa@417:     /*******************************/
msousa@417:     void *visit(double_byte_character_string_c *symbol);
msousa@417:     void *visit(single_byte_character_string_c *symbol);
msousa@417: 
msousa@417:     /***************************/
msousa@417:     /* B 1.2.3 - Time Literals */
msousa@417:     /***************************/
msousa@417:     /************************/
msousa@417:     /* B 1.2.3.1 - Duration */
msousa@417:     /************************/
msousa@417:     void *visit(duration_c *symbol);
msousa@417: 
msousa@417:     /************************************/
msousa@417:     /* B 1.2.3.2 - Time of day and Date */
msousa@417:     /************************************/
msousa@417:     void *visit(time_of_day_c *symbol);
msousa@417:     void *visit(date_c *symbol);
msousa@417:     void *visit(date_and_time_c *symbol);
msousa@417: 
msousa@417: 
msousa@417:     /**********************/
msousa@417:     /* B 1.3 - Data types */
msousa@417:     /**********************/
msousa@417:     /********************************/
msousa@417:     /* B 1.3.3 - Derived data types */
msousa@417:     /********************************/
msousa@717: //  void *visit(data_type_declaration_c *symbol);   /* Not required. already handled by iterator_visitor_c base class */
msousa@717: //  void *visit(type_declaration_list_c *symbol);   /* Not required. already handled by iterator_visitor_c base class */
mjsousa@909:     void *visit(simple_type_declaration_c *symbol);
msousa@502:     void *visit(simple_spec_init_c *symbol);
msousa@806:     void *visit(subrange_type_declaration_c *symbol);
msousa@806:     void *visit(subrange_spec_init_c *symbol);
msousa@717: //  void *visit(subrange_specification_c *symbol);
msousa@417:     void *visit(subrange_c *symbol);
msousa@728:     void *visit(enumerated_type_declaration_c *symbol);
msousa@717:     void *visit(enumerated_spec_init_c *symbol);
msousa@717:     void *visit(enumerated_value_list_c *symbol);
msousa@417:     void *visit(enumerated_value_c *symbol);
msousa@806:     void *visit(array_type_declaration_c *symbol);
msousa@806:     void *visit(array_spec_init_c *symbol);
msousa@717: //  void *visit(array_specification_c *symbol);
msousa@717: //  void *visit(array_subrange_list_c *symbol);
msousa@717: //  void *visit(array_initial_elements_list_c *symbol);
msousa@717: //  void *visit(array_initial_elements_c *symbol);
msousa@806:     void *visit(structure_type_declaration_c *symbol);
msousa@806:     void *visit(initialized_structure_c *symbol);
msousa@717: //  void *visit(structure_element_declaration_list_c *symbol);
msousa@717: //  void *visit(structure_element_declaration_c *symbol);
msousa@717: //  void *visit(structure_element_initialization_list_c *symbol);
msousa@717: //  void *visit(structure_element_initialization_c *symbol);
msousa@717: //  void *visit(string_type_declaration_c *symbol);
msousa@810:     void *visit(fb_spec_init_c *symbol);
mjsousa@909:       
mjsousa@909:     void *visit(ref_spec_c *symbol);      // Defined in IEC 61131-3 v3
mjsousa@909:     void *visit(ref_spec_init_c *symbol); // Defined in IEC 61131-3 v3
mjsousa@909:     void *visit(ref_type_decl_c *symbol); // Defined in IEC 61131-3 v3
mjsousa@909: 
msousa@717: 
msousa@717:     
msousa@417:     /*********************/
msousa@417:     /* B 1.4 - Variables */
msousa@417:     /*********************/
msousa@417:     void *visit(symbolic_variable_c *symbol);
msousa@417: 
msousa@417:     /********************************************/
msousa@417:     /* B 1.4.1 - Directly Represented Variables */
msousa@417:     /********************************************/
msousa@417:     void *visit(direct_variable_c *symbol);
msousa@417: 
msousa@417:     /*************************************/
msousa@417:     /* B 1.4.2 - Multi-element variables */
msousa@417:     /*************************************/
msousa@417:     void *visit(array_variable_c *symbol);
msousa@417:     void *visit(structured_variable_c *symbol);
msousa@417: 
msousa@502:     /******************************************/
msousa@502:     /* B 1.4.3 - Declaration & Initialisation */
msousa@502:     /******************************************/
msousa@502:     void *visit(var1_list_c *symbol);
msousa@502:     void *visit(location_c *symbol);
msousa@502:     void *visit(located_var_decl_c *symbol);
msousa@502: 
msousa@417:     /**************************************/
msousa@417:     /* B 1.5 - Program organization units */
msousa@417:     /**************************************/
msousa@417:     /***********************/
msousa@417:     /* B 1.5.1 - Functions */
msousa@417:     /***********************/
msousa@417:     void *visit(function_declaration_c *symbol);
msousa@417: 
msousa@417:     /*****************************/
msousa@417:     /* B 1.5.2 - Function blocks */
msousa@417:     /*****************************/
msousa@417:     void *visit(function_block_declaration_c *symbol);
msousa@417: 
msousa@417:     /**********************/
msousa@417:     /* B 1.5.3 - Programs */
msousa@417:     /**********************/
msousa@417:     void *visit(program_declaration_c *symbol);
msousa@417: 
Laurent@802:     /********************************************/
Laurent@802:     /* B 1.6 Sequential function chart elements */
Laurent@802:     /********************************************/
Laurent@802:     void *visit(transition_condition_c *symbol);
Laurent@802: 
msousa@417:     /********************************/
msousa@417:     /* B 1.7 Configuration elements */
msousa@417:     /********************************/
msousa@417:     void *visit(configuration_declaration_c *symbol);
msousa@417: 
msousa@417:     /****************************************/
msousa@417:     /* B.2 - Language IL (Instruction List) */
msousa@417:     /****************************************/
msousa@417:     /***********************************/
msousa@417:     /* B 2.1 Instructions and Operands */
msousa@417:     /***********************************/
msousa@464:     void *visit(instruction_list_c *symbol);
msousa@443:     void *visit(il_instruction_c *symbol);
msousa@417:     void *visit(il_simple_operation_c *symbol);
msousa@417:     void *visit(il_function_call_c *symbol);
msousa@417:     void *visit(il_expression_c *symbol);
msousa@417:     void *visit(il_jump_operation_c *symbol);
msousa@417:     void *visit(il_fb_call_c *symbol);
msousa@417:     void *visit(il_formal_funct_call_c *symbol);
msousa@452: //  void *visit(il_operand_list_c *symbol);
msousa@452:     void *visit(simple_instr_list_c *symbol);
msousa@453:     void *visit(il_simple_instruction_c*symbol);
msousa@452: //  void *visit(il_param_list_c *symbol);
msousa@452: //  void *visit(il_param_assignment_c *symbol);
msousa@452: //  void *visit(il_param_out_assignment_c *symbol);
msousa@417: 
msousa@417:     /*******************/
msousa@417:     /* B 2.2 Operators */
msousa@417:     /*******************/
msousa@417:     void *visit(LD_operator_c *symbol);
msousa@417:     void *visit(LDN_operator_c *symbol);
msousa@417:     void *visit(ST_operator_c *symbol);
msousa@417:     void *visit(STN_operator_c *symbol);
msousa@417:     void *visit(NOT_operator_c *symbol);
msousa@417:     void *visit(S_operator_c *symbol);
msousa@417:     void *visit(R_operator_c *symbol);
msousa@417:     void *visit(S1_operator_c *symbol);
msousa@417:     void *visit(R1_operator_c *symbol);
msousa@417:     void *visit(CLK_operator_c *symbol);
msousa@417:     void *visit(CU_operator_c *symbol);
msousa@417:     void *visit(CD_operator_c *symbol);
msousa@417:     void *visit(PV_operator_c *symbol);
msousa@417:     void *visit(IN_operator_c *symbol);
msousa@417:     void *visit(PT_operator_c *symbol);
msousa@417:     void *visit(AND_operator_c *symbol);
msousa@417:     void *visit(OR_operator_c *symbol);
msousa@417:     void *visit(XOR_operator_c *symbol);
msousa@417:     void *visit(ANDN_operator_c *symbol);
msousa@417:     void *visit(ORN_operator_c *symbol);
msousa@417:     void *visit(XORN_operator_c *symbol);
msousa@417:     void *visit(ADD_operator_c *symbol);
msousa@417:     void *visit(SUB_operator_c *symbol);
msousa@417:     void *visit(MUL_operator_c *symbol);
msousa@417:     void *visit(DIV_operator_c *symbol);
msousa@417:     void *visit(MOD_operator_c *symbol);
msousa@417:     void *visit(GT_operator_c *symbol);
msousa@417:     void *visit(GE_operator_c *symbol);
msousa@417:     void *visit(EQ_operator_c *symbol);
msousa@417:     void *visit(LT_operator_c *symbol);
msousa@417:     void *visit(LE_operator_c *symbol);
msousa@417:     void *visit(NE_operator_c *symbol);
msousa@417:     void *visit(CAL_operator_c *symbol);
msousa@417:     void *visit(CALC_operator_c *symbol);
msousa@417:     void *visit(CALCN_operator_c *symbol);
msousa@417:     void *visit(RET_operator_c *symbol);
msousa@417:     void *visit(RETC_operator_c *symbol);
msousa@417:     void *visit(RETCN_operator_c *symbol);
msousa@417:     void *visit(JMP_operator_c *symbol);
msousa@417:     void *visit(JMPC_operator_c *symbol);
msousa@417:     void *visit(JMPCN_operator_c *symbol);
msousa@417:     /* Symbol class handled together with function call checks */
msousa@417:     // void *visit(il_assign_operator_c *symbol, variable_name);
msousa@417:     /* Symbol class handled together with function call checks */
msousa@417:     // void *visit(il_assign_operator_c *symbol, option, variable_name);
msousa@417: 
msousa@417: 
msousa@417:     /***************************************/
msousa@417:     /* B.3 - Language ST (Structured Text) */
msousa@417:     /***************************************/
msousa@417:     /***********************/
msousa@417:     /* B 3.1 - Expressions */
msousa@417:     /***********************/
mjsousa@873:     void *visit(ref_expression_c *symbol);
msousa@417:     void *visit(or_expression_c *symbol);
msousa@417:     void *visit(xor_expression_c *symbol);
msousa@417:     void *visit(and_expression_c *symbol);
msousa@417:     void *visit(equ_expression_c *symbol);
msousa@417:     void *visit(notequ_expression_c *symbol);
msousa@417:     void *visit(lt_expression_c *symbol);
msousa@417:     void *visit(gt_expression_c *symbol);
msousa@417:     void *visit(le_expression_c *symbol);
msousa@417:     void *visit(ge_expression_c *symbol);
msousa@417:     void *visit(add_expression_c *symbol);
msousa@417:     void *visit(sub_expression_c *symbol);
msousa@417:     void *visit(mul_expression_c *symbol);
msousa@417:     void *visit(div_expression_c *symbol);
msousa@417:     void *visit(mod_expression_c *symbol);
msousa@417:     void *visit(power_expression_c *symbol);
msousa@417:     void *visit(neg_expression_c *symbol);
msousa@417:     void *visit(not_expression_c *symbol);
msousa@417:     void *visit(function_invocation_c *symbol);
msousa@417: 
msousa@417:     /*********************************/
msousa@417:     /* B 3.2.1 Assignment Statements */
msousa@417:     /*********************************/
msousa@417:     void *visit(assignment_statement_c *symbol);
msousa@417: 
msousa@417:     /*****************************************/
msousa@417:     /* B 3.2.2 Subprogram Control Statements */
msousa@417:     /*****************************************/
conti@418:     void *visit(fb_invocation_c *symbol);
msousa@417: 
msousa@417:     /********************************/
msousa@417:     /* B 3.2.3 Selection Statements */
msousa@417:     /********************************/
msousa@417:     void *visit(if_statement_c *symbol);
msousa@417:     //     void *visit(elseif_statement_list_c *symbol);
msousa@417:     void *visit(elseif_statement_c *symbol);
msousa@417:     void *visit(case_statement_c *symbol);
msousa@417: 
msousa@417:     /********************************/
msousa@417:     /* B 3.2.4 Iteration Statements */
msousa@417:     /********************************/
msousa@417:     void *visit(for_statement_c *symbol);
msousa@417:     void *visit(while_statement_c *symbol);
msousa@417:     void *visit(repeat_statement_c *symbol);
msousa@417: 
msousa@417: }; // fill_candidate_datatypes_c
msousa@417: 
msousa@417: 
msousa@417: 
msousa@417: 
msousa@417: 
msousa@417: 
msousa@417: 
msousa@417: 
msousa@417: 
msousa@417: 
msousa@417: