stmdb instruction appears not to work correctly - Cortex M4 / SAM4L

Question

I\'ve also posted this on ARM Developer forum, but experience says I\'ll get a better response here :)

I\'m struggling to track down a problem here. It appears to be