nlopes accepted this revision. nlopes added a comment. This revision is now accepted and ready to land. LGTM, thanks. You're right: the Boolean connector for the second transformation was flipped. All good now :) https://reviews.llvm.org/D37713