source: src/GenPoly/GenPoly.cc

Revision Log Mode:


Legend:

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