where
curr_format = maybe unknown_block id $ lookup label formats
unknown_block = panic "unknown BlockId in continuationToProc"
where
curr_format = maybe unknown_block id $ lookup label formats
unknown_block = panic "unknown BlockId in continuationToProc"
continuationToProc' :: BrokenBlock -> CmmBasicBlock
continuationToProc' (BrokenBlock ident entry stmts _ exit) =
continuationToProc' :: BrokenBlock -> CmmBasicBlock
continuationToProc' (BrokenBlock ident entry stmts _ exit) =
function_entry formals curr_format
FunctionEntry (CmmInfo _ Nothing _ _) _ formals ->
panic "continuationToProc: missing GC block"
FunctionEntry (CmmNonInfo (Just gc_block)) _ formals ->
function_entry formals curr_format
FunctionEntry (CmmInfo _ Nothing _ _) _ formals ->
panic "continuationToProc: missing GC block"
FunctionEntry (CmmNonInfo (Just gc_block)) _ formals ->
function_entry formals curr_format
FunctionEntry (CmmNonInfo Nothing) _ formals ->
panic "continuationToProc: missing non-info GC block"
function_entry formals curr_format
FunctionEntry (CmmNonInfo Nothing) _ formals ->
panic "continuationToProc: missing non-info GC block"
FinalCall next _ results arguments -> panic "unimplemented CmmCall"
-----------------------------------------------------------------------------
FinalCall next _ results arguments -> panic "unimplemented CmmCall"
-----------------------------------------------------------------------------