Bug #9336
closed
MicroTESK is not able to disassemble euclid binary (RISC-V)
Added by Alexander Kamkin about 6 years ago.
Updated about 6 years ago.
Published in build:
2.4.44
Description
Analyzing file: ./euclid_0000.bin...
Error: Unrecognized instruction encoding: 32'b00000001100000000000000001101111
Error: Failed to disassemble ./euclid_0000.bin
Created file: ./euclid_0000.bin.smt2
+
j offset == jal x0, offset
Generation of the instruction decoder fails:
Warning: Failed to construct decoder for jal. Unrecognized field: jump_imm20<19..19>
Warning: Failed to construct decoder for jal. Unrecognized field: jump_imm20<9..0>
Warning: Failed to construct decoder for jal. Unrecognized field: jump_imm20<10..10>
Warning: Failed to construct decoder for jal. Unrecognized field: jump_imm20<18..11>
Warning: Failed to construct decoder for jal. Undecoded arguments: [imm]
StbDecoder (line 169):
if (ExprUtils.isValue(field)) {
// Constant (treated as an OPC).
buildOpcCheck(stConstructor, group, field);
} else if (isImmediateArgument(field)) {
// Image of an immediate value.
buildImmediateArgument(stConstructor, group, field);
} else if (isImmediateArgumentField(field)) {
// Image of an immediate value's part.
buildImmediateArgumentField(stConstructor, group, field);
} else if (isArgumentImage(field)) {
// Image of an addressing mode / operation (argument).
buildArgumentImage(stConstructor, group, field);
} else if (isInstanceImage(field)) {
// Image of an addressing mode / operation (instance).
buildInstanceImage(st, stConstructor, group, field);
} else {
reportError("Unrecognized field: %s", field);
}
- Status changed from New to Resolved
- Status changed from Resolved to Closed
- Published in build set to 2.4.44
Also available in: Atom
PDF