It sounds like those “unaligned” intrinsics no longer have any implicit dependency on control flow, and therefore I suspect we simply shouldn’t consider them to be convergent. Yes, they involve inter-thread communication, but with an explicitly listed set of participating threads presumably under an assumption of fully independent forward progress of individual threads. There’s simply no need for convergent to model this.
(I’d be curious to see concrete examples of where this is useful…)