translate: fixes for pop scan

diff --git a/tests/Makefile b/tests/Makefile
index e49a7e4..f893030 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,6 +1,6 @@
 
 TESTS = reg_call1 reg_call2 reg_call3 reg_call4 reg_call5 \
 
 TESTS = reg_call1 reg_call2 reg_call3 reg_call4 reg_call5 \

-       reg_call_tail reg_call_tail2 reg_save \
+       reg_call_tail reg_call_tail2 reg_save reg_save2 \

        varargs ops x87 x87_f x87_s deref
 
 all: $(addsuffix .ok,$(TESTS))
        varargs ops x87 x87_f x87_s deref
 
 all: $(addsuffix .ok,$(TESTS))

diff --git a/tests/reg_save2.asm b/tests/reg_save2.asm
new file mode 100644 (file)
index 0000000..b141cbd
--- /dev/null
+++ b/tests/reg_save2.asm
@@ -0,0 +1,22 @@
+
+_text           segment para public 'CODE' use32
+
+sub_test        proc near
+                push    ebp
+                cmp     ecx, 0
+                je      loc1
+                push    ebx
+                xor     eax, eax
+                jmp     end
+loc1:
+                push    ebx
+                mov     eax, 1
+end:
+                pop     ebx
+                pop     ebp
+                retn
+sub_test        endp
+
+_text           ends
+
+; vim:expandtab

diff --git a/tests/reg_save2.expect.c b/tests/reg_save2.expect.c
new file mode 100644 (file)
index 0000000..25e97ec
--- /dev/null
+++ b/tests/reg_save2.expect.c
@@ -0,0 +1,17 @@
+int __fastcall sub_test(int a1)
+{
+  u32 ecx = (u32)a1;
+  u32 eax;
+
+  if (ecx == 0)
+    goto loc1;
+  eax = 0;
+  goto end;
+
+loc1:
+  eax = 1;
+
+end:
+  return eax;
+}
+

diff --git a/tests/reg_save2.seed.h b/tests/reg_save2.seed.h
new file mode 100644 (file)
index 0000000..0f5484c
--- /dev/null
+++ b/tests/reg_save2.seed.h
@@ -0,0 +1 @@
+int __fastcall sub_test(int a1);

diff --git a/tools/translate.c b/tools/translate.c
index 4e112be..cca300f 100644 (file)
--- a/tools/translate.c
+++ b/tools/translate.c
@@ -2708,8 +2708,9 @@ static const char *op_to_c(struct parsed_op *po)
 
 // note: this skips over calls and rm'd stuff assuming they're handled
 // so it's intended to use at one of final passes
 
 // note: this skips over calls and rm'd stuff assuming they're handled
 // so it's intended to use at one of final passes

+// exception: doesn't skip OPF_RSAVE stuff

 static int scan_for_pop(int i, int opcnt, int magic, int reg,
 static int scan_for_pop(int i, int opcnt, int magic, int reg,

-  int depth, int seen_noreturn, int flags_set)
+  int depth, int seen_noreturn, int save_level, int flags_set)

 {
   struct parsed_op *po;
   int relevant;
 {
   struct parsed_op *po;
   int relevant;


@@ -2723,18 +2724,28 @@ static int scan_for_pop(int i, int opcnt, int magic, int reg,
     po->cc_scratch = magic;
 
     if (po->flags & OPF_TAIL) {
     po->cc_scratch = magic;
 
     if (po->flags & OPF_TAIL) {

-      if (po->op == OP_CALL) {
-        if (po->pp != NULL && po->pp->is_noreturn)
-          seen_noreturn = 1;
-        else
+      if (po->op == OP_CALL && po->pp != NULL && po->pp->is_noreturn) {
+        // msvc sometimes generates stack cleanup code after
+        // noreturn, set a flag and continue
+        seen_noreturn = 1;
+
+        // ... but stop if there is another path to next insn -
+        // if msvc skipped something stack tracking may mess up
+        if (i + 1 < opcnt && g_labels[i + 1] != NULL)

           goto out;
       }
       else
         goto out;
     }
 
           goto out;
       }
       else
         goto out;
     }
 

-    if (po->flags & (OPF_RMD|OPF_DONE|OPF_FARG))
+    if (po->flags & OPF_FARG)

       continue;
       continue;

+    if (po->flags & (OPF_RMD|OPF_DONE)) {
+      if (!(po->flags & OPF_RSAVE))
+        continue;
+      // reprocess, there might be another push in some "parallel"
+      // path that took a pop what we should also take
+    }

 
     if ((po->flags & OPF_JMP) && po->op != OP_CALL) {
       if (po->btj != NULL) {
 
     if ((po->flags & OPF_JMP) && po->op != OP_CALL) {
       if (po->btj != NULL) {


@@ -2742,7 +2753,7 @@ static int scan_for_pop(int i, int opcnt, int magic, int reg,
         for (j = 0; j < po->btj->count; j++) {
           check_i(po, po->btj->d[j].bt_i);
           ret |= scan_for_pop(po->btj->d[j].bt_i, opcnt, magic, reg,
         for (j = 0; j < po->btj->count; j++) {
           check_i(po, po->btj->d[j].bt_i);
           ret |= scan_for_pop(po->btj->d[j].bt_i, opcnt, magic, reg,

-                   depth, seen_noreturn, flags_set);
+                   depth, seen_noreturn, save_level, flags_set);

           if (ret < 0)
             return ret; // dead end
         }
           if (ret < 0)
             return ret; // dead end
         }


@@ -2752,7 +2763,7 @@ static int scan_for_pop(int i, int opcnt, int magic, int reg,
       check_i(po, po->bt_i);
       if (po->flags & OPF_CJMP) {
         ret |= scan_for_pop(po->bt_i, opcnt, magic, reg,
       check_i(po, po->bt_i);
       if (po->flags & OPF_CJMP) {
         ret |= scan_for_pop(po->bt_i, opcnt, magic, reg,

-                 depth, seen_noreturn, flags_set);
+                 depth, seen_noreturn, save_level, flags_set);

         if (ret < 0)
           return ret; // dead end
       }
         if (ret < 0)
           return ret; // dead end
       }


@@ -2774,6 +2785,13 @@ static int scan_for_pop(int i, int opcnt, int magic, int reg,
     }
     else if (po->op == OP_POP) {
       if (relevant && depth == 0) {
     }
     else if (po->op == OP_POP) {
       if (relevant && depth == 0) {

+        if (flags_set == 0 && save_level > 0) {
+          ret = scan_for_pop(i + 1, opcnt, magic, reg,
+                  depth, seen_noreturn, save_level - 1, flags_set);
+          if (ret != 1)
+            // no pop for other levels, current one must be false
+            return -1;
+        }

         po->flags |= flags_set;
         return 1;
       }
         po->flags |= flags_set;
         return 1;
       }


@@ -5733,6 +5751,8 @@ static void reg_use_pass(int i, int opcnt, unsigned char *cbits,
       && !g_func_pp->is_userstack
       && po->operand[0].type == OPT_REG)
     {
       && !g_func_pp->is_userstack
       && po->operand[0].type == OPT_REG)
     {

+      int save_level = 0;
+

       reg = po->operand[0].reg;
       ferr_assert(po, reg >= 0);
 
       reg = po->operand[0].reg;
       ferr_assert(po, reg >= 0);
 


@@ -5741,12 +5761,14 @@ static void reg_use_pass(int i, int opcnt, unsigned char *cbits,
       if (regmask_now & (1 << reg)) {
         already_saved = regmask_save_now & (1 << reg);
         flags_set = OPF_RSAVE | OPF_DONE;
       if (regmask_now & (1 << reg)) {
         already_saved = regmask_save_now & (1 << reg);
         flags_set = OPF_RSAVE | OPF_DONE;

+        save_level++;

       }
 
       }
 

-      ret = scan_for_pop(i + 1, opcnt, i + opcnt * 3, reg, 0, 0, 0);
+      ret = scan_for_pop(i + 1, opcnt, i + opcnt * 3,
+              reg, 0, 0, save_level, 0);

       if (ret == 1) {
         scan_for_pop(i + 1, opcnt, i + opcnt * 4,
       if (ret == 1) {
         scan_for_pop(i + 1, opcnt, i + opcnt * 4,

-          reg, 0, 0, flags_set);
+          reg, 0, 0, save_level, flags_set);

       }
       else {
         ret = scan_for_pop_ret(i + 1, opcnt, po->operand[0].reg, 0);
       }
       else {
         ret = scan_for_pop_ret(i + 1, opcnt, po->operand[0].reg, 0);


@@ -8526,11 +8548,13 @@ static void gen_hdr_dep_pass(int i, int opcnt, unsigned char *cbits,
       if (po->flags & OPF_DONE)
         continue;
 
       if (po->flags & OPF_DONE)
         continue;
 

-      ret = scan_for_pop(i + 1, opcnt, i + opcnt * 2, reg, 0, 0, 0);
+      ret = scan_for_pop(i + 1, opcnt, i + opcnt * 2,
+              reg, 0, 0, 0, 0);

       if (ret == 1) {
         regmask_save |= 1 << reg;
         po->flags |= OPF_RMD;
       if (ret == 1) {
         regmask_save |= 1 << reg;
         po->flags |= OPF_RMD;

-        scan_for_pop(i + 1, opcnt, i + opcnt * 3, reg, 0, 0, OPF_RMD);
+        scan_for_pop(i + 1, opcnt, i + opcnt * 3,
+          reg, 0, 0, 0, OPF_RMD);

         continue;
       }
     }
         continue;
       }
     }