Re: Fix PR/59303 -- predicate uninit analysis enhancement

[Xinliang David Li <davidxl at google dot com>]

This is the updated patch which incorporated Jakub's cleanup changes.

thanks

David

On Sat, Dec 21, 2013 at 9:39 PM, Xinliang David Li <davidxl@google.com> wrote:
> Hi, the following patch fixes the problem reported in PR/59303. In the
> patch, the predication expression normalization is no long done on the
> fly during inclusion relationship check, but done unconditionally
> after the predicate union set is computed, together with iterative
> simplification based on a couple of rules.
>
> bootstrap and regression tested on x86-64/linux with -m32 and -m64.
>
> Also tested with:
>
> make check-gcc RUNTESTFLAGS="dg.exp=uninit*
> --target_board=\{-mbranch-cost=0,-mbranch-cost=1,-mbranch-cost=2,-mbranch-cost=3,-mbranch-cost=4,-mbranch-cost=5\}"
>
> No failures were seen.
>
> ok for trunk?
>
>
> thanks,
>
> David

Attachment: uninit_pred_enh_4.txt
Description: Text document