Open aqjune opened 1 year ago
you can implement it by yourself, here is how its semantic should looks like :
void SemanticAdcs(Context &ctx) {
auto &state = ctx.NewState();
auto &alu = state.alu;
alu.result = state.regs[0].W() + state.regs[1].W() + alu.carry;
alu.flags.C = (alu.result < state.regs[0].W());
alu.flags.Z = (alu.result == 0);
alu.flags.S = (alu.result & 0x80000000);
alu.flags.O = (((state.regs[0].W() ^ state.regs[1].W()) & (state.regs[0].W() ^ alu.result)) & 0x80000000);
}
Hello all, It seems Remill cannot lift the
adcs
instruction in ARMv8. I tested HEX code0e020cba
: https://armconverter.com/?disasm&code=0e020cba&offset=400544I attach the bash command that I used: