The Compare Opcode Follows the Type