Some unsigned compares are always true or false. Some others, testing if the value is greater or smaller than 0 or 1 are equivalent to testing if this value is equal or not to 0. These 2 patches simplify the first ones and canonicalize the others to the equivalent equality test. Luc Van Oostenryck (2): simplify unsigned compares against 0 canonicalize unsigned compares against 0 or 1 simplify.c | 30 ++++++++++++++++++++++++++++++ validation/optim/set-uimm0.c | 14 ++++++++++++++ 2 files changed, 44 insertions(+) create mode 100644 validation/optim/set-uimm0.c -- 2.28.0