[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