Fix bug in multi-destination jump patching.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

diff --git a/compiler/nativeGen/RegAlloc/Linear/JoinToTargets.hs b/compiler/nativeGen/RegAlloc/Linear/JoinToTargets.hs
index 903082f..ef6ae9b 100644 (file)
--- a/compiler/nativeGen/RegAlloc/Linear/JoinToTargets.hs
+++ b/compiler/nativeGen/RegAlloc/Linear/JoinToTargets.hs
@@ -190,7 +190,7 @@ joinToTargets_again
                 _      -> let  instr'  =  patchJumpInstr instr 
                                                (\bid -> if bid == dest 
                                                                then mkBlockId fixup_block_id 
                 _      -> let  instr'  =  patchJumpInstr instr 
                                                (\bid -> if bid == dest 
                                                                then mkBlockId fixup_block_id 

-                                                               else dest)
+                                                               else bid) -- no change!

                                                
                           in   joinToTargets' block_live (block : new_blocks) block_id instr' dests
 
                                                
                           in   joinToTargets' block_live (block : new_blocks) block_id instr' dests