Show patches with: Submitter = Luc Van Oostenryck       |   2740 patches
« 1 2 3 4 … 27 28 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[5/5] bitwise: early expansion of simple constants allow -1 and compares in bitwise types - - - --- 2022-06-27 Luc Van Oostenryck New
[4/5] bitwise: do not remove the signedness of bitwise types allow -1 and compares in bitwise types - - - --- 2022-06-27 Luc Van Oostenryck New
[3/5] bitwise: allow compares for bitwise types allow -1 and compares in bitwise types - - - --- 2022-06-27 Luc Van Oostenryck New
[2/5] bitwise: accept all ones as non-restricted value allow -1 and compares in bitwise types - - - --- 2022-06-27 Luc Van Oostenryck New
[1/5] bitwise: add testcases allow -1 and compares in bitwise types - - - --- 2022-06-27 Luc Van Oostenryck New
TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C - - - --- 2021-04-18 Luc Van Oostenryck Mainlined
canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2 canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2 - - - --- 2021-04-18 Luc Van Oostenryck Mainlined
[SPARSE,4/4] simplify AND(x >= 0, x < C) --> (unsigned)x < C fix/improve canonicalization of signed compares - - - --- 2021-04-18 Luc Van Oostenryck Mainlined
[SPARSE,3/4] add helper is_positive() fix/improve canonicalization of signed compares - - - --- 2021-04-18 Luc Van Oostenryck Mainlined
[SPARSE,2/4] add testcases for AND(x > 0, x <= C) --> x u<= C fix/improve canonicalization of signed compares - - - --- 2021-04-18 Luc Van Oostenryck Mainlined
[SPARSE,1/4] canonicalize constant signed compares toward zero fix/improve canonicalization of signed compares - - - --- 2021-04-18 Luc Van Oostenryck Mainlined
[3/3] remove early simplification of casts during evaluation remove early simplification of casts during evaluation - - - --- 2021-04-18 Luc Van Oostenryck Mainlined
[2/3] simplify TRUNC(NOT(x)) --> NOT(TRUNC(x)) remove early simplification of casts during evaluation - - - --- 2021-04-18 Luc Van Oostenryck Mainlined
[1/3] add testcases for simplification of casts. remove early simplification of casts during evaluation - - - --- 2021-04-18 Luc Van Oostenryck Mainlined
no needs to use MARK_CURRENT_DELETED() for multi-jumps no needs to use MARK_CURRENT_DELETED() for multi-jumps - - - --- 2021-04-17 Luc Van Oostenryck Mainlined
[v2,8/8] scheck: support pre-conditions via __assume() scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,7/8] scheck: assert_const() scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,6/8] scheck: allow multiple assertions scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,5/8] scheck: assert_eq() scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,4/8] scheck: add a symbolic checker scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,3/8] .gitignore is a bit too greedy scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,2/8] builtin: define a symbol_op for a generic op acting on integer scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[v2,1/8] export declare_builtins() scheck: add a symbolic checker - - - --- 2021-04-12 Luc Van Oostenryck Mainlined
[5/5] kill redundant stores (local) kill more dead stores - - - --- 2021-04-10 Luc Van Oostenryck Mainlined
[4/5] kill parent's dead stores too kill more dead stores - - - --- 2021-04-10 Luc Van Oostenryck Mainlined
[3/5] volatile stores are never dead kill more dead stores - - - --- 2021-04-10 Luc Van Oostenryck Mainlined
[2/5] extract try_to_kill_store() from kill_dominated_stores() kill more dead stores - - - --- 2021-04-10 Luc Van Oostenryck Mainlined
[1/5] add testcases for stores simplifications kill more dead stores - - - --- 2021-04-10 Luc Van Oostenryck Mainlined
add some notes about pseudos being typeless add some notes about pseudos being typeless - - - --- 2021-04-10 Luc Van Oostenryck Mainlined
linear: only allocate call instructions when needed linear: only allocate call instructions when needed - - - --- 2021-04-10 Luc Van Oostenryck Mainlined
[8/8] scheck: support pre-conditions via __assume() scheck: add a symbolic checker for sparse - - - --- 2021-04-10 Luc Van Oostenryck Superseded
[7/8] scheck: assert_const() scheck: add a symbolic checker for sparse - - - --- 2021-04-10 Luc Van Oostenryck Superseded
[6/8] scheck: allow multiple assertions scheck: add a symbolic checker for sparse - - - --- 2021-04-10 Luc Van Oostenryck Superseded
[5/8] scheck: assert_eq() scheck: add a symbolic checker for sparse - - - --- 2021-04-10 Luc Van Oostenryck Superseded
[4/8] scheck: add a symbolic checker scheck: add a symbolic checker for sparse - - - --- 2021-04-10 Luc Van Oostenryck Superseded
[3/8] .gitignore is a bit too greedy scheck: add a symbolic checker for sparse - - - --- 2021-04-10 Luc Van Oostenryck Superseded
[2/8] builtin: define a symbol_op for a generic op acting on integer scheck: add a symbolic checker for sparse - - - --- 2021-04-10 Luc Van Oostenryck Superseded
[1/8] export declare_builtins() scheck: add a symbolic checker for sparse - - - --- 2021-04-10 Luc Van Oostenryck Superseded
fix null-pointer crash with with ident same as one of the attributes fix null-pointer crash with with ident same as one of the attributes - - - --- 2021-04-04 Luc Van Oostenryck Mainlined
[4/4] fix remove_merging_phisrc() fix 2 problems with phi-sources - - - --- 2021-04-02 Luc Van Oostenryck Mainlined
[3/4] better check validity of phi-sources fix 2 problems with phi-sources - - - --- 2021-04-02 Luc Van Oostenryck Mainlined
[2/4] correctly count phi arguments fix 2 problems with phi-sources - - - --- 2021-04-02 Luc Van Oostenryck Mainlined
[1/4] additional testcase for remove_merging_phisrc() fix 2 problems with phi-sources - - - --- 2021-04-02 Luc Van Oostenryck Mainlined
[6/6] memops: we can kill addresses unconditionally memops: small cleanups - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[5/6] memops: avoid using first_pseudo() memops: small cleanups - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[4/6] memops: do not mess up with phisource's source ident memops: small cleanups - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[3/6] memops: remove obsolete comment memops: small cleanups - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[2/6] memops: find_dominating_parents()s generation is redundant memops: small cleanups - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[1/6] memops: dominates()s first arg is redundant memops: small cleanups - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[6/6] let ssa_rename_phi() use insert_last_instruction() use an helper to add an instruction to a BB - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[5/6] let find_dominating_parents() use insert_last_instruction() use an helper to add an instruction to a BB - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[4/6] let insert_phis() use insert_last_instruction() use an helper to add an instruction to a BB - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[3/6] let insert_select() use insert_last_instruction() use an helper to add an instruction to a BB - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[2/6] replace add_instruction_to_end() by insert_last_instruction() use an helper to add an instruction to a BB - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[1/6] add insert_last_instruction() use an helper to add an instruction to a BB - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
testsuite: add option '-r' to 'test-suite format' testsuite: add option '-r' to 'test-suite format' - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[13/13] fix phisources during SWITCH-BR conversion remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[12/13] use convert_to_jump() when converting a CBR with same targets remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[11/13] fix phisources during CBR-BR conversion remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[10/13] add remove_phisources() remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[09/13] rename insert_branch() to convert_to_jump() remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[08/13] let insert_branch() return a status remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[07/13] move insert_branch() to flow.c remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[06/13] let insert_branch() reuse the terminating instruction remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[05/13] fold remove_parent() into insert_branch() remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[04/13] simplify remove_parent() remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[03/13] remove insert_branch() redundant arg remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[02/13] add testcases to check if phi-sources from removed targets are removed too remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[01/13] Revert "simplify CBR-CBR on the same condition" remove phi-sources from removed branches - - - --- 2021-03-21 Luc Van Oostenryck Mainlined
[9/9] simplify (x | M) cmpu C simplify CMP(AND(x,M), C) and CMP(OR(x,M), C) - - - --- 2021-03-10 Luc Van Oostenryck Mainlined
[8/9] simplify (x | M) cmps C simplify CMP(AND(x,M), C) and CMP(OR(x,M), C) - - - --- 2021-03-10 Luc Van Oostenryck Mainlined
[7/9] simplify (x | M) {==,!=} C simplify CMP(AND(x,M), C) and CMP(OR(x,M), C) - - - --- 2021-03-10 Luc Van Oostenryck Mainlined
[6/9] simplify (x & M) {==,!=} C simplify CMP(AND(x,M), C) and CMP(OR(x,M), C) - - - --- 2021-03-10 Luc Van Oostenryck Mainlined
[5/9] simplify (x & M) cmps 0 simplify CMP(AND(x,M), C) and CMP(OR(x,M), C) - - - --- 2021-03-10 Luc Van Oostenryck Mainlined
[4/9] simplify (x & M) cmpu C simplify CMP(AND(x,M), C) and CMP(OR(x,M), C) - - - --- 2021-03-10 Luc Van Oostenryck Mainlined
[3/9] simplify (x & M) cmps C simplify CMP(AND(x,M), C) and CMP(OR(x,M), C) - - - --- 2021-03-10 Luc Van Oostenryck Mainlined
[2/9] add testcases for constant compares against AND/OR simplify CMP(AND(x,M), C) and CMP(OR(x,M), C) - - - --- 2021-03-10 Luc Van Oostenryck Mainlined
[1/9] change testing of signed compares against SMIN or SMAX simplify CMP(AND(x,M), C) and CMP(OR(x,M), C) - - - --- 2021-03-10 Luc Van Oostenryck Mainlined
[4/4] ssa: fix conversion with mismatched size or offset fix SSA conversion of mismatched memops - - - --- 2021-03-09 Luc Van Oostenryck Mainlined
[3/4] ssa: avoid SSA conversion of packed bitfields fix SSA conversion of mismatched memops - - - --- 2021-03-09 Luc Van Oostenryck Mainlined
[2/4] ssa: the sparse set is not needed fix SSA conversion of mismatched memops - - - --- 2021-03-09 Luc Van Oostenryck Mainlined
[1/4] ssa: add some testcases for mismatched memops fix SSA conversion of mismatched memops - - - --- 2021-03-09 Luc Van Oostenryck Mainlined
phi-sources can only have a single user (or none) phi-sources can only have a single user (or none) - - - --- 2021-03-06 Luc Van Oostenryck Mainlined
[6/6] ptrlist: change return value of linearize_ptr_list()/ptr_list_to_array() small changes to ptrlist API - - - --- 2021-03-06 Luc Van Oostenryck Mainlined
[5/6] ptrlist: make linearize_ptr_list() generic small changes to ptrlist API - - - --- 2021-03-06 Luc Van Oostenryck Mainlined
[4/6] ptrlist: use ptr_list_nth() instead of linearize_ptr_list() small changes to ptrlist API - - - --- 2021-03-06 Luc Van Oostenryck Mainlined
[3/6] ptrlist: add pop_ptr_list() small changes to ptrlist API - - - --- 2021-03-06 Luc Van Oostenryck Mainlined
[2/6] ptrlist: change TYPEOF() into PTRLIST_TYPE() small changes to ptrlist API - - - --- 2021-03-06 Luc Van Oostenryck Mainlined
[1/6] ptrlist: ~fix TYPEOF() small changes to ptrlist API - - - --- 2021-03-06 Luc Van Oostenryck Mainlined
pre-proc: do some path normalization pre-proc: do some path normalization - - - --- 2021-03-01 Luc Van Oostenryck Mainlined
[4/4] slice: display the source's size, like for unops small reorganization of OP_SLICE - - - --- 2021-02-25 Luc Van Oostenryck Mainlined
[3/4] slice: OP_SLICE needs the source's type: make it a kind of unop small reorganization of OP_SLICE - - - --- 2021-02-25 Luc Van Oostenryck Mainlined
[2/4] slice: remove unneeded nr_nrbits from EXPR_SLICE small reorganization of OP_SLICE - - - --- 2021-02-25 Luc Van Oostenryck Mainlined
[1/4] slice: remove unneeded len from OP_SLICE small reorganization of OP_SLICE - - - --- 2021-02-25 Luc Van Oostenryck Mainlined
fix eval of the assignment of a non-restricted value to a restricted variable fix eval of the assignment of a non-restricted value to a restricted variable - - - --- 2021-02-25 Luc Van Oostenryck Mainlined
[5/5] asm-mem: teach dominates() about OP_ASM teach memory simplification about ASM instructions - - - --- 2021-02-21 Luc Van Oostenryck Mainlined
[4/5] asm-mem: does it output to memory? teach memory simplification about ASM instructions - - - --- 2021-02-21 Luc Van Oostenryck Mainlined
[3/5] asm-mem: does it clobber memory? teach memory simplification about ASM instructions - - - --- 2021-02-21 Luc Van Oostenryck Mainlined
[2/5] asm-mem: add testcase for missing reload after asm memops teach memory simplification about ASM instructions - - - --- 2021-02-21 Luc Van Oostenryck Mainlined
[1/5] reorg dominates() teach memory simplification about ASM instructions - - - --- 2021-02-21 Luc Van Oostenryck Mainlined
« 1 2 3 4 … 27 28 »