Wrong value for sext i1 true in BasicAliasAnalysis

[Hal Finkel]

----- Original Message -----
> From: "Nicholas White" <n.j.white at gmail.com>
> To: "Hal Finkel" <hfinkel at anl.gov>
> Cc: "Yin Ma" <yinma at codeaurora.org>, "Commit Messages and Patches for LLVM" <llvm-commits at cs.uiuc.edu>, "Arnold
> Schwaighofer" <aschwaighofer at apple.com>
> Sent: Monday, December 15, 2014 5:13:18 AM
> Subject: Re: Wrong value for sext i1 true in BasicAliasAnalysis
> 
> 
> 
> Hi -
> 
> Thanks for the repro. For context, I changed zext to sext on line 268
> to fix another bug (see test cases on that commit).
> 
> 
> > I also don't understand, for example, why it is correct to truncate
> > and re-extend the already-computed Offset and Scale from the
> > caller
> 
> 
> I agree - I'll have a look tonight and see if I can come up with a
> proper fix, as clearly neither zext or sext is always correct!

Okay, thanks Nick!

 -Hal

> 
> 
> Nick
> 

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