Displaying 1 result from an estimated 1 matches for "splittedblock1".
2019 Feb 25
3
Why is there still ineffective code after -o3 optimization?
...e %input, double*
dereferenceable(8) %o0) local_unnamed_addr #0 {
The ll below has been optimized using opt -O3 -S input.ll -o out.ll
The cfg is plotted as png here:
https://ibb.co/f1B0rnm
My question is: why is there still some unnecessary 'lint' in the
optimization result?
E.G. from the splittedblock19 onwards:
there is one effective instruction
store double 0x3FF787378698A951, double* %o0
everything what follows (conditional branch, splittedblock38, 21, 42)
could safely be removed (just leaving a 'ret void' after the store
instruction).
Why is this not removed?
Is there a pass (combi...