Displaying 2 results from an estimated 2 matches for "pr807".
Did you mean:
pr8037
2015 Jan 15
2
[LLVMdev] generate llvm.assume calls in GVN?
...t;
> Once upon a time, there was an optimization for this called predsimplify.
> I believe Nick can tell you a long, glorious, tragic tale about its life
> and ultimate death.
>
Okay, gather 'round the fire. ;-)
Predsimplify was the first optimization pass I tried to write, to fix
PR807. The basis was that it would propagate properties (icmp's between two
SSA values) down paths in the domtree. In its various rewrites it knew all
sorts of tricks. For instance it could do:
a = b + c
if b == 5:
if c == 3:
print a # replace 'a' with 8
which requires that...
2015 Jan 15
2
[LLVMdev] generate llvm.assume calls in GVN?
Would it be wrong to generate the llvm.assume IR suggested below? in GVN?
Given more info via the AssumptionCache, InstCombine can then do more
optimizing.
On Thu, Dec 4, 2014 at 12:10 PM, Philip Reames <listmail at philipreames.com>
wrote:
>
> On 12/04/2014 02:19 AM, Lars Rasmusson SICS wrote:
>
> Hi,
>
> I'm compiling a large code base that uses tagged data, with