tree 8b3a5beffa16f10f469149c0b846248d09b45c02
parent 767a203a9e61e307086be96288947d130367a267
author Florian Hahn <flo@fhahn.com> 1747308054 +0100
committer GitHub <noreply@github.com> 1747308054 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoJc4WCRC1aQ7uu5UhlAAAeqcQAEsqGnVtDRST6ndglRkst0XY
 n8B5gBuSLs317lS3WaEzV4+e8N0q1Sz6/SFG07ic3Xmanfefm8DMDECn1EmblHYR
 1yhp0HNDCwcAWGZTYfIzgBWHTvlTtJzanm766Eg21z7Za08zN54lyYIcN66fyInb
 BIdYH2auqHmgGPD6G7huIyZNmTN8dPHkzFyAEF4tmhN/g0/ZzAL2FmN49PYaMfPw
 9OSeaYuxnS8PcV+0mIdCjka91UadK/PFEh0I/mZ8jyH+/aEebOz53laAOyOv/EMG
 EFfFqZS21H0d+FRbKD/uj1IXXnOvhX4NB9bCfLvkEj6t/ET1YZ7YTDPAZa9xyuye
 ZsGPVkK/TjM5l70MsoVuYEcSpnBMRzcKx8/ZlZw2g2J222mwLKDUq7+2z/YzoyYb
 n63LuA1249nyiBac1WTTWaJ7/j/ildnQC2ZYUnT/XjXpu1EbkKrXtG2q/ZPJbQos
 ajYrr0Aa/EAEptng58ePr5X0Slm1JgidU7i3aHo5kVpDxgyR34whJUGaFLW39H6T
 I3pXuE/e856PFcnvAGxDcx4Yi+fsj4XvOvFINLE7JdNryLm0zc7q4PxOV4+LOd5B
 WxK9Zsa2SNm+bztFWPZV2zYtzWoThsW/yZeRdjVl7+GIFGFlPKFMt5k0iNTYEeYl
 PfpAlSfdXixVII6kodH9
 =JvLc
 -----END PGP SIGNATURE-----
 

[VPlan] Verify dominance for incoming values of phi-like recipes. (#124838)

Update the verifier to verify dominance for incoming values for phi-like
recipes. The defining recipe must dominate the incoming block for the
incoming value.

Builds on top of https://github.com/llvm/llvm-project/pull/138472 to
retrieve incoming values & corresponding blocks for phi-like recipes.

PR: https://github.com/llvm/llvm-project/pull/124838