floating-pointgood first issuellvm:codegenmissed-optimization
仓库指标
- 星标
- (26,378 个星标)
- PR 合并指标
- (PR 指标待抓取)
描述
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.