From fbf40424f4d3a9aecc7fe528d7503619738ce542 Mon Sep 17 00:00:00 2001 From: FICTURE7 Date: Tue, 19 Oct 2021 02:51:22 +0400 Subject: Add an early `TailMerge` pass (#2721) * Add an early `TailMerge` pass Some translations can have a lot of guest calls and since for each guest call there is a call guard which may return. This can produce a lot of epilogue code for returns. This pass merges the epilogue into a single block. ``` Using filter 'hcq'. Using metric 'code size'. Total diff: -1648111 (-7.19 %) (bytes): Base: 22913847 Diff: 21265736 Improved: 4567, regressed: 14, unchanged: 144 ``` * Set PTC version * Address feedback * Handle `void` returning functions * Actually handle `void` returning functions * Fix `RegisterToLocal` logging --- ARMeilleure/CodeGen/Optimizations/BlockPlacement.cs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'ARMeilleure/CodeGen/Optimizations/BlockPlacement.cs') diff --git a/ARMeilleure/CodeGen/Optimizations/BlockPlacement.cs b/ARMeilleure/CodeGen/Optimizations/BlockPlacement.cs index c06ed520..9e243d37 100644 --- a/ARMeilleure/CodeGen/Optimizations/BlockPlacement.cs +++ b/ARMeilleure/CodeGen/Optimizations/BlockPlacement.cs @@ -17,7 +17,7 @@ namespace ARMeilleure.CodeGen.Optimizations BasicBlock lastBlock = cfg.Blocks.Last; // Move cold blocks at the end of the list, so that they are emitted away from hot code. - for (block = cfg.Blocks.First; block != lastBlock; block = nextBlock) + for (block = cfg.Blocks.First; block != null; block = nextBlock) { nextBlock = block.ListNext; @@ -26,6 +26,11 @@ namespace ARMeilleure.CodeGen.Optimizations cfg.Blocks.Remove(block); cfg.Blocks.AddLast(block); } + + if (block == lastBlock) + { + break; + } } for (block = cfg.Blocks.First; block != null; block = nextBlock) -- cgit v1.2.3