llvm/llvm-project
missed fold, sext(fptosi x to i32) => fptosi x to i64
オープン
#85,268 opened on 2024/03/14
floating-pointgood first issuellvm:codegenmissed-optimization
Repository metrics
- Stars
- (26,378 個のスター)
- PR merge metrics
- (PR metrics pending)
説明
https://alive2.llvm.org/ce/z/bFW9vZ online Alive timed out for this one, you'll need local alive2 with larger smt-to.
define i64 @src(float %0) {
if.end27:
%1 = fptosi float %0 to i32
%2 = sext i32 %1 to i64
ret i64 %2
sink: ; No predecessors!
unreachable
}
define i64 @tgt(float %0) {
if.end27:
%1 = fptosi float %0 to i64
ret i64 %1
sink: ; No predecessors!
unreachable
}
no brainer, same pattern applies to fptoui.