(********************************************************************)
(*                                                                  *)
(*  rfl_act.s7i   Generate code for actions of the type ref_list.   *)
(*  Copyright (C) 1990 - 1994, 2004 - 2014, 2022  Thomas Mertes     *)
(*                                                                  *)
(*  This file is part of the Seed7 compiler.                        *)
(*                                                                  *)
(*  This program is free software; you can redistribute it and/or   *)
(*  modify it under the terms of the GNU General Public License as  *)
(*  published by the Free Software Foundation; either version 2 of  *)
(*  the License, or (at your option) any later version.             *)
(*                                                                  *)
(*  This program is distributed in the hope that it will be useful, *)
(*  but WITHOUT ANY WARRANTY; without even the implied warranty of  *)
(*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the   *)
(*  GNU General Public License for more details.                    *)
(*                                                                  *)
(*  You should have received a copy of the GNU General Public       *)
(*  License along with this program; if not, write to the           *)
(*  Free Software Foundation, Inc., 51 Franklin Street,             *)
(*  Fifth Floor, Boston, MA  02110-1301, USA.                       *)
(*                                                                  *)
(********************************************************************)


const ACTION: RFL_APPEND     is action "RFL_APPEND";
const ACTION: RFL_CAT        is action "RFL_CAT";
const ACTION: RFL_CPY        is action "RFL_CPY";
const ACTION: RFL_ELEM       is action "RFL_ELEM";
const ACTION: RFL_ELEMCPY    is action "RFL_ELEMCPY";
const ACTION: RFL_EQ         is action "RFL_EQ";
const ACTION: RFL_FOR        is action "RFL_FOR";
const ACTION: RFL_FOR_UNTIL  is action "RFL_FOR_UNTIL";
const ACTION: RFL_HEAD       is action "RFL_HEAD";
const ACTION: RFL_IDX        is action "RFL_IDX";
const ACTION: RFL_INCL       is action "RFL_INCL";
const ACTION: RFL_IPOS       is action "RFL_IPOS";
const ACTION: RFL_LNG        is action "RFL_LNG";
const ACTION: RFL_MKLIST     is action "RFL_MKLIST";
const ACTION: RFL_NE         is action "RFL_NE";
const ACTION: RFL_NOT_ELEM   is action "RFL_NOT_ELEM";
const ACTION: RFL_POS        is action "RFL_POS";
const ACTION: RFL_SET_VALUE  is action "RFL_SET_VALUE";
const ACTION: RFL_TAIL       is action "RFL_TAIL";
const ACTION: RFL_VALUE      is action "RFL_VALUE";


const proc: rfl_prototypes (inout file: c_prog) is func

  begin
    declareExtern(c_prog, "void        rflAppend (listType *const, const listType);");
    declareExtern(c_prog, "listType    rflCat (listType, const listType);");
    declareExtern(c_prog, "intType     rflCmpGeneric (const genericType, const genericType);");
    declareExtern(c_prog, "void        rflCpy (listType *const, const const_listType);");
    declareExtern(c_prog, "void        rflCpyGeneric (genericType *const, const genericType);");
    declareExtern(c_prog, "listType    rflCreate (const const_listType);");
    declareExtern(c_prog, "genericType rflCreateGeneric (const genericType);");
    declareExtern(c_prog, "void        rflDestr (const listType);");
    declareExtern(c_prog, "void        rflDestrGeneric (const genericType);");
    declareExtern(c_prog, "boolType    rflElem (const const_objRefType, const_listType);");
    declareExtern(c_prog, "void        rflElemcpy (listType, intType, objRefType);");
    declareExtern(c_prog, "boolType    rflEq (const_listType, const_listType);");
    declareExtern(c_prog, "listType    rflHead (const listType, intType);");
    declareExtern(c_prog, "objRefType  rflIdx (const_listType, intType);");
    declareExtern(c_prog, "void        rflIncl (listType *, objRefType);");
    declareExtern(c_prog, "intType     rflIpos (listType, objRefType, intType);");
    declareExtern(c_prog, "intType     rflLng (const_listType);");
    declareExtern(c_prog, "listType    rflMklist (objRefType);");
    declareExtern(c_prog, "intType     rflPos (const_listType, const const_objRefType);");
    declareExtern(c_prog, "void        rflSetValue (objRefType, listType);");
    declareExtern(c_prog, "listType    rflTail (const_listType, intType);");
    declareExtern(c_prog, "listType    rflValue (const const_objRefType);");
  end func;


const proc: process (RFL_APPEND, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  local
    var expr_type: c_param1 is expr_type.value;
    var expr_type: c_param3 is expr_type.value;
  begin
    compDataLibraryUsed := TRUE;
    process_expr(params[1], c_param1);
    c_param3.temp_num := c_param1.temp_num;
    getTemporaryToResultExpr(params[3], c_param3);
    incr(c_param3.temp_num);
    if has_temp_values(c_param3) then
      c_expr.expr &:= "{\n";
      appendWithDiagnostic(c_param1.temp_decls, c_expr);
      appendWithDiagnostic(c_param3.temp_decls, c_expr);
      appendWithDiagnostic(c_param1.temp_assigns, c_expr);
      appendWithDiagnostic(c_param3.temp_assigns, c_expr);
    end if;
    setDiagnosticLine(c_expr);
    c_expr.expr &:= "rflAppend(&(";
    c_expr.expr &:= c_param1.expr;
    c_expr.expr &:= "), ";
    c_expr.expr &:= c_param3.result_expr;
    c_expr.expr &:= ");\n";
    if has_temp_values(c_param3) then
      appendWithDiagnostic(c_param1.temp_frees, c_expr);
      appendWithDiagnostic(c_param3.temp_frees, c_expr);
      c_expr.expr &:= "}\n";
    end if;
  end func;


const proc: process (RFL_CAT, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    prepare_list_result(getExprResultType(params[1]), c_expr);
    c_expr.result_expr := "rflCat(";
    getTemporaryToResultExpr(params[1], c_expr);
    c_expr.result_expr &:= ", ";
    getTemporaryToResultExpr(params[3], c_expr);
    c_expr.result_expr &:= ")";
  end func;


const proc: process (RFL_CPY, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  local
    var expr_type: statement is expr_type.value;
    var expr_type: c_param1 is expr_type.value;
    var expr_type: c_param3 is expr_type.value;
  begin
    compDataLibraryUsed := TRUE;
    statement.temp_num := c_expr.temp_num;
    prepareAnyParamTemporarys(params[1], c_param1, statement);
    c_param3.demand := ASSIGN_RESULT;
    prepareAnyParamTemporarys(params[3], c_param3, statement);
    if c_param3.result_expr <> "" then
      statement.temp_decls &:= "listType new_rfl;\n";
      statement.expr &:= "new_rfl=";
      statement.expr &:= c_param3.result_expr;
      statement.expr &:= ";\n";
      if isNormalVariable(params[1]) then
        statement.expr &:= "rflDestr(";
        statement.expr &:= c_param1.expr;
        statement.expr &:= ");\n";
        statement.expr &:= c_param1.expr;
        statement.expr &:= "=new_rfl;\n";
      else
        statement.temp_decls &:= "listType *rfl_ptr=&(";
        statement.temp_decls &:= c_param1.expr;
        statement.temp_decls &:= ");\n";
        statement.expr &:= "rflDestr(*rfl_ptr);\n";
        statement.expr &:= "*rfl_ptr=new_rfl;\n";
      end if;
    else
      statement.expr &:= "rflCpy(&(";
      statement.expr &:= c_param1.expr;
      statement.expr &:= "), ";
      statement.expr &:= c_param3.expr;
      statement.expr &:= ");\n";
    end if;
    doLocalDeclsOfStatement(statement, c_expr);
  end func;


const proc: process (RFL_ELEM, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    c_expr.expr &:= "rflElem(";
    process_expr(params[1], c_expr);
    c_expr.expr &:= ", ";
    getAnyParamToExpr(params[3], c_expr);
    c_expr.expr &:= ")";
  end func;


const proc: process (RFL_ELEMCPY, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  local
    var expr_type: c_param1 is expr_type.value;
    var expr_type: c_param4 is expr_type.value;
    var expr_type: c_param6 is expr_type.value;
  begin
    compDataLibraryUsed := TRUE;
    process_expr(params[1], c_param1);
    c_param4.temp_num := c_param1.temp_num;
    process_expr(params[4], c_param4);
    c_param6.temp_num := c_param4.temp_num;
    process_expr(params[6], c_param6);
    if c_param6.temp_num <> 0 then
      c_expr.expr &:= "{\n";
      appendWithDiagnostic(c_param1.temp_decls, c_expr);
      appendWithDiagnostic(c_param4.temp_decls, c_expr);
      appendWithDiagnostic(c_param6.temp_decls, c_expr);
      appendWithDiagnostic(c_param1.temp_assigns, c_expr);
      appendWithDiagnostic(c_param4.temp_assigns, c_expr);
      appendWithDiagnostic(c_param6.temp_assigns, c_expr);
    end if;
    setDiagnosticLine(c_expr);
    c_expr.expr &:= "rflElemcpy(";
    c_expr.expr &:= c_param1.expr;
    c_expr.expr &:= ", ";
    c_expr.expr &:= c_param4.expr;
    c_expr.expr &:= ", ";
    c_expr.expr &:= c_param6.expr;
    c_expr.expr &:= ");\n";
    if c_param6.temp_num <> 0 then
      appendWithDiagnostic(c_param1.temp_frees, c_expr);
      appendWithDiagnostic(c_param4.temp_frees, c_expr);
      appendWithDiagnostic(c_param6.temp_frees, c_expr);
      c_expr.expr &:= "}\n";
    end if;
  end func;


const proc: process (RFL_EQ, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    c_expr.expr &:= "rflEq(";
    getAnyParamToExpr(params[1], c_expr);
    c_expr.expr &:= ", ";
    getAnyParamToExpr(params[3], c_expr);
    c_expr.expr &:= ")";
  end func;


const proc: process (RFL_FOR, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  local
    var string: elem_name is "";
  begin
    incr(c_expr.temp_num);
    elem_name := "tmp_elem_" & str(c_expr.temp_num);
    c_expr.expr &:= "{\n";
    setDiagnosticLine(c_expr);
    c_expr.expr &:= "listType ";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= ";\n";
    setDiagnosticLine(c_expr);
    c_expr.expr &:= "for (";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= " = ";
    getAnyParamToExpr(params[4], c_expr);
    c_expr.expr &:= "; ";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= " != NULL; ";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= " = ";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= "->next) {\n";
    setDiagnosticLine(c_expr);
    process_expr(params[2], c_expr);
    c_expr.expr &:= " = ";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= "->obj;\n";
    process_call_by_name_expr(params[6], c_expr);
    c_expr.expr &:= "}\n}\n";
  end func;


const proc: process (RFL_FOR_UNTIL, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  local
    var string: elem_name is "";
  begin
    incr(c_expr.temp_num);
    elem_name := "tmp_elem_" & str(c_expr.temp_num);
    c_expr.expr &:= "{\n";
    setDiagnosticLine(c_expr);
    c_expr.expr &:= "listType ";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= ";\n";
    setDiagnosticLine(c_expr);
    c_expr.expr &:= "for (";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= " = ";
    getAnyParamToExpr(params[4], c_expr);
    c_expr.expr &:= "; ";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= " != NULL && (";
    process_expr(params[2], c_expr);
    c_expr.expr &:= " = ";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= "->obj, !(";
    process_call_by_name_expr(params[6], c_expr);
    c_expr.expr &:= ")); ";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= " = ";
    c_expr.expr &:= elem_name;
    c_expr.expr &:= "->next) {\n";
    process_call_by_name_expr(params[8], c_expr);
    c_expr.expr &:= "}\n}\n";
  end func;


const proc: process (RFL_HEAD, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    prepare_list_result(getExprResultType(params[1]), c_expr);
    c_expr.result_expr := "rflHead(";
    getAnyParamToResultExpr(params[1], c_expr);
    c_expr.result_expr &:= ", ";
    getStdParamToResultExpr(params[4], c_expr);
    c_expr.result_expr &:= ")";
  end func;


const proc: process_const_rfl_idx (in reference: param1,
    in integer: index, inout expr_type: c_expr) is func

  local
    var string: listName is "";
    var integer: number is 0;
  begin
    incr(countOptimizations);
    if index < 1 then
      warning(DOES_RAISE, "INDEX_ERROR", c_expr);
      c_expr.expr &:= intRaiseError("INDEX_ERROR");
    elsif index <= 3 and isNormalVariable(param1) and ref_list_index_check then
      incr(countIndexChecks);
      c_expr.expr &:= "(";
      listName := normalVariable(param1, c_expr);
      c_expr.expr &:= "idxChk(";
      c_expr.expr &:= listName;
      c_expr.expr &:= "==NULL";
      for number range 2 to index do
        c_expr.expr &:= "||";
        c_expr.expr &:= listName;
        c_expr.expr &:= "->next" mult pred(number);
        c_expr.expr &:= "==NULL";
      end for;
      c_expr.expr &:= ")?";
      c_expr.expr &:= refRaiseError("INDEX_ERROR");
      c_expr.expr &:= ":";
      c_expr.expr &:= listName;
      c_expr.expr &:= "->next" mult pred(index);
      c_expr.expr &:= "->obj)";
    elsif index <= 7 and ref_list_index_check then
      incr(countIndexChecks);
      c_expr.expr &:= "(";
      listName := getTempVariable("const_listType", "list_", param1, c_expr);
      c_expr.expr &:= "idxChk(";
      c_expr.expr &:= listName;
      c_expr.expr &:= "==NULL";
      for number range 2 to index do
        c_expr.expr &:= "||(";
        c_expr.expr &:= listName;
        c_expr.expr &:= "=";
        c_expr.expr &:= listName;
        c_expr.expr &:= "->next)==NULL";
      end for;
      c_expr.expr &:= ")?";
      c_expr.expr &:= refRaiseError("INDEX_ERROR");
      c_expr.expr &:= ":";
      c_expr.expr &:= listName;
      c_expr.expr &:= "->obj)";
    elsif index <= 12 and not ref_list_index_check then
      incr(countSuppressedIndexChecks);
      c_expr.expr &:= "(";
      getAnyParamToExpr(param1, c_expr);
      c_expr.expr &:= ")";
      c_expr.expr &:= "->next" mult pred(index);
      c_expr.expr &:= "->obj";
    else
      c_expr.expr &:= "rflIdx(";
      getAnyParamToExpr(param1, c_expr);
      c_expr.expr &:= ", ";
      c_expr.expr &:= integerLiteral(index);
      c_expr.expr &:= ")";
    end if;
  end func;


const proc: process (RFL_IDX, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  local
    var reference: evaluatedParam is NIL;
  begin
    compDataLibraryUsed := TRUE;
    if getConstant(params[3], INTOBJECT, evaluatedParam) then
      process_const_rfl_idx(params[1], getValue(evaluatedParam, integer), c_expr);
    else
      c_expr.expr &:= "rflIdx(";
      getAnyParamToExpr(params[1], c_expr);
      c_expr.expr &:= ", ";
      process_expr(params[3], c_expr);
      c_expr.expr &:= ")";
    end if;
  end func;


const proc: process (RFL_INCL, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  local
    var expr_type: statement is expr_type.value;
  begin
    compDataLibraryUsed := TRUE;
    statement.expr := "rflIncl(&(";
    process_expr(params[1], statement);
    statement.expr &:= "), ";
    process_expr(params[2], statement);
    statement.expr &:= ");\n";
    doLocalDeclsOfStatement(statement, c_expr);
  end func;


const proc: process (RFL_IPOS, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    c_expr.expr &:= "rflIpos(";
    getAnyParamToExpr(params[1], c_expr);
    c_expr.expr &:= ", ";
    process_expr(params[2], c_expr);
    c_expr.expr &:= ", ";
    process_expr(params[3], c_expr);
    c_expr.expr &:= ")";
  end func;


const proc: process (RFL_LNG, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    c_expr.expr &:= "rflLng(";
    getAnyParamToExpr(params[1], c_expr);
    c_expr.expr &:= ")";
  end func;


const proc: process (RFL_MKLIST, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    prepare_list_result(resultType(getType(function)), c_expr);
    c_expr.result_expr := "rflMklist(";
    getStdParamToResultExpr(params[1], c_expr);
    c_expr.result_expr &:= ")";
  end func;


const proc: process (RFL_NE, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    c_expr.expr &:= "!rflEq(";
    getAnyParamToExpr(params[1], c_expr);
    c_expr.expr &:= ", ";
    getAnyParamToExpr(params[3], c_expr);
    c_expr.expr &:= ")";
  end func;


const proc: process (RFL_NOT_ELEM, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    c_expr.expr &:= "!rflElem(";
    process_expr(params[1], c_expr);
    c_expr.expr &:= ", ";
    getAnyParamToExpr(params[4], c_expr);
    c_expr.expr &:= ")";
  end func;


const proc: process (RFL_POS, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    c_expr.expr &:= "rflPos(";
    getAnyParamToExpr(params[1], c_expr);
    c_expr.expr &:= ", ";
    process_expr(params[2], c_expr);
    c_expr.expr &:= ")";
  end func;


const proc: process (RFL_SET_VALUE, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    setDiagnosticLine(c_expr);
    c_expr.expr &:= "rflSetValue(";
    process_expr(params[1], c_expr);
    c_expr.expr &:= ", ";
    getAnyParamToExpr(params[2], c_expr);
    c_expr.expr &:= ");\n";
  end func;


const proc: process (RFL_TAIL, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    prepare_list_result(getExprResultType(params[1]), c_expr);
    c_expr.result_expr := "rflTail(";
    getAnyParamToResultExpr(params[1], c_expr);
    c_expr.result_expr &:= ", ";
    getStdParamToResultExpr(params[3], c_expr);
    c_expr.result_expr &:= ")";
  end func;


const proc: process (RFL_VALUE, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    compDataLibraryUsed := TRUE;
    prepare_list_result(resultType(getType(function)), c_expr);
    c_expr.result_expr := "rflValue(";
    getStdParamToResultExpr(params[1], c_expr);
    c_expr.result_expr &:= ")";
  end func;