AtariDreams wrote: This food gives me a few more ideas. Particularly it takes me back to that rejected PR. Perhaps I could use this property somehow to fold expressions regarding bitwise nots of each other... https://github.com/llvm/llvm-project/pull/90089