[PATCH] D28627: [PM] Introduce an analysis set used to preserve all analyses over a function's CFG when that CFG is unchanged.

[Sean Silva via Phabricator via llvm-commits]

silvas added a comment.

It would be good to build up some verification machinery here at some point in the future.



================
Comment at: lib/Transforms/InstCombine/InstructionCombining.cpp:3180
   PreservedAnalyses PA;
+  PA.preserveSet<CFGAnalyses>();
   PA.preserve<AAManager>();
----------------
Is this actually true? I've seen InstCombine rewrite a switch. I know we *want* it to be true, but I'm not sure if it is right now.


https://reviews.llvm.org/D28627