> LEON3 has a store buffer of length 1, so an additional store is required > to be sure that the one preceding it has been written to memory. I am > not familiar enough with the internals of gcc to pick the optimal place > to encode this behavior, so any suggestions from you are appreciated :)
OK, that's not Strong Consistency so I'm going to apply your latest patch. -- Eric Botcazou