aprantl added a comment. I support this. One question: What happens when we read bitcode that contains an alignment field with a value larger > 2^32? Does the bitcode reader throw an error? Do we even care to support a non-breaking upgrade path for this? https://reviews.llvm.org/D25620