[all-commits] [llvm/llvm-project] 3fa231: Add SimplifyTypeTests pass.

[Peter Collingbourne via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3fa231f47c584005981f49294e07801f90a35bfe
      https://github.com/llvm/llvm-project/commit/3fa231f47c584005981f49294e07801f90a35bfe
  Author: Peter Collingbourne <peter at pcc.me.uk>
  Date:   2025-06-05 (Thu, 05 Jun 2025)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/LowerTypeTests.h
    M llvm/lib/Passes/PassBuilderPipelines.cpp
    M llvm/lib/Passes/PassRegistry.def
    M llvm/lib/Transforms/IPO/LowerTypeTests.cpp
    M llvm/test/Other/new-pm-thinlto-postlink-defaults.ll
    M llvm/test/Other/new-pm-thinlto-postlink-pgo-defaults.ll
    M llvm/test/Other/new-pm-thinlto-postlink-samplepgo-defaults.ll
    A llvm/test/Transforms/SimplifyTypeTests/basic.ll

  Log Message:
  -----------
  Add SimplifyTypeTests pass.

This pass figures out whether inlining has exposed a constant address to
a lowered type test, and remove the test if so and the address is known
to pass the test. Unfortunately this pass ends up needing to reverse
engineer what LowerTypeTests did; this is currently inherent to the design
of ThinLTO importing where LowerTypeTests needs to run at the start.

Reviewers: teresajohnson

Reviewed By: teresajohnson

Pull Request: https://github.com/llvm/llvm-project/pull/141327



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications