[all-commits] [llvm/llvm-project] 88e9b3: [FuncSpec] Query SCCPSolver in more places (#114964)

[Hari Limaye via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 88e9b373c0d7184b08c755024cce0778d18f0306
      https://github.com/llvm/llvm-project/commit/88e9b373c0d7184b08c755024cce0778d18f0306
  Author: Hari Limaye <hari.limaye at arm.com>
  Date:   2024-11-06 (Wed, 06 Nov 2024)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/FunctionSpecialization.h
    M llvm/lib/Transforms/IPO/FunctionSpecialization.cpp
    A llvm/test/Transforms/FunctionSpecialization/solver-constants.ll
    A llvm/test/Transforms/FunctionSpecialization/solver-dead-blocks.ll

  Log Message:
  -----------
  [FuncSpec] Query SCCPSolver in more places (#114964)

When traversing the use-def chain of an Argument in a candidate
specialization, also query the SCCPSolver to see if a Value is constant.
This allows us to better estimate the codesize savings of a candidate in
the presence of instructions that are a user of the argument we are
estimating savings for which also use arguments that have been found
constant by IPSCCP.

Similarly when estimating the dead basic blocks from branch and switch
instructions which become constant, also query the SCCPSolver to see if
a predecessor is unreachable.



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