[all-commits] [llvm/llvm-project] e4a412: [IR] Remove zext and sext constant expressions (#7...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e4a4122eb6768b69640173b4c32fd88de4547227
      https://github.com/llvm/llvm-project/commit/e4a4122eb6768b69640173b4c32fd88de4547227
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-11-03 (Fri, 03 Nov 2023)

  Changed paths:
    M llvm/bindings/ocaml/llvm/llvm.ml
    M llvm/bindings/ocaml/llvm/llvm.mli
    M llvm/bindings/ocaml/llvm/llvm_ocaml.c
    M llvm/docs/LangRef.rst
    M llvm/docs/ReleaseNotes.rst
    M llvm/include/llvm-c/Core.h
    M llvm/include/llvm/IR/Constants.h
    M llvm/lib/AsmParser/LLParser.cpp
    M llvm/lib/Bitcode/Reader/BitcodeReader.cpp
    M llvm/lib/IR/ConstantFold.cpp
    M llvm/lib/IR/Constants.cpp
    M llvm/lib/IR/Core.cpp
    M llvm/test/Analysis/Lint/noop-cast-expr-no-pointer.ll
    M llvm/test/Analysis/ScalarEvolution/ptrtoint-constantexpr-loop.ll
    R llvm/test/Assembler/2009-03-24-ZextConstantExpr.ll
    M llvm/test/Bindings/OCaml/core.ml
    M llvm/test/CodeGen/AArch64/arm64-2012-05-09-LOADgot-bug.ll
    M llvm/test/CodeGen/AArch64/arm64-codegen-prepare-extload.ll
    M llvm/test/CodeGen/AMDGPU/GlobalISel/irtranslator-constantexpr.ll
    M llvm/test/CodeGen/ARM/2007-04-03-UndefinedSymbol.ll
    M llvm/test/CodeGen/ARM/2012-01-23-PostRA-LICM.ll
    M llvm/test/CodeGen/ARM/2018-02-13-PR36079.ll
    M llvm/test/CodeGen/Hexagon/opt-addr-mode-subreg-use.ll
    M llvm/test/CodeGen/Hexagon/packetize-l2fetch.ll
    M llvm/test/CodeGen/PowerPC/ext-bool-trunc-repl.ll
    M llvm/test/CodeGen/WebAssembly/fast-isel-noreg.ll
    M llvm/test/CodeGen/X86/2008-09-19-RegAllocBug.ll
    R llvm/test/CodeGen/X86/2012-03-20-LargeConstantExpr.ll
    M llvm/test/CodeGen/X86/absolute-constant.ll
    M llvm/test/CodeGen/X86/absolute-rotate.ll
    M llvm/test/CodeGen/X86/address-type-promotion-constantexpr.ll
    M llvm/test/CodeGen/X86/codegen-prepare-extload.ll
    M llvm/test/CodeGen/X86/fast-isel-expect.ll
    M llvm/test/Feature/constexpr.ll
    M llvm/test/Feature/newcasts.ll
    M llvm/test/Feature/vector-cast-constant-exprs.ll
    M llvm/test/Integer/constexpr_bt.ll
    M llvm/test/Integer/newcasts_bt.ll
    M llvm/test/Transforms/GlobalDCE/complex-constantexpr.ll
    M llvm/test/Transforms/GlobalOpt/dead-constant-user.ll
    M llvm/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll
    M llvm/test/Transforms/InstCombine/2012-3-15-or-xor-constant.ll
    M llvm/test/Transforms/InstCombine/constant-fold-compare.ll
    M llvm/test/Transforms/InstCombine/constant-fold-iteration.ll
    M llvm/test/Transforms/InstCombine/fold-bin-operand.ll
    M llvm/test/Transforms/InstCombine/icmp-mul.ll
    M llvm/test/Transforms/InstCombine/icmp.ll
    M llvm/test/Transforms/InstCombine/mul-inseltpoison.ll
    M llvm/test/Transforms/InstCombine/mul.ll
    M llvm/test/Transforms/InstCombine/not-add.ll
    M llvm/test/Transforms/InstCombine/overflow-mul.ll
    M llvm/test/Transforms/InstCombine/pr32686.ll
    M llvm/test/Transforms/InstCombine/pr35515.ll
    M llvm/test/Transforms/InstCombine/rem.ll
    M llvm/test/Transforms/InstCombine/shift-amount-reassociation-in-bittest.ll
    M llvm/test/Transforms/InstCombine/udiv-simplify.ll
    M llvm/test/Transforms/InstCombine/udivrem-change-width.ll
    M llvm/test/Transforms/InstSimplify/ConstProp/constant-expr.ll
    M llvm/test/Transforms/JumpThreading/constant-fold-status.ll
    M llvm/test/Transforms/SCCP/undef-resolve.ll
    M llvm/test/Transforms/SLPVectorizer/X86/bad-reduction.ll
    M llvm/unittests/IR/ConstantsTest.cpp

  Log Message:
  -----------
  [IR] Remove zext and sext constant expressions (#71040)

Remove support for zext and sext constant expressions. All places
creating them have been removed beforehand, so this just removes the
APIs and uses of these constant expressions in tests.

There is some additional cleanup that can be done on top of this, e.g.
we can remove the ZExtInst vs ZExtOperator footgun.

This is part of
https://discourse.llvm.org/t/rfc-remove-most-constant-expressions/63179.