Show patches with: Series = simplify logical negation       |   7 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[7/7] not: simplify ((x cmp y) {&,|,^} (x !cmp y)) --> {0,1,1} simplify logical negation - - - --- 2020-11-22 Luc Van Oostenryck Mainlined
[6/7] not: simplify (~x {&,|,^} x) --> {0,~0,~0} simplify logical negation - - - --- 2020-11-22 Luc Van Oostenryck Mainlined
[5/7] opcode: add helpers opcode_negate() & opcode_swap() simplify logical negation - - - --- 2020-11-22 Luc Van Oostenryck Mainlined
[4/7] canon: simplify calculation of canonical order simplify logical negation - - - --- 2020-11-22 Luc Van Oostenryck Mainlined
[3/7] canon: put PSEUDO_REGs in canonical order too simplify logical negation - - - --- 2020-11-22 Luc Van Oostenryck Mainlined
[2/7] canon: put PSEUDO_ARGs in canonical order too simplify logical negation - - - --- 2020-11-22 Luc Van Oostenryck Mainlined
[1/7] not: add testcases for canonicalization & simplification of negations simplify logical negation - - - --- 2020-11-22 Luc Van Oostenryck Mainlined