is __insn_barrier() needed in alpha_pal_swpipl ?

Hi,
working on kern/38637 it turns out that some ports define splhigh
as a macro or __inline, and the compiler may optimise thing
wrongly if it's not properly defined (softint_schedule() in this example,
where the compiler is not aware that sh_flags may have changed before
and after the call to splhigh()).
alpha has an inline splhigh (alpha_pal_swpipl() really); and I couldn't
determine if the assembly in this function is a barrier for
the compiler, or if a __insn_barrier() is needed here. Can someone
confirms it ?
--
Manuel Bouyer <bouyer%antioche.eu.org@localhost>
NetBSD: 26 ans d'experience feront toujours la difference
--