squiid/llvm
1
0
Fork 0
Code Issues Pull requests Activity
llvm/flang/lib/semantics/CMakeLists.txt

48 lines
1.2 KiB
CMake
Raw Normal View History

[flang] Move default intrinsic type kinds from lib/semantics to lib/common Original-commit: flang-compiler/f18@887e72dd613f411808d1b9e9e7b64601a3b67af8 Reviewed-on: https://github.com/flang-compiler/f18/pull/265 Tree-same-pre-rewrite: false
2019-01-18 21:40:47 +01:00
# Copyright (c) 2018-2019, NVIDIA CORPORATION. All rights reserved.
[flang] Add copyright notices. For source files (C++, Fortran, CMake) add copyright and license. For documentation files add just copyright. Original-commit: flang-compiler/f18@38381aed839ef091a44ea8f2ef7bc5346d776c67 Reviewed-on: https://github.com/flang-compiler/f18/pull/74
2018-05-01 21:50:34 +02:00
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
[flang] Remove SHARED from add_library(), use cmake command line option instead Original-commit: flang-compiler/f18@6644c799a7dc583331bea9853700c2ba69bbab4e Reviewed-on: https://github.com/flang-compiler/f18/pull/265 Tree-same-pre-rewrite: false
2019-01-20 00:30:25 +01:00
add_library(FortranSemantics
[flang] checkpoint during refactor Original-commit: flang-compiler/f18@01fe82b95bebb5977fb5fa9c90ea1b8a6894a18c Reviewed-on: https://github.com/flang-compiler/f18/pull/234 Tree-same-pre-rewrite: false
2018-11-30 23:03:05 +01:00
assignment.cc
[flang] Add simple recursive CMake directory structure Original-commit: flang-compiler/f18@a021b2ca768c2b8c03d626739d0754ba99e463d2 Reviewed-on: https://github.com/flang-compiler/f18/pull/13 Tree-same-pre-rewrite: false
2018-02-19 14:28:12 +01:00
attr.cc
[flang] canonicalize DO constructs Fix a bug with BLOCK DATA name matching Add tests and finish up DO loop canonicalization Original-commit: flang-compiler/f18@2d93b2819cbfd436c1f4081c2c7480e6711e3b38 Reviewed-on: https://github.com/flang-compiler/f18/pull/193 Tree-same-pre-rewrite: false
2018-09-19 23:26:02 +02:00
canonicalize-do.cc
[flang] Implement semantic checks for if statements, if constructs and arithmetic ifs. Original-commit: flang-compiler/f18@deb2726aad63b9bc4c7d35872b4b4279fbcc78f8 Reviewed-on: https://github.com/flang-compiler/f18/pull/356 Tree-same-pre-rewrite: false
2019-03-26 08:33:03 +01:00
check-arithmeticif.cc
[flang] Implement semantics for computed GOTO. Note that a PGI extension will implicitly convert a float to integer (and issue a warning). This commit does not implement that extension. Original-commit: flang-compiler/f18@b85755f26fef767850572ef5d3deea87258d87a7 Reviewed-on: https://github.com/flang-compiler/f18/pull/360 Tree-same-pre-rewrite: false
2019-03-27 23:44:17 +01:00
check-computed-goto.cc
[flang] DO CONCURRENT semantic constraints checking Add tests for DO CONCURRENT Original-commit: flang-compiler/f18@0b40fe1ce4fab86ce08fd89f71f9bb01f0eb7ffa Reviewed-on: https://github.com/flang-compiler/f18/pull/196 Tree-same-pre-rewrite: false
2018-09-18 02:19:27 +02:00
check-do-concurrent.cc
[flang] Implement semantic checks for if statements, if constructs and arithmetic ifs. Original-commit: flang-compiler/f18@deb2726aad63b9bc4c7d35872b4b4279fbcc78f8 Reviewed-on: https://github.com/flang-compiler/f18/pull/356 Tree-same-pre-rewrite: false
2019-03-26 08:33:03 +01:00
check-if-construct.cc
check-if-stmt.cc
[flang] Begin semantic analysis of expressions. Original-commit: flang-compiler/f18@34615fdc37736e2aadf440d67e57c192e0e3f66c Reviewed-on: https://github.com/flang-compiler/f18/pull/144 Tree-same-pre-rewrite: false
2018-07-14 01:55:11 +02:00
expression.cc
[flang] Implement writing of .mod files. Module file writing is implemented in mod-file.cc. They need to be written after all semantic checking. Until then, for testing, write them out whenever names are resolved. There is a header comment in the .mod files but it is mostly a placeholder until we can read them in and do something with it. Rename `Symbol::details<D>` to `Symbol::get<D>`. This asserts that the details of the symbol match D and returns that type. But we need a way to access the details as a variant as well (not just one of its types). `details()` is the best name for that, especially as we already have `set_details()`. Renaming the old `details` to `get` also better matches `has` which is used to check which variant is present. Original-commit: flang-compiler/f18@8d14be1a1633ab2e8ee700a3709989769fbc1f14 Reviewed-on: https://github.com/flang-compiler/f18/pull/126 Tree-same-pre-rewrite: false
2018-07-17 01:23:18 +02:00
mod-file.cc
[flang] Add label resolution design document, pass, and tests Original-commit: flang-compiler/f18@e0d0df900c4d823b7114a4d511105c2dbd9d2e77 Reviewed-on: https://github.com/flang-compiler/f18/pull/170 Tree-same-pre-rewrite: false
2018-08-21 01:47:18 +02:00
resolve-labels.cc
[flang] Add top-level Semantics class Refactor to create the Semantics class that is responsible for holding state during semantics (the scope tree and messages) and managing the logic of the various phases of semantic processing. Eliminate static Scope::globalScope. The messages generated during semantic processing are accumulated in a Messages data member of Semantics so that individual phases don't need to emit them to std::cerr. This is now done by the driver so that it has control over where they go and eliminates other includes of iostream. To do this, the messages object is passed in to the various semantics operations. Move DumpSymbols into semantics.cc: it doesn't belong in resolve-names.cc and it depends on the global scope, so it's as good a place as any. The call to RewriteParseTree is also moved to Semantics. Original-commit: flang-compiler/f18@771d0e1293c460fe28946f20464587f9a993586d Reviewed-on: https://github.com/flang-compiler/f18/pull/186 Tree-same-pre-rewrite: false
2018-09-15 00:04:50 +02:00
resolve-names.cc
[flang] Name resolution for defined operators Instead of tracking just genericName_ while in a generic interface block or generic statement, now we immediately create a symbol for it. A parser::Name isn't good enough because a defined-operator or defined-io-generic-spec doesn't have a name. Change the parse tree to add a source field to GenericSpec. Use these as names for symbols for defined-operator and defined-io-generic-spec (e.g. "operator(+)" or "read(formatted)"). Change the source for defined-op-name to include the dots so that they can be distinguished from normal symbols with the same name (e.g. you can have both ".foo." and "foo"). These symbols have names in the symbol table like ".foo.", not "operator(.foo.)", because references to them have that form. Add GenericKind enum to GenericDetails and GenericBindingDetails. This allows us to know a symbol is "assignment(=)", for example, without having to do a string comparison. Add GenericSpecInfo to handle analyzing the various kinds of generic-spec and generating symbol names and GenericKind for them. Add reference to LanguageFeatureControl to SemanticsContext so that they can be checked during semantics. For this change, if LogicalAbbreviations is enabled, report an error if the user tries to define an operator named ".T." or ".F.". Add resolve-name-utils.cc to hold utility functions and classes that don't have to be in the ResolveNamesVisitor class hierarchy. The goal is to reduce the size of resolve-names.cc where possible. Original-commit: flang-compiler/f18@3081f694e21dbcaef2554198a682c9af57f2e185 Reviewed-on: https://github.com/flang-compiler/f18/pull/338
2019-03-18 19:48:02 +01:00
resolve-names-utils.cc
[flang] Implement parse tree rewriting. Add parse-tree-mutator.h like parse-tree-visitor.h except that the Walk functions take non-const references to parse tree nodes so the Pre and Post methods of the mutator that are passed around can make changes to the parse tree. Change ExecutionPart to be a class that wraps a list so that it can be identified during parse tree walking. Add Symbol* field to parser::Name for the result of symbol resolution. In parse tree dumper, dump symbol when it is there instead of just name. Add RewriteParseTree to walk the parse tree, fill in resolved symbols in Name nodes, and make necessary changes to the structure. Currently that consists of rewriting statement functions as array assignments when appropriate. In ResolveNames, call RewriteParseTree if the resolution was successful. Recognize a statement function that comes after a mis-identified statement function and report an error. resolve08.f90 tests this case. Add -fdebug-dump-symbols to dump the scope tree and symbols in each scope. This is implemented by DumpSymbols in resolve-names.cc. Add an optional symbol to scopes that correspond to symbols (e.g. subprograms). Remove debug output from ResolveNamesVisitor as this option can be used instead. Original-commit: flang-compiler/f18@9cd337226521c7f3d2b149983ed677def55baa29 Reviewed-on: https://github.com/flang-compiler/f18/pull/60 Tree-same-pre-rewrite: false
2018-04-19 00:06:35 +02:00
rewrite-parse-tree.cc
[flang] Partial implementation of Symbols and Scopes. A Symbol consists of a common part (in class Symbol) containing name, owner, attributes. Information for a specific kind of symbol is in a variant containing one of the *Details classes. So the kind of symbol is determined by the type of details class stored in the details_ variant. For scopes there is a single Scope class with an enum indicating the kind. So far there isn't a need for extra kind-specific details as with Symbols but that could change. Symbols defined in a Scope are stored there in a simple map. resolve-names.cc is a partial implementation of a parse-tree walker that resolves names to Symbols. Currently is only handles functions (which introduce a new Scope) and entity-decls. The test-type executable was reused as a driver for this to avoid the need for a new one. Sample output is below. When each "end function" is encountered the scope is dumped, which shows the symbols defined in it. $ cat a.f90 pure integer(8) function foo(arg1, arg2) result(res) integer :: arg1 real :: arg2 contains function bar(arg1) real :: bar real :: arg1 end function end function $ Debug/tools/f18/test-type a.f90 Subprogram scope: 0 children arg1: Entity type: REAL bar: Entity type: REAL Subprogram scope: 1 children arg1: Entity type: INTEGER arg2: Entity type: REAL bar: Subprogram (arg1) foo: Subprogram (arg1, arg2) result(res) res: Entity type: INTEGER(8) Original-commit: flang-compiler/f18@1cd2fbc04da1d6bb2ef5bc1cf07c808460ea7547 Reviewed-on: https://github.com/flang-compiler/f18/pull/30 Tree-same-pre-rewrite: false
2018-03-23 01:08:20 +01:00
scope.cc
[flang] Add top-level Semantics class Refactor to create the Semantics class that is responsible for holding state during semantics (the scope tree and messages) and managing the logic of the various phases of semantic processing. Eliminate static Scope::globalScope. The messages generated during semantic processing are accumulated in a Messages data member of Semantics so that individual phases don't need to emit them to std::cerr. This is now done by the driver so that it has control over where they go and eliminates other includes of iostream. To do this, the messages object is passed in to the various semantics operations. Move DumpSymbols into semantics.cc: it doesn't belong in resolve-names.cc and it depends on the global scope, so it's as good a place as any. The call to RewriteParseTree is also moved to Semantics. Original-commit: flang-compiler/f18@771d0e1293c460fe28946f20464587f9a993586d Reviewed-on: https://github.com/flang-compiler/f18/pull/186 Tree-same-pre-rewrite: false
2018-09-15 00:04:50 +02:00
semantics.cc
[flang] Partial implementation of Symbols and Scopes. A Symbol consists of a common part (in class Symbol) containing name, owner, attributes. Information for a specific kind of symbol is in a variant containing one of the *Details classes. So the kind of symbol is determined by the type of details class stored in the details_ variant. For scopes there is a single Scope class with an enum indicating the kind. So far there isn't a need for extra kind-specific details as with Symbols but that could change. Symbols defined in a Scope are stored there in a simple map. resolve-names.cc is a partial implementation of a parse-tree walker that resolves names to Symbols. Currently is only handles functions (which introduce a new Scope) and entity-decls. The test-type executable was reused as a driver for this to avoid the need for a new one. Sample output is below. When each "end function" is encountered the scope is dumped, which shows the symbols defined in it. $ cat a.f90 pure integer(8) function foo(arg1, arg2) result(res) integer :: arg1 real :: arg2 contains function bar(arg1) real :: bar real :: arg1 end function end function $ Debug/tools/f18/test-type a.f90 Subprogram scope: 0 children arg1: Entity type: REAL bar: Entity type: REAL Subprogram scope: 1 children arg1: Entity type: INTEGER arg2: Entity type: REAL bar: Subprogram (arg1) foo: Subprogram (arg1, arg2) result(res) res: Entity type: INTEGER(8) Original-commit: flang-compiler/f18@1cd2fbc04da1d6bb2ef5bc1cf07c808460ea7547 Reviewed-on: https://github.com/flang-compiler/f18/pull/30 Tree-same-pre-rewrite: false
2018-03-23 01:08:20 +01:00
symbol.cc
[flang] C1594 constraint checking on pointer components in struct constructors Original-commit: flang-compiler/f18@386cd8a9b43f4e65c3e42febbae991fa87d277a9 Reviewed-on: https://github.com/flang-compiler/f18/pull/311 Tree-same-pre-rewrite: false
2019-03-02 02:33:20 +01:00
tools.cc
[flang] Add MakeTypes to build types using visitor. This replaces the manual walking code in test-type.cc. It walks the parse tree and constructs DeclTypeSpec and DerivedTypeDef objects for each type encountered. It's in a new file, make-types.cc, so that failing compilations complete faster. Handle more parts of derived type definitions. Also some minor cleanups in type.h and type.cc. Original-commit: flang-compiler/f18@859e7e2665e0d66c583ffcb7c74265813c25967c Reviewed-on: https://github.com/flang-compiler/f18/pull/23 Tree-same-pre-rewrite: false
2018-03-02 00:24:35 +01:00
type.cc
[flang] Support unparse with symbol annotations. When `-fdebug-dump-symbols` is supplied with `-funparse`, include symbol information in comments in the Fortran output. This will be used for testing to verify that correct symbols are defined and references in the right place. In `UnparseWithSymbols()`, walk the parse tree and collect symbol definitions and references, organized by statement. When a symbol is defined across several statement it is associated with the first. The definition of implicitly defined symbols is associated with the first reference. To write out the symbol information, a new optional argument is added to `Unparse()`: it is a function that is called immediately before each statement is unparsed. We pass in a function that prints out the symbol information collected for that statement. Add `Symbol::GetType()` to make it easier to write the symbol types and add `Symbol::SetType()` for uniformity. Original-commit: flang-compiler/f18@2e827de4ad23d036fa3436382c8a878a991f11f5 Reviewed-on: https://github.com/flang-compiler/f18/pull/112 Tree-same-pre-rewrite: false
2018-06-27 00:01:42 +02:00
unparse-with-symbols.cc
[flang] Add simple recursive CMake directory structure Original-commit: flang-compiler/f18@a021b2ca768c2b8c03d626739d0754ba99e463d2 Reviewed-on: https://github.com/flang-compiler/f18/pull/13 Tree-same-pre-rewrite: false
2018-02-19 14:28:12 +01:00
)
[flang] Manual backport of sch_llvm branch Original-commit: flang-compiler/f18@17ee2d8e3ac5bfb633cc2792ee7873c543696e72 Reviewed-on: https://github.com/flang-compiler/f18/pull/78 Tree-same-pre-rewrite: false
2018-05-03 14:54:53 +02:00
[flang] Begin semantic analysis of expressions. Original-commit: flang-compiler/f18@34615fdc37736e2aadf440d67e57c192e0e3f66c Reviewed-on: https://github.com/flang-compiler/f18/pull/144 Tree-same-pre-rewrite: false
2018-07-14 01:55:11 +02:00
target_link_libraries(FortranSemantics
[flang] Rearrange some facilities into a new lib/common. Original-commit: flang-compiler/f18@279af1e817b1266dd57689e462272f8e29496798 Reviewed-on: https://github.com/flang-compiler/f18/pull/106
2018-06-18 20:03:43 +02:00
FortranCommon
[flang] Rearrange code to eliminate dependence cycles between f18 library binaries Original-commit: flang-compiler/f18@88651eecae9cf7d5ea698eabcb315b3f2f169485 Reviewed-on: https://github.com/flang-compiler/f18/pull/265 Tree-same-pre-rewrite: false
2019-01-19 00:53:11 +01:00
FortranEvaluate
[flang] Manual backport of sch_llvm branch Original-commit: flang-compiler/f18@17ee2d8e3ac5bfb633cc2792ee7873c543696e72 Reviewed-on: https://github.com/flang-compiler/f18/pull/78 Tree-same-pre-rewrite: false
2018-05-03 14:54:53 +02:00
)
[flang] Add CMake rules to install static and shared libraries in the default install directory or in the directory specified with CMAKE_INSTALL_PREFIX. Fixes flang-compiler/f18#359. Original-commit: flang-compiler/f18@35ce1628e24d85eb5fa8fe467af06f7a33a4d293 Reviewed-on: https://github.com/flang-compiler/f18/pull/364
2019-03-28 17:55:56 +01:00
install (TARGETS FortranSemantics
ARCHIVE DESTINATION lib
LIBRARY DESTINATION lib
RUNTIME DESTINATION bin
)
Reference in a new issue Copy permalink