- clabel = mkReturnPtLabel $ getUnique start
- params = case start_block of
- BrokenBlock { brokenBlockEntry = FunctionEntry args } -> args
- BrokenBlock { brokenBlockEntry = ContinuationEntry args } -> args
- BrokenBlock { brokenBlockEntry = ControlEntry } -> [] -- TODO: it's a proc-point, we could pass lives in parameter registers
+ clabel = case start_block_entry of
+ FunctionEntry label _ -> label
+ _ -> mkReturnPtLabel $ getUnique start
+ params = case start_block_entry of
+ FunctionEntry _ args -> args
+ ContinuationEntry args -> args
+ ControlEntry -> [] -- TODO: it's a proc-point, we could pass lives in parameter registers