Implicit program order

A method of operating a processor, the method comprising:

• decoding a plurality of predicated memory access instructions, each of the memory access instructions being encoded with a respective predicate field value required to be matched by a corresponding predicate condition so that the respective memory access instruction will be executed, the memory access instructions not being encoded with load/store identifiers (LSIDs);
• based on the decoding, generating and storing relative order data indicating a relative order for executing the memory access instructions, the relative order data associating a respective instruction identifier for each of the plurality of memory access instructions with a predicate path determined by the predicate conditions of the memory access instructions;
• storing the relative order data in a multi-dimensional table;
• retrieving the relative order data from the multi-dimensional table, according to an instant predicate path;
• and
• scheduling execution of the memory access instructions according to the relative order data.

One or more computer-readable storage media storing computer-readable instructions that, when executed by a processor, cause the processor to perform a method, the computer-readable instructions comprising:

• first instructions for analyzing memory accesses encoded in source code and/or object code to determine memory dependencies for the encoded memory accesses;
• and
• second instructions for transforming the source code and/or object code into computer-executable code, the computer-executable code including:
• predicated memory access instructions encoded without load/store identifiers, each of the memory access instructions encoded with a respective predicate field value required to be matched by a corresponding predicate condition so that the respective memory access instruction will be executed, each of the memory access instructions specifying a respective memory address to or from which the respective memory access instruction reads or writes data, and
• additional data not encoded within the memory access instructions, the additional data stored in a multi-dimensional table and comprising for each predicate path in a group of the memory access instructions, a count of the number of store instructions in the group of the memory access instructions in the computer-executable code.