[all-commits] [llvm/llvm-project] f4ecab: [SelectionDAG] Promote FPOWI/FLDEXP exponents wher...

[Justin Lebar via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f4ecab143affd2c2c7953f58802673152fbd8c4b
      https://github.com/llvm/llvm-project/commit/f4ecab143affd2c2c7953f58802673152fbd8c4b
  Author: Justin Lebar <justin.lebar at gmail.com>
  Date:   2026-06-09 (Tue, 09 Jun 2026)

  Changed paths:
    M llvm/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
    M llvm/test/CodeGen/AArch64/ldexp.ll
    A llvm/test/CodeGen/AArch64/powi-ldexp-promote-libcall-error.ll

  Log Message:
  -----------
  [SelectionDAG] Promote FPOWI/FLDEXP exponents where possible, and raise an error otherwise (#200621)

PromoteIntOp_ExpOp is reached when the exponent type is illegal.

- When the exponent type was smaller than int, we'd hit an assertion. In
builds where asserts were disabled, we actually ended up doing the right
thing; makeLibCall would sign-extend the value to int.

- When the exponent type was too large, we'd also hit an assertion. In
builds were asserts were disabled, we would *not* do the right thing;
we'd end up silently truncating the value. Now we explicitly raise an
error.



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