Unless you think that the packing bits between the first and second members of the {i32, i64} structure should be preserved, in which case this is not correct. http://reviews.llvm.org/D5057