%left

[Sasan Forghani]

I've modified my code to the following:

$<blIdentifier>$ = varLocation //at the ref_name rule level
$<blIdentifier>$ = $<blIdentifier>2 //at the ( expr ) rule level
$<blIdentifier>$ = bufferT //at the expr rule level

The output is still incorrect.  Moving up the stack the value does not
hold.  For example after derivating to the ref_name level for the variable
b, $<blIdentifier>$ is assigned the value V0002.  At the ( expr ) level,
$<blIdentifier>$ is assigned the value b and not V0002.  At the expr rule
level, $<blIdentifier>$ is assigned the value b and not V0002.  In all cases
where b was assigned, V0002 should have been assigned.  In the code below,
the action $<blIdentifier>$ = $<blIdentifier>2 at the ( expr ) rule level
has been removed; removing the action did not change the values of either
$<blIdentifier>$ or $<blIdentifier>2.  So, how am I suppose to send data
back up the stack?

Here are the code snippets that were run by the parser:

stmt : ref_name BL_ASSIGNMENT expr
 {
    fprintf(ptrToIrFile, "mov         %s          %s\n", $<blIdentifier>3,
$<blIdentifier>1);
    printf("$<blIdentifier>1 at := is: %s\n", $<blIdentifier>1);
    printf("$<blIdentifier>3 at := is: %s\n", $<blIdentifier>3);
    printf("$<blIdentifier>$ at := is: %s\n", $<blIdentifier>$);
    amtOfTemps = 0;
}

expr : expr BL_ADDOP expr
{
    char bufferSym[4];
    if(strcmp($<blOperator>2, "+") == 0)
        strcpy(bufferSym, "add");
    else
        strcpy(bufferSym, "sub");

    char bufferT[6];
    changeToString(++amtOfTemps, "T", bufferT);
    fprintf(ptrToIrFile, "%s         %s          %s          %s\n",
bufferSym, $<blIdentifier>1,            $<blIdentifier>3, bufferT);
    $<blIdentifier>$ = bufferT;
    printf("$<blIdentifier>1 at ADDOP is: %s\n", $<blIdentifier>1);
    printf("$<blIdentifier>3 at ADDOP is: %s\n", $<blIdentifier>3);
    printf("$<blIdentifier>$ at ADDOP is: %s\n", $<blIdentifier>$);
}
| '(' expr ')'
 {
    printf("This is the value of $<blIdentifier>$ at ( expr ): %s\n",
$<blIdentifier>$);
    printf("This is the value of $<blIdentifier>2 at ( expr ): %s\n",
$<blIdentifier>2);
}
ref_name : BL_IDENTIFIER
{
    struct symTblEntry* addressOfEntry;
    addressOfEntry = findEntryInRow($<blIdentifier>1);
    printf("This is: %s\n", $<blIdentifier>1);
    char varLocation[7];

    if(addressOfEntry-> entryRole == VARIABLE)
        changeToString(addressOfEntry-> declarationNumber, "V",
varLocation);
    else
    if(addressOfEntry-> entryRole == VALPARAMETER)
        changeToString(addressOfEntry-> declarationNumber, "P",
varLocation);
    else
    if(addressOfEntry-> entryRole == REFPARAMETER)
        changeToString(addressOfEntry-> declarationNumber, "*P",
varLocation);

    $<blIdentifier>$ = varLocation;
    printf("This is the value of $<blIdentifier>$ at ref_name: %s\n",
$<blIdentifier>$);
}
Here is the test case:

PROGRAM simple;

VAR
    a,b,c,d,e: integer;

BEGIN
    a := b + c;
    a := b + c + d;
    a := b + c + d + e;

    a := (b + c);
    a := (b + c) + d;
    a := b + (c + d);
    a := (b + c) + d + e;
    a := b + (c + d) + e;
    a := b + c + (d + e);
    a := (b + c) + (d + e)
END.

Here is the output after running the parser on a test case:

const_decl -> Epsilon
ident_list -> IDENTIFIER
ident_list -> IDENTIFIER, ident_list
ident_list -> IDENTIFIER, ident_list
ident_list -> IDENTIFIER, ident_list
ident_list -> IDENTIFIER, ident_list
basic_type -> INTEGER
type -> basic_type
basic_var -> ident_list: type
var_list -> basic_var;
var_decl -> VAR var_list
proc_decl -> Epsilon
This is: a
This is the value of $<blIdentifier>$ at ref_name: V0001
ref_name -> IDENTIFIER
This is: b
This is the value of $<blIdentifier>$ at ref_name: V0002
ref_name -> IDENTIFIER
expr -> ref_name
This is: c
This is the value of $<blIdentifier>$ at ref_name: V0003
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: b
$<blIdentifier>3 at ADDOP is: c
$<blIdentifier>$ at ADDOP is: T0001
expr -> expr ADDOP expr
$<blIdentifier>1 at := is: a
$<blIdentifier>3 at := is: b
$<blIdentifier>$ at := is: +
stmt -> ref_name := expr
This is: a
This is the value of $<blIdentifier>$ at ref_name: V0001
ref_name -> IDENTIFIER
This is: b
This is the value of $<blIdentifier>$ at ref_name: V0002
ref_name -> IDENTIFIER
expr -> ref_name
This is: c
This is the value of $<blIdentifier>$ at ref_name: V0003
ref_name -> IDENTIFIER
expr -> ref_name
This is: d
This is the value of $<blIdentifier>$ at ref_name: V0004
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: c
$<blIdentifier>3 at ADDOP is: d
$<blIdentifier>$ at ADDOP is: T0001
expr -> expr ADDOP expr
$<blIdentifier>1 at ADDOP is: b
$<blIdentifier>3 at ADDOP is: c
$<blIdentifier>$ at ADDOP is: T0002
expr -> expr ADDOP expr
$<blIdentifier>1 at := is: a
$<blIdentifier>3 at := is: b
$<blIdentifier>$ at := is: +
stmt -> ref_name := expr
This is: a
This is the value of $<blIdentifier>$ at ref_name: V0001
ref_name -> IDENTIFIER
This is: b
This is the value of $<blIdentifier>$ at ref_name: V0002
ref_name -> IDENTIFIER
expr -> ref_name
This is: c
This is the value of $<blIdentifier>$ at ref_name: V0003
ref_name -> IDENTIFIER
expr -> ref_name
This is: d
This is the value of $<blIdentifier>$ at ref_name: V0004
ref_name -> IDENTIFIER
expr -> ref_name
This is: e
This is the value of $<blIdentifier>$ at ref_name: V0005
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: d
$<blIdentifier>3 at ADDOP is: e
$<blIdentifier>$ at ADDOP is: T0001
expr -> expr ADDOP expr
$<blIdentifier>1 at ADDOP is: c
$<blIdentifier>3 at ADDOP is: d
$<blIdentifier>$ at ADDOP is: T0002
expr -> expr ADDOP expr
$<blIdentifier>1 at ADDOP is: b
$<blIdentifier>3 at ADDOP is: c
$<blIdentifier>$ at ADDOP is: T0003
expr -> expr ADDOP expr
$<blIdentifier>1 at := is: a
$<blIdentifier>3 at := is: b
$<blIdentifier>$ at := is: +
stmt -> ref_name := expr
This is: a
This is the value of $<blIdentifier>$ at ref_name: V0001
ref_name -> IDENTIFIER
This is: b
This is the value of $<blIdentifier>$ at ref_name: V0002
ref_name -> IDENTIFIER
expr -> ref_name
This is: c
This is the value of $<blIdentifier>$ at ref_name: V0003
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: b
$<blIdentifier>3 at ADDOP is: c
$<blIdentifier>$ at ADDOP is: T0001
expr -> expr ADDOP expr
This is the value of $<blIdentifier>$ at ( expr ): c
This is the value of $<blIdentifier>2 at ( expr ): b
expr -> (expr)
$<blIdentifier>1 at := is: a
$<blIdentifier>3 at := is: a
$<blIdentifier>$ at := is: b
stmt -> ref_name := expr
This is: a
This is the value of $<blIdentifier>$ at ref_name: V0001
ref_name -> IDENTIFIER
This is: b
This is the value of $<blIdentifier>$ at ref_name: V0002
ref_name -> IDENTIFIER
expr -> ref_name
This is: c
This is the value of $<blIdentifier>$ at ref_name: V0003
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: b
$<blIdentifier>3 at ADDOP is: c
$<blIdentifier>$ at ADDOP is: T0001
expr -> expr ADDOP expr
This is the value of $<blIdentifier>$ at ( expr ): c
This is the value of $<blIdentifier>2 at ( expr ): b
expr -> (expr)
This is: d
This is the value of $<blIdentifier>$ at ref_name: V0004
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: a
$<blIdentifier>3 at ADDOP is: d
$<blIdentifier>$ at ADDOP is: T0002
expr -> expr ADDOP expr
$<blIdentifier>1 at := is: a
$<blIdentifier>3 at := is: a
$<blIdentifier>$ at := is: +
stmt -> ref_name := expr
This is: a
This is the value of $<blIdentifier>$ at ref_name: V0001
ref_name -> IDENTIFIER
This is: b
This is the value of $<blIdentifier>$ at ref_name: V0002
ref_name -> IDENTIFIER
expr -> ref_name
This is: c
This is the value of $<blIdentifier>$ at ref_name: V0003
ref_name -> IDENTIFIER
expr -> ref_name
This is: d
This is the value of $<blIdentifier>$ at ref_name: V0004
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: c
$<blIdentifier>3 at ADDOP is: d
$<blIdentifier>$ at ADDOP is: T0001
expr -> expr ADDOP expr
This is the value of $<blIdentifier>$ at ( expr ): d
This is the value of $<blIdentifier>2 at ( expr ): c
expr -> (expr)
$<blIdentifier>1 at ADDOP is: b
$<blIdentifier>3 at ADDOP is: +
$<blIdentifier>$ at ADDOP is: T0002
expr -> expr ADDOP expr
$<blIdentifier>1 at := is: a
$<blIdentifier>3 at := is: b
$<blIdentifier>$ at := is: +
stmt -> ref_name := expr
This is: a
This is the value of $<blIdentifier>$ at ref_name: V0001
ref_name -> IDENTIFIER
This is: b
This is the value of $<blIdentifier>$ at ref_name: V0002
ref_name -> IDENTIFIER
expr -> ref_name
This is: c
This is the value of $<blIdentifier>$ at ref_name: V0003
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: b
$<blIdentifier>3 at ADDOP is: c
$<blIdentifier>$ at ADDOP is: T0001
expr -> expr ADDOP expr
This is the value of $<blIdentifier>$ at ( expr ): c
This is the value of $<blIdentifier>2 at ( expr ): b
expr -> (expr)
This is: d
This is the value of $<blIdentifier>$ at ref_name: V0004
ref_name -> IDENTIFIER
expr -> ref_name
This is: e
This is the value of $<blIdentifier>$ at ref_name: V0005
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: d
$<blIdentifier>3 at ADDOP is: e
$<blIdentifier>$ at ADDOP is: T0002
expr -> expr ADDOP expr
$<blIdentifier>1 at ADDOP is: a
$<blIdentifier>3 at ADDOP is: d
$<blIdentifier>$ at ADDOP is: T0003
expr -> expr ADDOP expr
$<blIdentifier>1 at := is: a
$<blIdentifier>3 at := is: a
$<blIdentifier>$ at := is: +
stmt -> ref_name := expr
This is: a
This is the value of $<blIdentifier>$ at ref_name: V0001
ref_name -> IDENTIFIER
This is: b
This is the value of $<blIdentifier>$ at ref_name: V0002
ref_name -> IDENTIFIER
expr -> ref_name
This is: c
This is the value of $<blIdentifier>$ at ref_name: V0003
ref_name -> IDENTIFIER
expr -> ref_name
This is: d
This is the value of $<blIdentifier>$ at ref_name: V0004
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: c
$<blIdentifier>3 at ADDOP is: d
$<blIdentifier>$ at ADDOP is: T0001
expr -> expr ADDOP expr
This is the value of $<blIdentifier>$ at ( expr ): d
This is the value of $<blIdentifier>2 at ( expr ): c
expr -> (expr)
This is: e
This is the value of $<blIdentifier>$ at ref_name: V0005
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: +
$<blIdentifier>3 at ADDOP is: e
$<blIdentifier>$ at ADDOP is: T0002
expr -> expr ADDOP expr
$<blIdentifier>1 at ADDOP is: b
$<blIdentifier>3 at ADDOP is: +
$<blIdentifier>$ at ADDOP is: T0003
expr -> expr ADDOP expr
$<blIdentifier>1 at := is: a
$<blIdentifier>3 at := is: b
$<blIdentifier>$ at := is: +
stmt -> ref_name := expr
This is: a
This is the value of $<blIdentifier>$ at ref_name: V0001
ref_name -> IDENTIFIER
This is: b
This is the value of $<blIdentifier>$ at ref_name: V0002
ref_name -> IDENTIFIER
expr -> ref_name
This is: c
This is the value of $<blIdentifier>$ at ref_name: V0003
ref_name -> IDENTIFIER
expr -> ref_name
This is: d
This is the value of $<blIdentifier>$ at ref_name: V0004
ref_name -> IDENTIFIER
expr -> ref_name
This is: e
This is the value of $<blIdentifier>$ at ref_name: V0005
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: d
$<blIdentifier>3 at ADDOP is: e
$<blIdentifier>$ at ADDOP is: T0001
expr -> expr ADDOP expr
This is the value of $<blIdentifier>$ at ( expr ): e
This is the value of $<blIdentifier>2 at ( expr ): d
expr -> (expr)
$<blIdentifier>1 at ADDOP is: c
$<blIdentifier>3 at ADDOP is: +
$<blIdentifier>$ at ADDOP is: T0002
expr -> expr ADDOP expr
$<blIdentifier>1 at ADDOP is: b
$<blIdentifier>3 at ADDOP is: c
$<blIdentifier>$ at ADDOP is: T0003
expr -> expr ADDOP expr
$<blIdentifier>1 at := is: a
$<blIdentifier>3 at := is: b
$<blIdentifier>$ at := is: +
stmt -> ref_name := expr
This is: a
This is the value of $<blIdentifier>$ at ref_name: V0001
ref_name -> IDENTIFIER
This is: b
This is the value of $<blIdentifier>$ at ref_name: V0002
ref_name -> IDENTIFIER
expr -> ref_name
This is: c
This is the value of $<blIdentifier>$ at ref_name: V0003
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: b
$<blIdentifier>3 at ADDOP is: c
$<blIdentifier>$ at ADDOP is: T0001
expr -> expr ADDOP expr
This is the value of $<blIdentifier>$ at ( expr ): c
This is the value of $<blIdentifier>2 at ( expr ): b
expr -> (expr)
This is: d
This is the value of $<blIdentifier>$ at ref_name: V0004
ref_name -> IDENTIFIER
expr -> ref_name
This is: e
This is the value of $<blIdentifier>$ at ref_name: V0005
ref_name -> IDENTIFIER
expr -> ref_name
$<blIdentifier>1 at ADDOP is: d
$<blIdentifier>3 at ADDOP is: e
$<blIdentifier>$ at ADDOP is: T0002
expr -> expr ADDOP expr
This is the value of $<blIdentifier>$ at ( expr ): e
This is the value of $<blIdentifier>2 at ( expr ): d
expr -> (expr)
$<blIdentifier>1 at ADDOP is: a
$<blIdentifier>3 at ADDOP is: +
$<blIdentifier>$ at ADDOP is: T0003
expr -> expr ADDOP expr
$<blIdentifier>1 at := is: a
$<blIdentifier>3 at := is: a
$<blIdentifier>$ at := is: +
stmt -> ref_name := expr
stmt_seq -> stmt;
stmt_seq -> stmt; stmt_seq
stmt_seq -> stmt; stmt_seq
stmt_seq -> stmt; stmt_seq
stmt_seq -> stmt; stmt_seq
stmt_seq -> stmt; stmt_seq
stmt_seq -> stmt; stmt_seq
stmt_seq -> stmt; stmt_seq
stmt_seq -> stmt; stmt_seq
stmt_seq -> stmt; stmt_seq
comp_stmt -> BEGIN stmt_seq END
block -> const_decl var_decl proc_decl comp_stmt
prog -> PROGRAM IDENTIFIER; block .