https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122449
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- I think the design should follow how we handle .MASK_LOAD & friends. Use internal functions, add a pointer typed INTEGER_CST specifying known alignment and use the type to specify the effective type for TBAA purposes. I'll note that the atomics specifically rely on being a function call unhandled by the alias oracle/PTA to achieve their "barrier" status.
