[x86] Eliminate `movzx` when upper part of register is irrelevant or overwritten · llvm/llvm-project#168828

(16 留言) (0 反應) (1 負責人)C++ (10,782 fork)batch import

backend:X86good first issuellvm:SelectionDAGmissed-optimization

倉庫指標

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.

研究方向: 調查LLVM的x86後端，找到生成movzx的地方，判斷高位是否無關或被覆蓋。查看DAG或ISel降低中movzx後跟or的模式，看看當目標被覆蓋時是否可以消除movzx。
技術棧: cpp
領域: backend
議題類型: 效能
難度: 3
預計時間: 1-3 小時
活動狀態: 活躍
清晰度: 清晰
前置要求: GitLLVM
新手友善度: 60