Displaying 1 result from an estimated 1 matches for "i32_cast_cmp_oeq_int_n0_uitofp".
2015 Jul 06
5
[LLVMdev] Why can't comparisons with negative zero be simplified?
...s that fact that http://llvm.org/docs/LangRef.html describes the difference between "ordered" and "unordered" as pertaining to QNAN operands,
with no mention of negative zero.
I tried fixing the issue, but then the following test in cast-int-fcmp-eq-0.ll fails:
; CHECK-LABEL: @i32_cast_cmp_oeq_int_n0_uitofp(
; CHECK: uitofp
; CHECK: fcmp oeq
define i1 @i32_cast_cmp_oeq_int_n0_uitofp(i32 %i) {
%f = uitofp i32 %i to float
%cmp = fcmp oeq float %f, -0.0
ret i1 %cmp
}
Is this test really justified, or is it just reinforcing an oversight?
- Arch D. Robison
-------------- next part --------------
An...