If by "more specialized hardware" you mean "everything that is not x86". Its main intended use is (was?) for chained loads and rcu_dereference(), where hardware does not require an explicit memory fence between loads like

    ldr     x8, [x8]    # load a pointer from memory
    ldr     x1, 16[x8]  # load a field through that pointer

or turning the second load into "ldar" — there is quite a visible data dependency between two registers. But compilers usually puts a barrier there anyway.