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;