> some cases, but not others. Maybe it could use target hooks of some sort > so it only does transformations that makes sense given a certain cost > model? Yeah, I would love to explore that, when Souper is being invoked as a pass. On the other hand, here I was only hoping to suggest some IR-level optimizations that might be useful... John