[all-commits] [llvm/llvm-project] cfb88e: [StrictFP][IPSCCP] Constant fold intrinsics with m...

[Kevin P. Neal via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cfb88ee3ba703ed0c469bb09dfe1cc9235579dfc
      https://github.com/llvm/llvm-project/commit/cfb88ee3ba703ed0c469bb09dfe1cc9235579dfc
  Author: Kevin P. Neal <kevin.neal at sas.com>
  Date:   2022-10-24 (Mon, 24 Oct 2022)

  Changed paths:
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    M llvm/test/Transforms/SCCP/strictfp-phis-fcmp.ll
    M llvm/test/Transforms/SCCP/strictfp-phis-fcmps.ll

  Log Message:
  -----------
  [StrictFP][IPSCCP] Constant fold intrinsics with metadata arguments

This teaches the SCCP Solver how to constant fold more intrinsics. Constant
folding appears to be just as good as D115737 but much, much lower in code
change impact as suggested by nikic.

The constrained floating-point intrinsics all take at least one metadata
argument and were the motivation for the change.

Differential Revision: https://reviews.llvm.org/D136466