6 Commits

Author	SHA1	Message	Date
Erik Eckstein	b7ea3b9bb2	[SIL] Let alloc_existential_box return a single value. ... And use the new project_existential_box to get to the address value. SILGen now generates a project_existential_box for each alloc_existential_box. And IRGen re-uses the address value from the alloc_existential_box if the operand of project_existential_box is an alloc_existential_box. This lets the generated code be the same as before.	2016-01-20 11:27:06 -08:00
Erik Eckstein	4dab67c582	SIL: add a new project_existential_box instruction. ... It will be used as a replacement for the second return value of alloc_existential_box.	2016-01-20 11:27:06 -08:00
John McCall	2df6880617	Introduce ProtocolConformanceRef. NFC. ... The main idea here is that we really, really want to be able to recover the protocol requirement of a conformance reference even if it's abstract due to the conforming type being abstract (e.g. an archetype). I've made the conversion from ProtocolConformance* explicit to discourage casual contamination of the Ref with a null value. As part of this change, always make conformance arrays in Substitutions fully parallel to the requirements, as opposed to occasionally being empty when the conformances are abstract. As another part of this, I've tried to proactively fix prospective bugs with partially-concrete conformances, which I believe can happen with concretely-bound archetypes. In addition to just giving us stronger invariants, this is progress towards the removal of the archetype from Substitution.	2016-01-08 00:19:59 -08:00
Zach Panzarino	e3a4147ac9	Update copyright date	2015-12-31 23:28:40 +00:00
Chris Lattner	f275c6b536	Add newlines to the end of files	2015-11-15 21:14:52 -08:00
John McCall	a945bacc6b	Split GenProto.cpp into three files; NFC. ... - GenProto.cpp for protocols and protocol conformances - GenExistential.cpp for existential type layout and operations - GenArchetype.cpp for archetype type layout and operations Swift SVN r32493	2015-10-07 18:41:12 +00:00