Tests from https://github.com/riscv/riscv-tests/tree/master/isa/rv32ui