[all-commits] [llvm/llvm-project] d73722: [ExpandIRInsts] Allow int bw == float bw in itofp ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d737229efdb3f3949f9c483d256eea2b946808a9
      https://github.com/llvm/llvm-project/commit/d737229efdb3f3949f9c483d256eea2b946808a9
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2026-02-05 (Thu, 05 Feb 2026)

  Changed paths:
    M llvm/lib/CodeGen/ExpandIRInsts.cpp
    A llvm/test/Transforms/ExpandIRInsts/X86/expand-int-convert-small.ll

  Log Message:
  -----------
  [ExpandIRInsts] Allow int bw == float bw in itofp (#179943)

I don't think anything here requires the integer bit width to be
strictly larger. It's fine if it's the same (in which case some zexts
just go away).

Add tests on half + i32 that can be verified by alive2. Note that half
is handled via float, so the minimum supported type is i32 rather than
i16.

Proof (uitofp): https://alive2.llvm.org/ce/z/CsMfkU
Proof (sitofp): https://alive2.llvm.org/ce/z/jzuxyt



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