[llvm] [Instcombine] Ensure simplifyValueKnownNonZero adds instrs in dominance order. (PR #173703)

[Yingwei Zheng via llvm-commits]

================
@@ -0,0 +1,13 @@
+; NOTE: This test ensures InstCombine preserves dominance even when it
+; reorders shifts through SimplifyDemandedBits/log2 folding.
+;
+; RUN: opt -passes=instcombine,verify -disable-output %s
----------------
dtcxzyw wrote:

The verifier pass is implicitly inserted at the end of the pipeline by opt, unless you specify `--disable-verify`.

https://github.com/llvm/llvm-project/pull/173703