Gluer doesn't extract jump targets within if
-delimited blocks
#43
Labels
it's all up to PHIL
Phil MUST click THE BUTTON and agrees to take ALL responsibility!!!!!
Neil is the Master of Merges
The gluer can extract
if
delimited blocks, but it currently doesn't bring in its corresponding jump targets.Building
programs-phil/spad/if-delim-test
shows that these labels can occur after the return instruction (e.g.,jr ra
,ret
, etc.), so at least these "auxiliary labels" must be extracted and glued as well. (The gluing function already implements this functionality for scalar code). This might be sufficient in most cases if we assume "if" branch targets are always placed at the end; otherwise, we'll have to bring in all of the vector code labels just in case.Let me know if you guys want to take a stab at this one, or if you'd prefer if I implemented this.
The text was updated successfully, but these errors were encountered: