search for: unionwith

Hi, Duncan. unionWith result is differs from set union, since it produces single set always while set operations may produce two sets. E.g.: For ranges [1, 5) and [10,15) unionWith produces [1,15), while set union should just keep these sets without changing, probably with indication that sets are not intersected. I...

...optimal case building. And we need support "difference" if we decided that some ranges or numbers in case will never used (in some optimization passes it happens sometimes). -Stepan 26.04.2012, 15:18, "Duncan Sands" <baldrick at free.fr>: > Hi Stepan, > >>  unionWith result is differs from set union, since it produces single set always >>  while set operations may produce two sets. > > this is true, but that's inevitable if the result is to be a single > ConstantRange.  You can of course define methods that returns a pair > of ConstantRang...

Hi Stepan, > unionWith result is differs from set union, since it produces single set always > while set operations may produce two sets. this is true, but that's inevitable if the result is to be a single ConstantRange. You can of course define methods that returns a pair of ConstantRanges and does what you wan...

Hi Duncan. I have strange problems with you mailbox, my posts are lost sometimes on this way. I just want to duplicate answer on your question in this thread: http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20120305/138785.html ConstantRange has a little bit another purposes. It is not a classical range. Yes it has Lower and Upper, but "sub" and "add" operations

...tle bit another purposes. It is not a classical range. How do you mean? It looks like a classical range to me! Yes it has Lower and Upper, but "sub" and "add" operations are differs from "difference" and "union" set operations. It has intersectWith and unionWith, so I'm not sure what you mean here. There is also "inverse" for forming the complement. But it is still possible to replace Range class with the ConstantRange, though we need to implement classical set operations to do it. The basic set operations are already implemented as I me...

On Thu, Jun 16, 2016 at 11:12 AM, Sanjoy Das <sanjoy at playingwithpointers.com > wrote: > Hi Sean, > > On Thu, Jun 16, 2016 at 4:48 AM, Sean Silva via llvm-dev > <llvm-dev at lists.llvm.org> wrote: > > One question is what invariants we want to provide for the visitation. > > > > For example, should a CGSCC pass be able to assume that all