On Tue, Feb 7, 2012 at 2:31 PM, Amker.Cheng wrote:
> On Mon, Feb 6, 2012 at 7:28 PM, Richard Guenther
> wrote:
>> It's probably to have the SET in some canonical form - the resulting
> I am wondering how the canonical form is maintained, since according
> to the paper:
> For an antileader set, it
On Mon, Feb 6, 2012 at 7:28 PM, Richard Guenther
wrote:
> It's probably to have the SET in some canonical form - the resulting
I am wondering how the canonical form is maintained, since according
to the paper:
For an antileader set, it does not matter which expression represents
a value, as long a
On Sun, Feb 5, 2012 at 10:56 AM, Amker.Cheng wrote:
> Hi,
> In PRE, function compute_antic_aux uses bitmap_set_subtract to compute
> value/expression set subtraction.
>
> The comment of bitmap_set_subtract says it subtracts all the values
> and expressions contained in ORIG from DEST.
>
> But the
Hi,
In PRE, function compute_antic_aux uses bitmap_set_subtract to compute
value/expression set subtraction.
The comment of bitmap_set_subtract says it subtracts all the values
and expressions contained in ORIG from DEST.
But the implementation as following
---