Giovanni Mascellani : vkd3d-shader/ir: Dump the loops in the control flow graph.

[Alexandre Julliard]

Module: vkd3d
Branch: master
Commit: 3d4092d9dc522ad0f835d76763aa6c6e0fa898b4
URL:    https://gitlab.winehq.org/wine/vkd3d/-/commit/3d4092d9dc522ad0f835d76763aa6c...

Author: Giovanni Mascellani 
Date:   Tue Jan 30 15:55:12 2024 +0100

vkd3d-shader/ir: Dump the loops in the control flow graph.

---

libs/vkd3d-shader/ir.c | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/libs/vkd3d-shader/ir.c b/libs/vkd3d-shader/ir.c
index eafc918f..78a9d460 100644
--- a/libs/vkd3d-shader/ir.c
+++ b/libs/vkd3d-shader/ir.c
@@ -3391,7 +3391,7 @@ static enum vkd3d_result vsir_cfg_scan_loop(struct vsir_block_list *loop, struct

static enum vkd3d_result vsir_cfg_compute_loops(struct vsir_cfg *cfg)
 {
-    size_t i, j;
+    size_t i, j, k;

if (!(cfg->loops_by_header = vkd3d_calloc(cfg->block_count, sizeof(*cfg->loops_by_header))))
         return VKD3D_ERROR_OUT_OF_MEMORY;
@@ -3423,6 +3423,17 @@ static enum vkd3d_result vsir_cfg_compute_loops(struct vsir_cfg *cfg)
             if ((ret = vsir_cfg_scan_loop(loop, block, header)) < 0)
                 return ret;

+            if (TRACE_ON())
+            {
+                vkd3d_string_buffer_printf(&cfg->debug_buffer, "Back edge %u -> %u with loop:", block->label, header->label);
+
+                for (k = 0; k < loop->count; ++k)
+                    vkd3d_string_buffer_printf(&cfg->debug_buffer, " %u", loop->blocks[k]->label);
+
+                TRACE("%s\n", cfg->debug_buffer.buffer);
+                vkd3d_string_buffer_clear(&cfg->debug_buffer);
+            }
+
             if (cfg->loops_by_header[header->label - 1] != SIZE_MAX)
             {
                 FIXME("Block %u is header to more than one loop, this is not implemented.\n", header->label);