|
|
@ecf3812
|
10 months |
ajbeach |
CastExpr reorganization and clean-up in Lvalue. I kept these from a …
|
|
|
@90be0cf
|
11 months |
ajbeach |
Moved some methods out of EnumDecl. These were calculations and the …
|
|
|
@16ba4897
|
11 months |
ajbeach |
Replaced SemanticErrorException::isEmpty with ...::throwIfNonEmpty. …
|
|
|
@b6f2e7ab
|
12 months |
ajbeach |
Removed SizeofExpr::expr and AlignofExpr::expr, expressions that would …
|
|
|
@02101a4
|
12 months |
pabuhr |
comment out unused variable declaration
|
|
|
@2f31773
|
13 months |
mlbrooks |
Improve inability to declare a struct member having a managed type via …
|
|
|
@2870cb6
|
13 months |
f37yu |
update cast expression cost rule
|
|
|
@06ecda9
|
13 months |
j82liang |
define enum to value cost as implicit cost
|
|
|
@d68a3f7
|
14 months |
j82liang |
Update makeEnumOffsetCast to not report error for cast to non-parent …
|
|
|
@bfa7bf0
|
14 months |
ajbeach |
Silenced a warning.
|
|
|
@0c327ce
|
14 months |
j82liang |
1. Add bound check to Serial function: now compiler generates the …
|
|
|
@d3aa55e9
|
15 months |
j82liang |
1. Disallow implicit conversion from cfa enum to int during on the …
|
|
|
@5eb3f65
|
15 months |
pabuhr |
change enumeration function names labelE, valueE, posE to label, …
|
|
|
@525f7ad
|
15 months |
j82liang |
1. Add count_e( enum_name ), a pseudo function that return the …
|
|
|
@85855b0
|
15 months |
j82liang |
1. Implement enum cast; 2. Change valueE so that opague enum returns …
|
|
|
@0f5e8cd
|
16 months |
f37yu |
attempt to fix #286
|
|
|
@31f4837
|
16 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@acb33f15
|
16 months |
j82liang |
Change enum conversion steps
|
|
|
@c92bdcc
|
16 months |
ajbeach |
Updated the rest of the names in src/ (except for the generated files).
|
|
|
@0b6c1c9
|
16 months |
j82liang |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
|
|
|
@c333ed2
|
16 months |
j82liang |
Remove intermeidate type (enum attribute type); remove …
|
|
|
@b2ea0cd
|
16 months |
ajbeach |
First wave of file renaming. Rename files in src/ and update all …
|
|
|
@eb7586e
|
17 months |
j82liang |
1. Change return value of typed Enum in null context: they now return …
|
|
|
@fc1a3e2
|
17 months |
ajbeach |
Style update. Focused on indentation and trailing whitespace.
|
|
|
@38093ae
|
17 months |
j82liang |
Resolve conflict
|
|
|
@7a780ad
|
17 months |
ajbeach |
Moved ast::BasicType::Kind to ast::BasicKind in its own hearder. This …
|
|
|
@cdb4eaa
|
17 months |
j82liang |
Fix succ(Enum) error and resolution ambiguity of enum with inheritance
|
|
|
@7aa209e7
|
17 months |
ajbeach |
Fixing some whitespace around a recent merge. That lead to some …
|
|
|
@dc58e5d
|
17 months |
j82liang |
Small cleanup
|
|
|
@af746cc
|
17 months |
j82liang |
Reimplement the resolution of Enum instance type
|
|
|
@ab780e6
|
17 months |
ajbeach |
notZeroExpr (in the parser) has become createCondExpr (in the …
|
|
|
@a4da45e
|
19 months |
j82liang |
Resolve conflict
|
|
|
@0522ebe
|
19 months |
j82liang |
Add EnumPosType to type system
|
|
|
@2beaf9b
|
19 months |
ajbeach |
Forgot to update comments from the last commit.
|
|
|
@2810700
|
19 months |
ajbeach |
The two argument form of the conditional operator now only has two …
|
|
|
@14755e5
|
19 months |
ajbeach |
Updated indentation in Resolver. Removed trailing whitespace.
|
|
|
@a55ebcc
|
19 months |
j82liang |
1. Add debug print option for replacePseudoFunc; 2. Change resolver …
|
|
|
@9ddcee1
|
20 months |
j82liang |
Remove EnumPosExpr, an early design that no longer used. The …
|
|
|
@496ffc17
|
20 months |
j82liang |
Fix dangling reference to posE function
|
|
|
@c75b30a
|
20 months |
j82liang |
Introduce posE, valueE, labelE pseudo language to the language. Rework …
|
|
|
@61e362f
|
20 months |
ajbeach |
Changed notZeroExpr so that expressions with conditional contexts are …
|
|
|
@59c8dff
|
20 months |
j82liang |
Draft Implementation for enum position pesudo function (posE). …
|
|
|
@4a89b52
|
22 months |
ajbeach |
Renamed ResolvMode to ResolveMode. This is less consistent with the …
|
|
|
@2908f08
|
22 months |
ajbeach |
Most of ResolvExpr was written before the new style standard. Some …
|
|
|
@0bd3faf
|
22 months |
ajbeach |
Removed forward declarations missed in the BaseSyntaxNode removal. …
|
|
|
@fa761c2
|
23 months |
ajbeach |
Changed some new uses of UniqueId to the ast version. Changed where …
|
|
|
@64727bd
|
2 years |
ajbeach |
Did my best to reimplement all the improvements made to …
|
|
|
@b96b1c0
|
2 years |
ajbeach |
Reproduing changes from commit eb8d791. This fixes most of the errors …
|
|
|
@24d6572
|
2 years |
f37yu |
Merge branch 'master' into ast-experimental
ast-experimental
|
|
|
@251ce80
|
2 years |
f37yu |
remove reference to symbol table in unify
ast-experimental
|
|
|
@46da46b
|
2 years |
f37yu |
current progress
ast-experimental
|
|
|
@eb8d791
|
2 years |
ajbeach |
CandidateFinder fills in the CodeLocation on a generated expression. …
ADT
ast-experimental
|
|
|
@153d3440
|
2 years |
ajbeach |
Reorganize CandidateFinder to lower indentation. I did not flatten the …
ADT
ast-experimental
|
|
|
@5bf3976
|
3 years |
ajbeach |
Header Clean-Up: Created new headers for new AST typeops and moved …
ADT
ast-experimental
|
|
|
@fed6a0f
|
3 years |
ajbeach |
Header Clean-up: Moving more declarations to the header of the …
ADT
ast-experimental
|
|
|
@93c10de
|
3 years |
ajbeach |
Minimal changes to pull out nested types, TypeInstType::TypeEnvKey and …
ADT
ast-experimental
|
|
|
@5408b59
|
3 years |
j82liang |
Remove var in QualifiedNameExpr
ADT
ast-experimental
|
|
|
@4520b77e
|
3 years |
j82liang |
Merge to Master Sept 19
ADT
ast-experimental
pthread-emulation
|
|
|
@09f34a84
|
3 years |
Thierry Delisle |
Remove some of the warnings on the new clang
ADT
ast-experimental
pthread-emulation
|
|
|
@b0d9ff7
|
3 years |
j82liang |
Fix up the QualifiedNameExpr. It should now work on both old AST and …
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@def751f
|
3 years |
j82liang |
Merge branch 'master' into qualifiedEnum
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@ffec1bf
|
3 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@9e23b446
|
3 years |
f37yu |
add specialize pass
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@d958834b
|
3 years |
j82liang |
Save a minimal compilable version. The enum pointer …
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@b9f8274
|
3 years |
ajbeach |
Removed the validate sub-pass interface. This also showed an extra …
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@fc134a48
|
3 years |
j82liang |
Implement the struct enum
ADT
ast-experimental
pthread-emulation
qualifiedEnum
|
|
|
@39d8950
|
3 years |
ajbeach |
Thread global information through resolution. Non-top-level calls to …
ADT
ast-experimental
enum
pthread-emulation
qualifiedEnum
|
|
|
@7f62b708
|
4 years |
Thierry Delisle |
Step 2 of $thread to thread$ Missed some of the source
ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@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
|
|
|
@0536c03
|
5 years |
f37yu |
remove unnecessary prune
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@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
|
|
|
@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
|
|
|
@e3282fe
|
5 years |
f37yu |
optimize out some mangle calls
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@88a0ff6
|
5 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@1389810
|
5 years |
f37yu |
consolidate prune and satisfy assertion
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@0292aa4
|
5 years |
ajbeach |
Fixed some formating/cleanlyness mistakes.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@4702a2c
|
5 years |
f37yu |
Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@e5c3811
|
5 years |
f37yu |
create dedicated symbol tables for big 3 operators
note: arbitrary …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@bb87dd0
|
5 years |
mlbrooks |
Fixing test init1-ERROR on new ast. Applying equivalent of b81fd95, …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@954c954
|
5 years |
f37yu |
Move function argument and return variable declarations from …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@98e8b3b
|
5 years |
ajbeach |
ast::ReferenceToType is now ast::BaseInstType.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@4ef08f7
|
5 years |
Thierry Delisle |
Implemented KeywordCast in CandidateFinder of new AST.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@ef9988b
|
5 years |
f37yu |
fix lost typeinst in resolved assertions
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@7ff3e522
|
5 years |
ajbeach |
{pass_t Pass::pass; => core_t Pass::core;} To avoid confusion about …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@0d070ca
|
5 years |
Thierry Delisle |
disabled new heaptrace feature
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@c15085d
|
5 years |
f37yu |
tracing memory allocation of resolver passes
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@71d6bd8
|
6 years |
Thierry Delisle |
First attempt at better errors on 'No reasonable alternatives' split …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@cf32116
|
6 years |
ajbeach |
Implemented expression based lvalue resolution on new ast.
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@4e13e2a
|
6 years |
Thierry Delisle |
Added setting of result in Comma expression.
Added asserts in …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@2890212
|
6 years |
Thierry Delisle |
Startup.cfa now compiles with new ast
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@417117e
|
6 years |
a3moss |
Assorted cleanup
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@e0e9a0b
|
6 years |
a3moss |
Somewhat deeper clone for types with forall qualifiers.
* Added …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@9ea38de
|
6 years |
a3moss |
Fix ast::Pass guard classes
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@18e683b
|
6 years |
a3moss |
Port LinkReferenceToTypes pass
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@c1ed2ee
|
6 years |
a3moss |
Continued resolver porting
* mostly initialization and validation
* …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b8524ca
|
6 years |
a3moss |
new AST porting
* mostly InitTweak autogeneration
* added some …
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@b69233ac
|
6 years |
a3moss |
Port assertion satisfaction to new AST
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@17a0ede2
|
6 years |
a3moss |
Further resolver porting; finish initial draft of expression handling
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@898ae07
|
6 years |
a3moss |
More resolver porting
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|
@c8e4d2f8
|
6 years |
a3moss |
Start porting CastExpr resolution
ADT
arm-eh
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
pthread-emulation
qualifiedEnum
|
|
|