|
|
@33b7d49
|
3 years |
ajbeach |
Added another check to checkInvariants for code locations. I also went …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@4f6dda0
|
3 years |
ajbeach |
Converted Implement Concurrent Keywords to the new AST. Includes …
ADTast-experimentalenumpthread-emulationqualifiedEnum
old-sched
|
|
|
@f69fac7
|
3 years |
ajbeach |
Got the Util module started by moving over the unused AssertAcyclic? pass.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@9ef9644
|
3 years |
ajbeach |
Merge branch 'forall-pointer-decay' into 'master'.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@7d7ef6f
|
3 years |
ajbeach |
Revereted some changes and added a fix to get around the current issue …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@eb211bf
|
3 years |
ajbeach |
Did some clean-up with the ast::Pass class. Moved some things out of …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@1f7dc61
|
3 years |
Thierry Delisle |
Consistently changed TranslationUnit? from struct to class.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@9490621
|
3 years |
ajbeach |
My work in progress implementation of ForallPointerDecay? for Fangren.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@ee918356
|
3 years |
Thierry Delisle |
Some clean-up to remove clang-only warnings
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@f8143a6
|
3 years |
Thierry Delisle |
Change pass visitor to avoid more transient strong references
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@6180274
|
3 years |
pabuhr |
more cleanup, make more function parameters const, remove more std::
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@ff3b0249
|
3 years |
pabuhr |
add else clause into WhileDoStmt? and ForStmt?
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@3b0bc16
|
3 years |
pabuhr |
change class name WhileStmt? to WhileDoStmt?, add else clause to …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@ab1a9ea
|
3 years |
caparson |
fixed merge
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@34c32f0
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@89a5a1f
|
3 years |
pabuhr |
formatting, starting adding elsePart to while, do, and for statements
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@cef7430
|
3 years |
caparson |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@6b2d444
|
3 years |
caparson |
changed a few mutexstmt things
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@e21f253
|
3 years |
ajbeach |
Removed the VISIT macro from Pass.impl.hpp. It was a very small …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@a488783
|
3 years |
ajbeach |
Translated the first half of validate-D. HoistControlStruct? is pretty …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@451d958
|
3 years |
f37yu |
print function type correctly before resolver
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@91a72ef
|
3 years |
ajbeach |
Some assorted bits of clean-up. InitializerLength? was missing some …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@a4a6802
|
3 years |
f37yu |
fill in FunctionType? assertions early
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@f27331c
|
3 years |
ajbeach |
Factored the AddressExpr? constructor body into a helper that makes it …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@0351e9f
|
3 years |
ajbeach |
Clean-up white-space and comments in the AST/Print module.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@3cc1111
|
3 years |
ajbeach |
Small fix in Decl.hpp and a new-ast function added in InitTweak?.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@1387ea0
|
3 years |
ajbeach |
We can now thread the global/special declarations from convert to …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@ce36b55
|
3 years |
ajbeach |
Translation of Validate F; and some improvements in some helpers.
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@3249dd8b
|
3 years |
ajbeach |
Some clean-up. DeepCopyCore? lost its already tenous reason to be in …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@b7fd9daf
|
3 years |
f37yu |
Merge branch 'new-ast-unique-expr'
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@f95634e
|
3 years |
f37yu |
fix unique expr pass
ADTast-experimentalenumforall-pointer-decaynew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@bb9924c
|
3 years |
f37yu |
fix unique expr pass
ADTast-experimentalenumforall-pointer-decaynew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b8ab91a
|
3 years |
ajbeach |
Fix Labels pass translated. This is fix label, mult-level exit and …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@c600df1
|
3 years |
ajbeach |
Added ast::WithConstTranslationUnit? to give access to the surrounding …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@148ba7d
|
3 years |
ajbeach |
Added a return value to WithGuards::GuardValue? so you can save the old …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@68fe946e
|
3 years |
ajbeach |
Updated DeclStats? for the new ast. Also fixed a bug in the old …
ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
|
|
|
@6cebfef
|
3 years |
caparson |
added mutex stmt monitor
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@cc64be1d
|
3 years |
ajbeach |
Added VTableType to the conversion passes.
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3945abe
|
3 years |
Thierry Delisle |
New-AST boilerplate for vtable
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b238618
|
3 years |
ajbeach |
Added VTableType to the new ast.
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@943bfad
|
3 years |
Thierry Delisle |
Fixed several warnings for clang@head
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@6e50a6b
|
3 years |
mlbrooks |
Implementing language-provided syntax for (array) dimensions.
Former …
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@798a8b3
|
3 years |
Thierry Delisle |
Attributes are now correctly visited when replacing typedefs
ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@bc179fd3
|
3 years |
Thierry Delisle |
Removed more gcc11 warnings
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@68ff3de
|
3 years |
Thierry Delisle |
Removed unnecessary copy in loop
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@93f74c0f
|
3 years |
Thierry Delisle |
Changed how new pass visitor gets the return type of previsit to avoid …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b91bfde
|
4 years |
ajbeach |
Added and used some helpers. The widely useful one is a from_string …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@cd59d28
|
4 years |
ajbeach |
A bit of clean-up in AST/Type.cpp.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@2d019af
|
4 years |
pabuhr |
parser global pragmas, fixes #241
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@20207c0
|
4 years |
pabuhr |
fix old AST error printing for new kinds of types
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b66d14a
|
4 years |
pabuhr |
add new type kinds DStype and ALtype
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@302ef2a
|
4 years |
f37yu |
smart pointer memory safety
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@c9f6983
|
4 years |
f37yu |
fix non-initialization UB
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@a00a2c1
|
4 years |
f37yu |
fix reorder warning
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3e5dd913
|
4 years |
f37yu |
reimplement function type and eliminate deep copy
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@361bf01
|
4 years |
f37yu |
remove ParameterizedType? and put content into FunctionType?
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b3a0df6
|
4 years |
f37yu |
attempt to fix sizeType in new ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3e3f236
|
4 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@6a45bd78
|
4 years |
f37yu |
cleanup: remove params in TypeDecl? (never used)
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@08ce416
|
4 years |
Thierry Delisle |
Changed configure to use new-ast by default.
Ast options no longer …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@cd6a6ff
|
4 years |
Thierry Delisle |
Improved coverage of deterministic_output to be much finer grain.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@0292aa4
|
4 years |
ajbeach |
Fixed some formating/cleanlyness mistakes.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@4702a2c
|
4 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@e5c3811
|
4 years |
f37yu |
create dedicated symbol tables for big 3 operators
note: arbitrary …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@bb87dd0
|
4 years |
mlbrooks |
Fixing test init1-ERROR on new ast. Applying equivalent of b81fd95, …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@a056f56
|
4 years |
Thierry Delisle |
Fixed forward declaration of TranslationUnit?
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@23954b6
|
4 years |
ajbeach |
Convert now fills in the globals of the TranslationUnit?.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@e00c22f
|
4 years |
f37yu |
someone liked snake_case
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@0dd9a5e
|
4 years |
f37yu |
delay autogen resolve
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@16ba4a6f
|
4 years |
f37yu |
factor out resolver calls in pre-resolution stage
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@293dc1c
|
4 years |
ajbeach |
TranslationUnit? is now used at the top-level of the new-ast passes.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@82f791f
|
4 years |
ajbeach |
Fixed ast::Pass::visit(CompoundStmt?*) so it updates the right …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@c6c682cf
|
4 years |
ajbeach |
This should make the value of Pass[Visitor]::inFunction match the …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@1be1e5a
|
4 years |
ajbeach |
Added the TranslationUnit? class to avoid globals.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@53d55b6
|
4 years |
Thierry Delisle |
Changed approach for isInFunction and implemented for old ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@5d2db68
|
4 years |
Thierry Delisle |
Fixed documentation and naming
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@cb25fc9
|
4 years |
Thierry Delisle |
Added to new ast mixin for checker whether it is inFunction or not
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@e7d6968
|
4 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc into master
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@490fb92e
|
4 years |
f37yu |
move FixInit? to new ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@3aec25f
|
4 years |
ajbeach |
Some clean-up of new-ast types and the porting document.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@d5631b3
|
4 years |
ajbeach |
Moved VariableExpr? next to NameExpr?. Except in Expression.cc as I'm …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@954c954
|
4 years |
f37yu |
Move function argument and return variable declarations from …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b2a11ba
|
4 years |
ajbeach |
Rename WithConstTypeSubstitution? from env to typeSubs to avoid name …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@98e8b3b
|
4 years |
ajbeach |
ast::ReferenceToType? is now ast::BaseInstType?.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b9fa85b
|
4 years |
ajbeach |
Should fix both trac #173 by porting the catch scoping hack to the new …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@e6b42e7
|
4 years |
ajbeach |
Added the ast::Pass::read utility. Converted two passes to use its two …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@73f1b1c
|
4 years |
ajbeach |
Cleaned up comments from the PureVisitor? addition.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@d3aa64f1
|
4 years |
f37yu |
pure visitor interface for new ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@4ef08f7
|
4 years |
Thierry Delisle |
Implemented KeywordCast? in CandidateFinder? of new AST.
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@d5f4613
|
4 years |
Thierry Delisle |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@b26144d
|
4 years |
f37yu |
do not print resolved type in tests
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@5339a87
|
4 years |
Thierry Delisle |
Added headers to Makefile Sources (since they are supposed to be)
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@13d33a75
|
4 years |
Thierry Delisle |
Merge branch 'master' into new-ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@ef9988b
|
4 years |
f37yu |
fix lost typeinst in resolved assertions
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@0240cd69
|
4 years |
Thierry Delisle |
Added overload to Pass::run with a single argument to help older compilers
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@7ff3e522
|
4 years |
ajbeach |
{pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about …
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@0d070ca
|
4 years |
Thierry Delisle |
disabled new heaptrace feature
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@07d867b
|
4 years |
f37yu |
attempt to fix inferparams
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@0019d77
|
4 years |
f37yu |
Merge branch 'new-ast' of plg.uwaterloo.ca:software/cfa/cfa-cc into new-ast
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|
@79c907b
|
4 years |
f37yu |
correctly print assertions
ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
|
|
|