[PATCH] [BasicAA] Make better use of zext and sign information.

[Hal Finkel]

I still need to run tests with the patch. I hope to get to this later this week.

 -Hal

----- Original Message -----
> From: "Nick White" <n.j.white at gmail.com>
> To: "n j white" <n.j.white at gmail.com>, hfinkel at anl.gov
> Cc: llvm-commits at cs.uiuc.edu
> Sent: Wednesday, October 29, 2014 12:42:08 PM
> Subject: Re: [PATCH] [BasicAA] Make better use of zext and sign information.
> 
> Hi @hfinkel - is this change OK? `ComputeSignBit` is safe to use in
> loops as it takes into account phi nodes, and the ` == EK_ZeroEx`
> check is safe in loops as, no matter how the variable changes
> between iterations, zero-extensions will always guarantee a zero
> sign bit. The `isValueEqualInPotentialCycles` check is therefore
> definitely not needed as all the variable analysis holds no matter
> how the variables change between loop iterations. Thanks -
> 
> Nick
> 
> http://reviews.llvm.org/D5866
> 
> 
> 

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory