Re: Problem with assert

[Mohammad-Reza Nabipoor]

Hi.

On Sat, Nov 28, 2020 at 12:20:20AM +0100, Jose E. Marchesi wrote:
> 
> This fails:
> 
> var mcr_alu_insn_names =
>     ["SETZ", "AND", "ANDCA", "SETM", "ANDCM", "SETA", "XOR", "IOR",
>      "ANDCB", "EQV", "SETCA", "ORCA", "SETCM", "ORCM","ORCB", "SETO",
>      .[21] = "FUNCTION", "SUB", .[24] = "FUNCTION", "INCM",
>      .[30] = "FUNCTION", "LSHM", "MUL", "DIV", .[36] = "FUNCTION",
>      "DIVR", .[40] = "FUNCTION", "DIVFS", .[63] = "FUNCTION"];
> 
> assert (mcr_alu_insn_names'length == 64,
>         "invalid mcr_alu_insn_names table");
> 
> Run time error:
> 
> poke: ../../libpoke/pvm.jitter:724: pvm_execute_or_initialize: Assertion 
> `jitter_original_state->pvm_state_backing.canary == JITTER_HEIGHT_STACK ()' 
> failed.
> 
> Seems like the code generated is incorrect.


Turns out that `assert` doesn't have problem.
The problem was related to `load` which is fixed in master (commit
7037d5b01474023b03fa4e11ef5135e4333fd9fd).


Regards,
Mohammad-Reza