|
|
|
@a9762dc
|
2 years |
Thierry Delisle |
Passvisitor can now track code location
ADTast-experimentalpthread-emulation
|
|
|
|
@3606fe4
|
2 years |
ajbeach |
Translated Instantiate Generic to the new AST. This includes various …
ADTast-experimentalpthread-emulation
|
|
|
|
@ed9a1ae
|
2 years |
Thierry Delisle |
Cfa now distinguishes between thread and _Thread_local.
ADTast-experimentalpthread-emulation
|
|
|
|
@3992098
|
2 years |
ajbeach |
Changed the default Linkage on ast::FunctionDecl? from C to Cforall to …
ADTast-experimentalpthread-emulation
|
|
|
|
@e8616b6
|
2 years |
ajbeach |
Changed the default Linkage on ast::ObjectDecl? from C to Cforall. …
ADTast-experimentalpthread-emulation
|
|
|
|
@ffec1bf
|
2 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@9e23b446
|
2 years |
f37yu |
add specialize pass
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@6a896b0
|
2 years |
ajbeach |
Translated the Exception Declaration pass.
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@1931bb01
|
2 years |
ajbeach |
Converted 'Validate A' to the new AST. There some utility changes as well.
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@7b71402
|
2 years |
ajbeach |
Some white-space and comment fixes.
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@b70abaf
|
2 years |
Thierry Delisle |
Added inspect file for asking questions about the ast.
So far only …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@eb5962a
|
2 years |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@1df492a
|
2 years |
j82liang |
Convert TypeInstType? to PointerType? before resolution
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@6739590
|
2 years |
ajbeach |
A small spacing fix.
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@a8b87d3
|
2 years |
ajbeach |
Various bits of clean-up. The big one was some renaming inside …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@e6cf857f
|
2 years |
ajbeach |
call -> createCall: The template wrapper has been removed and now it …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@491bb81
|
2 years |
ajbeach |
Fixed some whitespace and indentation issues.
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@7675f58
|
2 years |
ajbeach |
Labels on statements (not all Labels in the AST) now have all their …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@3f681b1
|
2 years |
ajbeach |
Added the new invariant checks. There seems to be a few unset …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@7edd5c1
|
2 years |
ajbeach |
Assorted fixes to the AST, found while I was trying to add more …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@24ceace
|
3 years |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@9e7236f4
|
3 years |
j82liang |
Resolution of struct enum. The codegen of struct enum will be in the …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@298fe57
|
3 years |
ajbeach |
Translated 3/4 of validate_B. Link Reference To Types has been removed …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@f6e6a55
|
3 years |
ajbeach |
Added ast::WaitForClause? and changed ast::WaitForStmt? to use it. This …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@374cb117
|
3 years |
j82liang |
Replace the interface for EnumDecl? node construction to support …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
|
@4ec9513
|
3 years |
ajbeach |
Converted validate C, including adding DimensionExpr? to the new ast.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@92538ab
|
3 years |
j82liang |
Resolve conflict
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@4559b34
|
3 years |
j82liang |
Update the String Enum implementation. The declaration now can handles …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@b230091
|
3 years |
ajbeach |
Added a 'missing' TypeInstType? constructor and rewrote some calls to …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@2377ca2
|
3 years |
ajbeach |
Updated some names on mutate functions to me more consistent with some …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@400b8be
|
3 years |
ajbeach |
Added StmtClause? and converted the existing nodes that should be clauses.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@8631c84
|
3 years |
ajbeach |
Made ast::ptr_base swappable.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@f238fcc2
|
3 years |
j82liang |
Enable numeric type for typed enum
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@39d8950
|
3 years |
ajbeach |
Thread global information through resolution. Non-top-level calls to …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@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
|
|
|
|
@3e54399
|
3 years |
j82liang |
The compiler now will add a cast to base type for the usage of type …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@f135b50
|
3 years |
j82liang |
The compiler is now trying to pass the value of enum const to code …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
|
@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
|
|
|
|
