Commit 1a7ed424 authored by Wietze Mulder's avatar Wietze Mulder
Browse files

True is encoded as -1 (0xFFFFFFFF), not as 1.

parent 794a2b0d
Pipeline #42867 passed with stage
in 23 seconds
...@@ -519,7 +519,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] ^ M_pre[SP_pre] ...@@ -519,7 +519,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] ^ M_pre[SP_pre]
#### Description #### Description
Test for equal. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as 1. Used in combination with brf. This is a variant of cmp combined with beq. Test for equal. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as -1 (0xFFFFFFFF). Used in combination with brf. This is a variant of cmp combined with beq.
#### Pre and postconditions #### Pre and postconditions
...@@ -532,7 +532,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] == M_pre[SP_pre] ...@@ -532,7 +532,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] == M_pre[SP_pre]
#### Description #### Description
Test for not equal. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as 1. Used in combination with brf. This is a variant of cmp combined with bne. Test for not equal. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as -1 (0xFFFFFFFF). Used in combination with brf. This is a variant of cmp combined with bne.
#### Pre and postconditions #### Pre and postconditions
...@@ -545,7 +545,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] != M_pre[SP_pre] ...@@ -545,7 +545,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] != M_pre[SP_pre]
#### Description #### Description
Test for less then. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as 1. Used in combination with brf. This is a variant of cmp combined with blt. Test for less then. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as -1 (0xFFFFFFFF). Used in combination with brf. This is a variant of cmp combined with blt.
#### Pre and postconditions #### Pre and postconditions
...@@ -558,7 +558,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] < M_pre[SP_pre] ...@@ -558,7 +558,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] < M_pre[SP_pre]
#### Description #### Description
Test for less or equal. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as 1. Used in combination with brf. This is a variant of cmp combined with ble. Test for less or equal. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as -1 (0xFFFFFFFF). Used in combination with brf. This is a variant of cmp combined with ble.
#### Pre and postconditions #### Pre and postconditions
...@@ -571,7 +571,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] <= M_pre[SP_pre] ...@@ -571,7 +571,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] <= M_pre[SP_pre]
#### Description #### Description
Test for greater then. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as 1. Used in combination with brf. This is a variant of cmp combined with bgt. Test for greater then. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as -1 (0xFFFFFFFF). Used in combination with brf. This is a variant of cmp combined with bgt.
#### Pre and postconditions #### Pre and postconditions
...@@ -584,7 +584,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] > M_pre[SP_pre] ...@@ -584,7 +584,7 @@ M_post[SP_post] = M_pre[SP_pre - 1] > M_pre[SP_pre]
#### Description #### Description
Test for greater or equal. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as 1. Used in combination with brf. This is a variant of cmp combined with bge. Test for greater or equal. Replaces 2 top stack values with boolean result of the test. False is encoded as 0, True as -1 (0xFFFFFFFF). Used in combination with brf. This is a variant of cmp combined with bge.
#### Pre and postconditions #### Pre and postconditions
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment