[llvm-dev] [poison] is select-of-select to logic+select allowed?

[Sanjoy Das via llvm-dev]

Hi,

On Tue, May 23, 2017 at 9:27 AM, John Regehr <regehr at cs.utah.edu> wrote:
> Would it make sense to first commit to a semantics for select, document
> this, and attempt to comment out all now-invalid optimizations?  We don't
> want to remove them entirely since, as Nuno points out, we can bring some of
> them back later using appropriate freezes.

This sounds like a good plan.  I'd only suggest that instead of
commenting out the optimizations altogether we put it under an off by
default flag, if practical.  This would make it easier to run A/B
tests.

-- Sanjoy