aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-01-23 18:38:55 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-01-23 18:38:55 +0100
commit98d8b65e122b5180d81a653487a7392e6083d9f3 (patch)
tree32a2fa109df535343a9c498319a9e15884d86437
parent46a52ca446cc1fee7662554de70ba4e549448821 (diff)
parent23756db02e8d8337075b377408af5093c0401de2 (diff)
downloadsparse-98d8b65e122b5180d81a653487a7392e6083d9f3.tar.gz
Merge branch 'fix-sext-cmps'
-rw-r--r--simplify.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/simplify.c b/simplify.c
index b0d2c1b5..1e764848 100644
--- a/simplify.c
+++ b/simplify.c
@@ -1225,12 +1225,14 @@ static int simplify_compare_constant(struct instruction *insn, long long value)
switch (insn->opcode) {
case OP_SET_BE:
if (value >= sign_bit(osize)) {
+ insn->itype = def->orig_type;
replace_binop_value(insn, OP_SET_GE, 0);
return replace_pseudo(insn, &insn->src1, def->src);
}
break;
case OP_SET_A:
if (value >= sign_bit(osize)) {
+ insn->itype = def->orig_type;
replace_binop_value(insn, OP_SET_LT, 0);
return replace_pseudo(insn, &insn->src1, def->src);
}