http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49362
--- Comment #1 from mark.pupilli at dyson dot com 2011-06-10 11:38:40 UTC --- There is a typo - 'treats uint32_t as a single register and not an array of 4 x uint32_t' should read: 'treats uint32x4_t as a single register and not an array of 4 x uint32_t'
