[all-commits] [llvm/llvm-project] 11a702: [opt][NewPM] Add isRequired to passes named as *Ve...

[Björn Pettersson via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 11a702d215bf3fe5d185b9005e76c76c3001dd0c
      https://github.com/llvm/llvm-project/commit/11a702d215bf3fe5d185b9005e76c76c3001dd0c
  Author: Björn Pettersson <bjorn.a.pettersson at ericsson.com>
  Date:   2024-01-03 (Wed, 03 Jan 2024)

  Changed paths:
    M llvm/include/llvm/Analysis/LoopInfo.h
    M llvm/include/llvm/Analysis/MemorySSA.h
    M llvm/include/llvm/Analysis/RegionInfo.h
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/include/llvm/IR/Dominators.h
    M llvm/include/llvm/IR/SafepointIRVerifier.h
    M llvm/include/llvm/Transforms/Utils/PredicateInfo.h

  Log Message:
  -----------
  [opt][NewPM] Add isRequired to passes named as *VerifierPass (#76517)

In this patch all passes named as *VerifierPass are being marked as
required. That should make sure that the passes are executed without
being skipped due to standard instrumentations.

For example
  opt -passes='verify<loops>,verify<scalar-evolution>' ...
will no longer skip running the verifications for functions marked as
optnone.

Partial fix for: https://github.com/llvm/llvm-project/issues/76762