[LLVMdev] Conditonal to constant promotion?

[Eli Friedman]

On Fri, Aug 22, 2008 at 1:10 PM,  <matthieu at illinois.edu> wrote:
> Hi,
>
> I tried the memory dependency analysis posted by
> Wojciech on the attached test case. The analysis
> had to fallback to conservatives answers sometimes,
> probably (but not sure) due to the existence of several
> select instructions that might prevent the analysis
> from correctly find the answer.
>
> In this specific test case, these selects are provably
> useless and I am trying to get rid of them either by finding
> the correct transformation pass or writing/extending an existing
> one.

Have you tried -predsimplify?

-Eli