Displaying 3 results from an estimated 3 matches for "_speculative_".
2013 Feb 05
1
[LLVMdev] Asserts in bundleWithPred() and bundleWithSucc()
...ions between BBs to improve code density and handle some peculiar
back end specific situations which could not be handled in earlier passes. I
move instructions one at a time. Currently I do it in a worklist fashion - I
collect several possible candidates, and then actually move one. Some moves
are _speculative_. Next move after that is totally dependent on up-to-date
liveness information. If/when we decide to do proper _global_ instruction
scheduling, we will need this mechanism to perform flawlessly.
On a low level, if I start with a correct set of live-ins, I can do
_incremental_ liveness update prett...
2013 Feb 05
0
[LLVMdev] Asserts in bundleWithPred() and bundleWithSucc()
On Feb 4, 2013, at 3:44 PM, "Sergei Larin" <slarin at codeaurora.org> wrote:
> Seems like an easy solution for this case... But let me ask you a more
> general question.
> The reason I kept on hanging on to the MBB->splice was (probably outdated)
> assumption that it will one day properly update liveness for instructions it
> moves... That is a serious matter
2013 Feb 04
2
[LLVMdev] Asserts in bundleWithPred() and bundleWithSucc()
Jakob,
Seems like an easy solution for this case... But let me ask you a more
general question.
The reason I kept on hanging on to the MBB->splice was (probably outdated)
assumption that it will one day properly update liveness for instructions it
moves... That is a serious matter for what I am trying to do (global code
motion in presence of bundles).
What is the current thinking? Will