Fix switcher bug

logsem · Jun 20, 2024 · 0fb6da5 · 0fb6da5
1 parent 09f1d62
commit 0fb6da5
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 4 deletions.
diff --git a/tests/test_files/case_studies/mutually_distrustful.s b/tests/test_files/case_studies/mutually_distrustful.s
@@ -229,7 +229,6 @@ switcher_zero_stk_end_pre:
     load cs1 csp
     lea csp 1
     load cs0 csp
-    lea csp 1
 switcher_zero_stk_init_post:
     geta ct0 csp
     getb ct1 csp

diff --git a/tests/test_files/switcher/switcher.s b/tests/test_files/switcher/switcher.s
@@ -99,7 +99,6 @@ switcher_zero_stk_end_pre:
     load cs1 csp
     lea csp 1
     load cs0 csp
-    lea csp 1
 switcher_zero_stk_init_post:
     geta ct0 csp
     getb ct1 csp

diff --git a/tests/test_files/switcher/switcher_commented.s b/tests/test_files/switcher/switcher_commented.s
@@ -169,7 +169,6 @@ switcher_zero_stk_end_pre:
     load cs1 csp
     lea csp 1
     load cs0 csp
-    lea csp 1
 
     ;; zero the stack frame
     ;; TODO do we want the stack high water mark ?

diff --git a/tests/test_files/switcher/switcher_example.s b/tests/test_files/switcher/switcher_example.s
@@ -144,7 +144,6 @@ switcher_zero_stk_end_pre:
     load cs1 csp
     lea csp 1
     load cs0 csp
-    lea csp 1
 switcher_zero_stk_init_post:
     geta ct0 csp
     getb ct1 csp