[all-commits] [llvm/llvm-project] 17c5c1: [Verifier] Always verify all assume bundles. (#145...
Florian Hahn via All-commits
all-commits at lists.llvm.org
Wed Jun 25 01:31:25 PDT 2025
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: 17c5c19902a8b9270687186098e66565afbef64b
https://github.com/llvm/llvm-project/commit/17c5c19902a8b9270687186098e66565afbef64b
Author: Florian Hahn <flo at fhahn.com>
Date: 2025-06-25 (Wed, 25 Jun 2025)
Changed paths:
M llvm/lib/IR/Verifier.cpp
R llvm/test/Transforms/LoopVectorize/dereferenceable-info-from-assumption-variable-size.ll
M llvm/test/Transforms/LoopVectorize/early_exit_store_legality.ll
M llvm/test/Verifier/assume-bundles.ll
Log Message:
-----------
[Verifier] Always verify all assume bundles. (#145586)
For some reason, some of the checks for specific assumbe bundle elements
exit early if the check pass, meaning we don't verify other entries.
Replace the early returns with early continues.
This also requires removing some tests that are currently rejected. They will
be added back as part of https://github.com/llvm/llvm-project/pull/128436.
PR: https://github.com/llvm/llvm-project/pull/145586
To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications
More information about the All-commits
mailing list