|
|
@46da46b
|
16 months |
f37yu |
current progress
ast-experimental
|
|
|
@93c10de
|
21 months |
ajbeach |
Minimal changes to pull out nested types, TypeInstType::TypeEnvKey? and …
ADTast-experimental
|
|
|
@db6cdc0
|
21 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimental
|
|
|
@e4d7c1c
|
21 months |
j82liang |
Implement enum Hiding
ADTast-experimental
|
|
|
@19a8c40
|
21 months |
ajbeach |
Some clean-up I had stashed from before I knew the InlineMemberDecl? …
ADTast-experimental
|
|
|
@71806e0
|
21 months |
j82liang |
Rename InlineValueDecl? to InlineMemberDecl?
ADTast-experimental
|
|
|
@44547b0
|
22 months |
ajbeach |
Removed the ObjectDecl? fields now represented on InlineValueDecl?. …
ADTast-experimental
|
|
|
@f2ff0a6
|
22 months |
ajbeach |
Function attributes are now visited earlier, so they are not …
ADTast-experimental
|
|
|
@93d2219
|
22 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimental
|
|
|
@e874605
|
22 months |
j82liang |
Add class InlineValueDecl?, which is a Declaration class that works as …
ADTast-experimental
|
|
|
@63d1ebe
|
22 months |
ajbeach |
Changed GenPoly::TypeVarMap? to use the same key type as …
ADTast-experimental
|
|
|
@bc899d6
|
22 months |
ajbeach |
Added ast::vector as a short hand and used it in one file as a test.
ADTast-experimental
|
|
|
@77de429
|
22 months |
j82liang |
Fix overriding enum value
ADTast-experimental
|
|
|
@c2b3243
|
22 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimental
|
|
|
@5408b59
|
22 months |
j82liang |
Remove var in QualifiedNameExpr?
ADTast-experimental
|
|
|
@1e30df7
|
22 months |
j82liang |
Supports inline enums
ADTast-experimental
|
|
|
@fad1f14
|
22 months |
ajbeach |
Small bits of clean-up I would rather not want to keep looking at.
ADTast-experimental
|
|
|
@4b8b2a4
|
23 months |
ajbeach |
Make unset locations earier to find with a search for 'CodeLocation?()'.
ADTast-experimental
|
|
|
@c02cef1
|
23 months |
ajbeach |
Clean-up in AST/Inspect.
ADTast-experimental
|
|
|
@3f7e68b7
|
23 months |
ajbeach |
It has been ~3 years, still no one is using GuardMethod?.
ADTast-experimental
|
|
|
@b859f59
|
23 months |
ajbeach |
Reordered fields in FunctionDecl? and removed some trailing white-space.
ADTast-experimental
|
|
|
@e01eb4a
|
23 months |
ajbeach |
Moved some functions from InitTweak? to Inspect.
ADTast-experimental
|
|
|
@20737104
|
23 months |
ajbeach |
Wrote a new asForward helper for Autogen.
ADTast-experimentalpthread-emulation
|
|
|
@e9e9f56
|
23 months |
ajbeach |
Used the WithCodeLocation? helper in more passes. This cleans up some …
ADTast-experimentalpthread-emulation
|
|
|
@a065f1f
|
2 years |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalpthread-emulation
|
|
|
@4520b77e
|
2 years |
j82liang |
Merge to Master Sept 19
ADTast-experimentalpthread-emulation
|
|
|
@ef1da0e2
|
2 years |
f37yu |
try to make parameter qualifier conversion work for assertions
ADTast-experimentalpthread-emulation
|
|
|
@8f1e035
|
2 years |
ajbeach |
Created a new module for more ast helpers. Put in code to efficiently …
ADTast-experimentalpthread-emulation
|
|
|
@ae1d151
|
2 years |
ajbeach |
White-space fixes and an improvement to some clean-up.
ADTast-experimentalpthread-emulation
|
|
|
@09f34a84
|
2 years |
Thierry Delisle |
Remove some of the warnings on the new clang
ADTast-experimentalpthread-emulation
|
|
|
@747d0fa
|
2 years |
ajbeach |
White-space clean-up in DeclReplacer?.
ADTast-experimentalpthread-emulation
|
|
|
@95e5018
|
2 years |
ajbeach |
Changed ast::pass::make_location_guard so it should work with C++14.
ADTast-experimentalpthread-emulation
|
|
|
@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
|
|
|
@b0d9ff7
|
2 years |
j82liang |
Fix up the QualifiedNameExpr?. It should now work on both old AST and …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@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
|
2 years |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@9e7236f4
|
2 years |
j82liang |
Resolution of struct enum. The codegen of struct enum will be in the …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@298fe57
|
2 years |
ajbeach |
Translated 3/4 of validate_B. Link Reference To Types has been removed …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@f6e6a55
|
2 years |
ajbeach |
Added ast::WaitForClause? and changed ast::WaitForStmt? to use it. This …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@374cb117
|
2 years |
j82liang |
Replace the interface for EnumDecl? node construction to support …
ADTast-experimentalpthread-emulationqualifiedEnum
|
|
|
@4ec9513
|
2 years |
ajbeach |
Converted validate C, including adding DimensionExpr? to the new ast.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@92538ab
|
2 years |
j82liang |
Resolve conflict
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@4559b34
|
2 years |
j82liang |
Update the String Enum implementation. The declaration now can handles …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@b230091
|
2 years |
ajbeach |
Added a 'missing' TypeInstType? constructor and rewrote some calls to …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@2377ca2
|
2 years |
ajbeach |
Updated some names on mutate functions to me more consistent with some …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@400b8be
|
2 years |
ajbeach |
Added StmtClause? and converted the existing nodes that should be clauses.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@8631c84
|
2 years |
ajbeach |
Made ast::ptr_base swappable.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@f238fcc2
|
2 years |
j82liang |
Enable numeric type for typed enum
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@39d8950
|
2 years |
ajbeach |
Thread global information through resolution. Non-top-level calls to …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@33b7d49
|
2 years |
ajbeach |
Added another check to checkInvariants for code locations. I also went …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@4f6dda0
|
2 years |
ajbeach |
Converted Implement Concurrent Keywords to the new AST. Includes …
ADTast-experimentalenumpthread-emulationqualifiedEnum
old-sched
|
|
|
@3e54399
|
2 years |
j82liang |
The compiler now will add a cast to base type for the usage of type …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@f135b50
|
2 years |
j82liang |
The compiler is now trying to pass the value of enum const to code …
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@f69fac7
|
2 years |
ajbeach |
Got the Util module started by moving over the unused AssertAcyclic? pass.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@9ef9644
|
2 years |
ajbeach |
Merge branch 'forall-pointer-decay' into 'master'.
ADTast-experimentalenumpthread-emulationqualifiedEnum
|
|
|
@7d7ef6f
|
2 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
|
|
|