llvm/llvm-project

[x86] Eliminate `movzx` when upper part of register is irrelevant or overwritten

开放

#168,828 创建于 2025年11月20日

 (16 条评论) (0 个反应) (1 位负责人)C++ (10,782 个派生)batch import
backend:X86good first issuellvm:SelectionDAGmissed-optimization

仓库指标

星标
 (26,378 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

export fn foo(x: u8) u32 {
    return @ctz(x >> 1);
}
foo:
        shr     dil
        movzx   eax, dil
        or      eax, 256
        tzcnt   eax, eax
        ret

Could be:

foo:
        shr     dil
        or      edi, 256
        tzcnt   eax, edi
        ret

The compiler could also look for things like or eax, -256 and eliminate movzx eax, al since the relevant bits are overwritten anyway.

贡献者指南