SPV_INTEL_masked_gather_scatter

Update the definition of Vector, adding pointers to the set of supported component types: An ordered homogeneous collection of two or more scalars or pointers of physical pointer type. Vector sizes are quite restrictive and dependent on the execution model.

Modify Data rules section, replacing following segment:

with:

Modify Section 3.31, Capability, adding rows to the Capability table:

Modify OpTypeVector, changing the description of Component Type to: Component Type is the type of each component in the resulting type. It must be a scalar type or physical pointer type.

Modify OpConstantNull, allowing Result Type to be a vector of physical pointer type.

Allow vector of physical pointer type to be used by OpVariable, OpAccessChain, OpInBoundsAccessChain, OpPtrAccessChain, OpInBoundsPtrAccessChain, OpPtrEqual, OpPtrNotEqual and OpPtrDiff instructions. When vector of physical pointer type is allowed for OpVariable it is implicitly possible to be used by OpStore and OpLoad which can store/load through a pointer to this vector.

Change the Overview of OpVariable as follows: Allocate an object or a vector of objects in memory, resulting in a pointer or appropriately a vector of pointers to it, which can be used with OpLoad and OpStore. Change the Result Type of OpVariable as follows: Result Type must be an OpTypePointer or a vector with physical pointer type Component Type. Its Type operand is the type of object or vector of objects in memory.

Modify OpAccessChain (implicitly modifies OpInBoundsAccessChain, OpPtrAccessChain and OpInBoundsPtrAccessChain instructions) Change the Base as follows: Base must be a pointer, pointing to the base of a composite object or a vector of physical pointer type.

Allow vector of physical pointer type to be the type of Operand 1 and Operand 2 of OpPtrEqual, OpPtrNotEqual and OpPtrDiff instructions. If operands are vectors of pointers, then the Result Type of OpPtrEqual and OpPtrNotEqual is a vector with boolean Component Type and Result Type of OpPtrDiff is a vector with integer Component Type.

Add the following new entries:

Allow OpTypeVector to be Result Type and type of an input for OpConvertPtrToU, OpConvertUToPtr instructions: Change the Result Type of OpConvertPtrToU as follows: Result Type must be a scalar or vector of integer type, whose Signedness operand is 0.

Change the Pointer of OpConvertPtrToU as follows: Pointer must be a physical pointer type or a vector with physical pointer type Component Type. If the bit width of Pointer is smaller than that of Result Type, the conversion zero-extends Pointer. If the bit width of Pointer is larger than that of Result Type, the conversion truncates Pointer. For same bit width Pointer and Result Type, this is the same as OpBitcast.

Change the Result Type of OpConvertUToPtr as follows: Result Type must be a physical pointer type or a vector with physical pointer type Component Type.

Change the Integer Value of OpConvertUToPtr as follows: Integer Value must be a scalar or vector of integer type, whose Signedness operand is 0. If the bit width of Integer Value is smaller than that of Result Type, the conversion zero-extends Integer Value. If the bit width of Integer Value is larger than that of Result Type, the conversion truncates Integer Value. For same width Integer Value and Result Type, this is the same as OpBitcast.

Allow vector of physical pointer type to be Result Type and type of a Pointer for OpPtrCastToGeneric, OpGenericCastToPtr and OpGenericCastToPtrExplicit instructions.

Allow vector of physical pointer type to be Result Type and type of an Operand for OpBitcast instruction.

Most of the Composite Instructions that are supposed to work with vector type do not have any restrictions about Component Type. This extension allows these instructions to operate on vector of physical pointer type.

Allow physical pointer type to be a Result Type of OpVectorExtractDynamic.

None