The IntValidAlignment constraint is currently being used in the vector dialect to verify that the alignment is a positive integer power of two. The memref and SPIR-V dialects also contain operations which denote the alignment of memory operations, however they do not yet use the IntValidAlignment constraint.

After modifying the memory operations in the memref and SPIR-V dialects to use the IntValidAlignment constraint, one can also create constructors for these operations which take an instance of llvm::MaybeAlign as an optional parameter similar to how constructors in the vector dialect are defined here:

Finally, one improvement that can be made to all three dialects is to create an interface which returns an llvm::MaybeAlign as opposed to an std::optional<uint64_t>. It could be named getMaybeAlign.