From 0a423234d24c1a3d47229a78aa7371fa6f67192d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=9C=D0=B8=D1=85=D0=B0=D0=B8=D0=BB=20=D0=9A=D0=BE=D1=87?=
 =?UTF-8?q?=D0=B0=D1=80=D0=BC=D0=B8=D0=BD?= <mkocharmin@yandex.ru>
Date: Tue, 30 Jan 2024 21:58:25 +0300
Subject: [PATCH] dead code removing: make jumps always useful

---
 sapfor/experts/Sapfor_2017/_src/Transformations/dead_code.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sapfor/experts/Sapfor_2017/_src/Transformations/dead_code.cpp b/sapfor/experts/Sapfor_2017/_src/Transformations/dead_code.cpp
index 4df0ca5..98beffd 100644
--- a/sapfor/experts/Sapfor_2017/_src/Transformations/dead_code.cpp
+++ b/sapfor/experts/Sapfor_2017/_src/Transformations/dead_code.cpp
@@ -63,6 +63,8 @@ static void updateUseDefForInstruction(SAPFOR::BasicBlock* block, SAPFOR::Instru
             SAPFOR::CFG_OP::EXIT,
             SAPFOR::CFG_OP::DVM_DIR,
             SAPFOR::CFG_OP::SPF_DIR,
+            SAPFOR::CFG_OP::JUMP,
+            SAPFOR::CFG_OP::JUMP_IF,
 
             SAPFOR::CFG_OP::F_CALL //TODO: handle pure functions
         };