Since D9791 we take alignment into account to decide if it's safe to speculate load. Now pointer has to be both dereferenceable and properly aligned to be speculative loadable. It means that we want to support align attribute everywhere we support dereferenceable attribute.
Introduce new !value.align metadata for load instruction. This metadata specifies alignment of the loaded pointer value.