[Possible bug]: opcode freeze handling

[CblPOK-git]

Here are 2 examples that don't work https://github.com/manylov/zkllvm-issues

[vo-nil]

Here is simplified example that causes problems with freeze opcode:

int pow(int a, int n) {
    int cur_index = n;
    int r = 1;
    for(int i = 0; i<16;++i) {
        if (cur_index % 2 == 0) {
            r = r * a;
        } else {
            r = r * n;
        }
        cur_index = cur_index / 2;
    }
    return r;
}

[[circuit]] int for_even_odd(int a, int b) {
    int c = pow(a,b);
    return c;
}

[nil-foundation-cicd-bot[bot]]

PRs, synced with the current issue:

• NilFoundation/zkLLVM#478 (SHA: 2018031)
• NilFoundation/zkllvm-assigner#169 (SHA: 1232b6f)
• NilFoundation/zkllvm-circifier#103 (SHA: cd73faf)

Note: Please do not edit this comment; it's generated automatically.

[makxenov]

Fixed in https://github.com/NilFoundation/zkllvm-assigner/pull/169