efriedma added a comment. We ensure that the high bits of i1 etc. in memory are zero when we lower a store... which is really all that matters. See SelectionDAGLegalize::LegalizeStoreOps. https://reviews.llvm.org/D31400