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

[Sanjay Patel via llvm-dev]

Some InstCombine transforms for select-of-select were added here:
https://reviews.llvm.org/rL228409

But Alive says this is more poisonous:

Name: selsel
%s1 = select i1 %cond1, i8 C1, i8 C2
%s2 = select i1 %cond2, i8 %s1, i8 C2
  =>
%andcond = and i1 %cond1, %cond2
%s2 = select i1 %andcond, i8 C1, i8 C2

http://rise4fun.com/Alive/JT6

Are those transforms legal?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170522/bbc53c66/attachment.html>