On 10/08/14 13:22, Ilya Enkovich wrote:
Hi,This patch adds removal of redundant (covered by other) checks into checker optimization. Thanks, Ilya -- 2014-10-08 Ilya Enkovich <ilya.enkov...@intel.com> * tree-chkp.c (chkp_compare_checks): New. (chkp_remove_redundant_checks): New. (chkp_opt_execute): Run redundant checks removal algorithm.
Wouldn't pure removal be better modeled in existing optimizers? DOM would seem to be a natural fit?
Similarly, isn't the swapping very similar to a reverse DOM walk DSE-like optimizer?
Deferring further review until those questions are answered? jeff
