mixbytes / zkllvm-doomreplay

zkllvm proving of Doom videogame state transition
GNU General Public License v2.0
0 stars 0 forks source link

Deal with "switch" opcode #21

Closed BoogerWooger closed 1 year ago

BoogerWooger commented 1 year ago

trying to move next part of code into zkllvm, problem with "switch" here: https://github.com/mixbytes/zkllvm-doomreplay/blob/584155e831d5897d27e12ecf21b4aaa0d6ac8d3f/zkldoom/z_main.c#L74-L101

Returns

UNREACHABLE at /home/boogerwooger/zkllvm/libs/assigner/include/nil/blueprint/parser.hpp:753
        Unsupported opcode type: switch
BoogerWooger commented 1 year ago

fixed in https://github.com/NilFoundation/zkllvm-assigner/commit/d9b62329ccbe5c9d13fad1f7737c171ffad004de