source: src/GenPoly/GenPoly.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @b8b5535   13 months ajbeach Major round of clean-up in the GenPoly? directory.
(edit) @c6b4432   14 months ajbeach Remove BaseSyntaxNode? and clean-up.
(edit) @52a5262e   14 months ajbeach TypeVarMap? is now a subtype instead of an alias to remove the …
(edit) @3df4cd9   15 months ajbeach Some mistakes in isPolyType found while working on the box pass. There …
(edit) @c97b448   22 months ajbeach Added some box pass utilities that I believe are working and I don't … ADTast-experimental
(edit) @e9b5043   23 months ajbeach Added contains to some of our containers. Also changed some code to … ADTast-experimental
(edit) @a0d1f1c   2 years ajbeach Header Clean-up: Removed no longer needed includes from typeops, and … ADTast-experimental
(edit) @7b5694d   2 years ajbeach Header Clean-up: Moved more things from typeops to Unify. ADTast-experimental
(edit) @93c10de   2 years ajbeach Minimal changes to pull out nested types, TypeInstType::TypeEnvKey? and … ADTast-experimental
(edit) @4da152a   2 years ajbeach Cleaning old box pass for easier translation. Adding a bunch of const … ADTast-experimental
(edit) @75f6a5f   2 years ajbeach Found a likely error in GenPoly?.cc, now the new and old versions are … ADTast-experimental
(edit) @63d1ebe   2 years ajbeach Changed GenPoly::TypeVarMap? to use the same key type as … ADTast-experimental
(edit) @c8837e5   2 years ajbeach Rewrite in GenPoly? to avoid mixing new AST and TyVarMap? (which … ADTast-experimental
(edit) @3606fe4   2 years ajbeach Translated Instantiate Generic to the new AST. This includes various … ADTast-experimentalpthread-emulation
(edit) @c19edd1   2 years Thierry Delisle Removed some warnings and fixed some whitespace ADTast-experimentalpthread-emulationqualifiedEnum
(edit) @943bfad   3 years Thierry Delisle Fixed several warnings for clang@head ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @3e5dd913   4 years f37yu reimplement function type and eliminate deep copy ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @361bf01   4 years f37yu remove ParameterizedType? and put content into FunctionType? ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @490fb92e   4 years f37yu move FixInit? to new ast ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @8d70648   6 years a3moss Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @d76c588   6 years a3moss Stubs for new resolver, implementation of new indexer, type environment ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @933f32f   6 years Thierry Delisle Merge branch 'master' into cleanup-dtors ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @02fdb8e   6 years Thierry Delisle Added WithConstTypeSubstitution? accessory on pass visitor. Mostly … ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @7ba1324   6 years Rob Schluntz Use insert to add to TyVarMap? instead of operator[] ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
(edit) @682dcae   7 years Rob Schluntz Add a case for ReferenceType? in typesPolyCompatible ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
(edit) @5f61546   7 years Rob Schluntz Modify isPolyType recognize that arrays of polymorphic types are … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
(edit) @ae1b9ea   7 years Rob Schluntz Always copy construct arguments that require boxing ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @9b18044   7 years Rob Schluntz Handle TraitDecl? in Box Pass2 ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @cccc534   7 years Rob Schluntz Minor cleanup in Box and GenPoly? ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @08fc48f   7 years Thierry Delisle Big header cleaning pass - commit 1 ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @5a3ac84   8 years a3moss Fixed Box(T*) generic instantiation bug ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @7350ff97   8 years Thierry Delisle Moved assert(... && ...) to assertf(...), this particular asserts … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @1aa4b71   8 years Rob Schluntz added case for ConditionalExpr? in getBaseVar ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @2c57025   8 years Rob Schluntz add support for built-in sized trait which decouples size/alignment … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @33a7b6d   8 years Rob Schluntz changed use of formal types to actual types for boxing return … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @8c49c0e   8 years Rob Schluntz decouple code that uses Type's forall list from std::list in … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @3bb195cb   8 years a3moss Dtypes now erased on dtype-only generic types, tests pass, build … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @ca35c51   8 years pabuhr move implementation of ConstantNode? to ConstantExpr? ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @c2ad3c9   8 years a3moss fix explicit cast error for returning polymorphic types, also … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @83de11e   9 years Rob Schluntz fix invalid use of lists that caused a crash in gcc versions larger … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @e24955a   9 years a3moss Fixed infinite loops in GenPoly? ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @d9f1b2d   9 years Rob Schluntz handle MemberExpr? in getBaseVar ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @540de412   9 years Rob Schluntz 'merge' type substitutions from resolved copy constructors, add case … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
(edit) @bfae637   9 years a3moss Initial compiling build with TyVarMap? as ErasableScopedMap? ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @adc6781   9 years a3moss Remove unnecessarily duplicated name-mangling passes in Box ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @8488c715   9 years a3moss Fixed dereferencing in member expressions ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @32805db   9 years a3moss Switched parameter adder over to add for … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @05d47278   9 years a3moss First draft of member expressions by passed offset ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @aadc9a4   9 years a3moss Refactor isPolyRet to include generic return types ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @69911c11   9 years a3moss Restore Mangler to closer to previous behaviour ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @7754cde   9 years a3moss First draft of passing generic size/align ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @0f889a77   9 years a3moss Added unfiltered version of isPoly{Type,Ptr} ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @5f6c42c   9 years a3moss Merge changes from Peter ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @ffad73a   9 years a3moss Refactored isPolyType and friends to account for polymorphic generic types ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @4389966   9 years pabuhr fix comment ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @cf16f94   9 years pabuhr create temporary return variable for return expressions, remove … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @f8b961b   9 years a3moss Documentation improvements ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @bdf1954   9 years Rob Schluntz removed polyret adapter name mangling for more general poly/mono suffix ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(edit) @e56cfdb0   9 years pabuhr allow nested routines to use type variables in containing scope, fix … ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
(add) @843054c2   10 years pabuhr licencing: seventh groups of files ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Note: See TracRevisionLog for help on using the revision log.