portugalfuturista/rizin
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Set eflags after shift instruction

Browse source
This commit is contained in:
Dhruv Maroo 2023-01-23 15:47:31 +05:30 committed by Anton Kochkov
parent 349e699098
commit 2bcdb40bd3
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
librz/analysis/arch/x86/x86_il.c
View file

@ -3114,7 +3114,7 @@ IL_LIFTER(sal) {
RzILOpBool *cond = EQ(VARL("_masked"), UN(count_size, 1));
RzILOpEffect *set_overflow = SETG(EFLAGS(OF), XOR(MSB(VARL("_dest")), VARG(EFLAGS(CF))));
return SEQ3(ret, BRANCH(cond, set_overflow, NULL), x86_il_set_op(0, VARL("_dest")));
return SEQ4(ret, BRANCH(cond, set_overflow, NULL), x86_il_set_op(0, VARL("_dest")), x86_il_set_result_flags(VARL("_dest")));
}
/**
@ -3134,7 +3134,7 @@ IL_LIFTER(sar) {
RzILOpBool *cond = EQ(VARL("_masked"), UN(count_size, 1));
RzILOpEffect *set_overflow = SETG(EFLAGS(OF), IL_FALSE);
return SEQ3(ret, BRANCH(cond, set_overflow, NULL), x86_il_set_op(0, VARL("_dest")));
return SEQ4(ret, BRANCH(cond, set_overflow, NULL), x86_il_set_op(0, VARL("_dest")), x86_il_set_result_flags(VARL("_dest")));
}
/**
@ -3155,7 +3155,7 @@ IL_LIFTER(shl) {
RzILOpBool *cond = EQ(VARL("_masked"), UN(count_size, 1));
RzILOpEffect *set_overflow = SETG(EFLAGS(OF), XOR(MSB(VARL("_dest")), VARG(EFLAGS(CF))));
return SEQ3(ret, BRANCH(cond, set_overflow, NULL), x86_il_set_op(0, VARL("_dest")));
return SEQ4(ret, BRANCH(cond, set_overflow, NULL), x86_il_set_op(0, VARL("_dest")), x86_il_set_result_flags(VARL("_dest")));
}
/**
@ -3175,7 +3175,7 @@ IL_LIFTER(shr) {
RzILOpBool *cond = EQ(VARL("_masked"), UN(count_size, 1));
RzILOpEffect *set_overflow = SETG(EFLAGS(OF), MSB(VARL("_tmp_dest")));
return SEQ3(ret, BRANCH(cond, set_overflow, NULL), x86_il_set_op(0, VARL("_dest")));
return SEQ4(ret, BRANCH(cond, set_overflow, NULL), x86_il_set_op(0, VARL("_dest")), x86_il_set_result_flags(VARL("_dest")));
}
/**