Re: question on bitmap_set_subtract unction in pre

2012-02-07 Thread Richard Guenther
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

Re: question on bitmap_set_subtract unction in pre

2012-02-07 Thread Amker.Cheng
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

Re: question on bitmap_set_subtract unction in pre

2012-02-06 Thread Richard Guenther
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

question on bitmap_set_subtract unction in pre

2012-02-05 Thread Amker.Cheng
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 ---