Changeset 8486c07 in mainline for abi

Timestamp:

2012-07-21T14:01:12Z (13 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

eb3683a

Parents:

56c167c

Message:

IRQ pseudocode improvements

• rename CMD_BTEST to CMD_AND (less cryptic)
• implement CMD_LOAD to load a constant value into a scratch register
• implement simple pseudocode static checker
• slightly alter the semantics of several pseudocode commands (scratch[0] is a usable field, although not propagated to the IPC notification)

File:

• abi/include/ddi/irq.h (modified) (1 diff)

abi/include/ddi/irq.h

@@ -96 +96 @@
         CMD_PIO_WRITE_A_32,
         
-        /**
-         * Perform a bit masking on the source argument
-         * and store the result into the destination argument.
+        /** Load value.
+         *
+         * value -> scratch[dstarg]
          */
-        CMD_BTEST,
+        CMD_LOAD,
+        
+        /** Perform bitwise conjunction.
+         *
+         * scratch[srcarg] & value -> scratch[dstarg]
+         */
+        CMD_AND,
         
         /** Predicate the execution of the following commands.