Displaying 1 result from an estimated 1 matches for "l2564".
Did you mean:
2564
2012 Nov 16
1
[LLVMdev] optimizer problem, possibly involving instcombine
...the
function is "f(a,b) = (a+b == a+b)", then the code is optimized to
define i1 @f(i64, i64) {
top:
ret i1 true, !dbg !5832
}
which is correct.
This is LLVM 3.1. You can see the full list of passes I'm running here:
https://github.com/JuliaLang/julia/blob/master/src/codegen.cpp#L2564
The linked code currently contains a workaround I found, which was to
disable the first two instcombine passes. With that, the original function
also reduces to returning a constant true.
Is this a known bug, or am I just mis-ordering the optimization passes
somehow?
Many thanks,
-Jeff
--------...