xx && yy — это уже не совсем про пипхолы, тут, блин, два бейсик блока :)
В Souper самое интересное с точки технологии супероптимизации — то, как авторы разбираются с ветвлениями, несмотря на то, что супероптимизатор действительно умеет работать только с линейным представлением.
См. раздел 2.4 Reasoning About Incoming Control Flow.