Blakely, Sokoloff, Taylor & Zafman LLP
Checking data type of operands specified by an instruction using attributes in a tagged array architecture
 The present invention discloses a method and apparatus for matching data types of operands in an instruction. A type code of an operand used by the instruction is determined. An attribute value of a storage element which corresponds to the operand is read from a speculative array. This attribute value is then compared with the type code. 
Intel Corporation
G G G G G G G G G G G G
G06F G06F G06F G06F G06F G06F G06F G06F G06F G06F G06F G06F
inventional inventional inventional inventional inventional inventional inventional inventional inventional inventional inventional inventional
Glenn J. Stephen A. Gerald Eric Vladimir Patrice L.
Hinton Fischer Bennett Heit Pentovski Roussel