PR12696: Attribute bits above 1<<30 are not encoded in bitcode