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

141 lines
3.1 KiB
CMake
Raw Normal View History

[flang] Add name resolution tests The Fortran source files in test/semantics all contain expected errors in comments. The script test_errors.sh compiles a file with 'f18 -fdebug-resolve-names -fparse-only' and compares the actual errors produced against the expected ones. The change to resolve15.f90 is necessary because test_errors.sh can't handle two expected errors for the same source line. A useful command to run these is 'ctest -R f90 --output-on-failure'. -R means only run tests with f90 in the name --output-on-failure prints the output of test_errors.sh when a test fails, showing the expected and actual messages that differ. Original-commit: flang-compiler/f18@df18ee7bc95628503b37648d98c5ae25bc74b227 Reviewed-on: https://github.com/flang-compiler/f18/pull/105
2018-06-15 23:54:34 +02:00
# Copyright (c) 2018, NVIDIA CORPORATION. All rights reserved.
#
# 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.
# Run tests with test_errors.sh. It compiles the test with f18 and compares
# actual errors produced with expected ones listed in the source.
[flang] Support intent-stmt and resolve subprogram prefixes and suffixes. Recognize `IntentStmt` and use `HandleAttributeStmt()` to implement it as is done with other attribute statements. Add `Attr::INTENT_INOUT` as a separate attribute for `INTENT(INOUT)`. Collect attributes from the prefix and suffix of `FunctionStmt` and `SubroutineStmt` (including `BIND(C)`) and set them on the subprogram symbol. Create a test for this using `test_symbol.sh`. It compiles with `-funparse-with-symbols` and compares the output with the symbols in comments in the input. Change `test_errors.sh` to be similar to `test_symbol.sh`: check usage and allow `F18` environment variable to override the path to the compiler. Original-commit: flang-compiler/f18@384828a22f53d828a3140640ca89f5819ada394d Reviewed-on: https://github.com/flang-compiler/f18/pull/120 Tree-same-pre-rewrite: false
2018-07-12 02:45:13 +02:00
# These test files have expected errors in the source
set(ERROR_TESTS
[flang] Add name resolution tests The Fortran source files in test/semantics all contain expected errors in comments. The script test_errors.sh compiles a file with 'f18 -fdebug-resolve-names -fparse-only' and compares the actual errors produced against the expected ones. The change to resolve15.f90 is necessary because test_errors.sh can't handle two expected errors for the same source line. A useful command to run these is 'ctest -R f90 --output-on-failure'. -R means only run tests with f90 in the name --output-on-failure prints the output of test_errors.sh when a test fails, showing the expected and actual messages that differ. Original-commit: flang-compiler/f18@df18ee7bc95628503b37648d98c5ae25bc74b227 Reviewed-on: https://github.com/flang-compiler/f18/pull/105
2018-06-15 23:54:34 +02:00
implicit01.f90
implicit02.f90
implicit03.f90
implicit04.f90
implicit05.f90
implicit06.f90
implicit07.f90
[flang] Add support for BLOCK construct A `BLOCK` statement opens a new scope. It is different from other scopes in that implicitly typed entities are defined in the enclosing non-block scope, not immediately in the block. This means that `IMPORT` statements can cause them to be hidden. Check that blocks can't have `IMPLICIT` statements in them. It is simpler for the parser not to deal with the different between a specification-part and a block-specification-part. Change `ImplicitRules` to have a parent that is consulted when there isn't an answer in the current one. For an interface body that does not happen but for all other nested scopes it does. This parent link eliminates the need for the `implicitRules_` stack. Make `isImplicitNoneType_` and `isImplicitNoneExternal_` optional: not set means look in parent. Fixes flang-compiler/f18#71. Remove `CurrNonTypeScope()` and put the logic in `Symbol::FindSymbol`. Original-commit: flang-compiler/f18@a153a2ee33ff493df6d4fb5e20d99d302d76ab43 Reviewed-on: https://github.com/flang-compiler/f18/pull/169 Tree-same-pre-rewrite: false
2018-08-27 20:48:49 +02:00
implicit08.f90
[flang] Add name resolution tests The Fortran source files in test/semantics all contain expected errors in comments. The script test_errors.sh compiles a file with 'f18 -fdebug-resolve-names -fparse-only' and compares the actual errors produced against the expected ones. The change to resolve15.f90 is necessary because test_errors.sh can't handle two expected errors for the same source line. A useful command to run these is 'ctest -R f90 --output-on-failure'. -R means only run tests with f90 in the name --output-on-failure prints the output of test_errors.sh when a test fails, showing the expected and actual messages that differ. Original-commit: flang-compiler/f18@df18ee7bc95628503b37648d98c5ae25bc74b227 Reviewed-on: https://github.com/flang-compiler/f18/pull/105
2018-06-15 23:54:34 +02:00
resolve01.f90
resolve02.f90
resolve03.f90
resolve04.f90
resolve05.f90
resolve06.f90
resolve07.f90
resolve08.f90
resolve09.f90
resolve10.f90
resolve11.f90
resolve12.f90
resolve13.f90
resolve14.f90
resolve15.f90
resolve16.f90
resolve17.f90
resolve18.f90
resolve19.f90
resolve20.f90
[flang] Name resolution for derived types. This consists of: - a new kind of symbols to represent them with DerivedTypeDetails - creating symbols for derived types when they are declared - creating a new kind of scope for the type to hold component symbols - resolving entity declarations of objects of derived type - resolving references to objects of derived type and to components - handling derived types with same name as generic Type parameters are not yet implemented. Refactor DeclTypeSpec to be a value class wrapping an IntrinsicTypeSpec or a DerivedTypeSpec (or neither in the TypeStar and ClassStar cases). Store DerivedTypeSpec objects in a new structure the current scope MakeDerivedTypeSpec so that DeclTypeSpec can just contain a pointer to them, as it currently does for intrinsic types. In GenericDetails, add derivedType field to handle case where generic and derived type have the same name. The generic is in the scope and the derived type is referenced from the generic, similar to the case where a generic and specific have the same name. When one of these names is mis-recognized, we sometimes have to fix up the 'occurrences' lists of the symbols. Assign implicit types as soon as an entity is encountered that requires one. Otherwise implicit derived types won't work. When we see 'x%y' we have to know the type of x in order to resolve y. Add an Implicit flag to mark symbols that were implicitly typed For symbols that introduce a new scope, include a pointer back to that scope. Add CurrNonTypeScope() for the times when we want the current scope but ignoring derived type scopes. For example, that happens when looking for types or parameters, or creating implicit symbols. Original-commit: flang-compiler/f18@9bd16da020b64b78ed3928e0244765cd2e2d8068 Reviewed-on: https://github.com/flang-compiler/f18/pull/109
2018-06-22 17:21:19 +02:00
resolve21.f90
resolve22.f90
resolve23.f90
[flang] Check consistency of generic interfaces. The specific procedures in a generic interface must be all functions or all subroutines. If there is a derived type with the same name they can only be functions. Original-commit: flang-compiler/f18@e02cef047a02585caba550da01dcf7f5e75942dd Reviewed-on: https://github.com/flang-compiler/f18/pull/114 Tree-same-pre-rewrite: false
2018-07-05 19:28:34 +02:00
resolve24.f90
[flang] Correctly resolve generics with forward references When a procedure is included by name in a generic (either with a procedure statement in a generic interface or with a generic statement) we can't immediately resolve it to a subprogram symbol. That is because the subprogram may be defined later in the specification part. Instead, collect the names (and whether they should be module procedures) and resolve them to symbols at the end of the specification part. Also detect duplicate names then. This is needed for module file reading as these forward references can occur there. Write generics to module file using generic statements. This allows us to include the access-spec. Original-commit: flang-compiler/f18@d11d002084af4a25d0c9a63dbe6460530b56adc7 Reviewed-on: https://github.com/flang-compiler/f18/pull/132
2018-07-20 19:46:11 +02:00
resolve25.f90
[flang] Add support for submodules Symbols for submodules have `ModuleDetails` with `isSubmodule` set. Scopes for submodules have `Module` kind and have a parent scope that is also `Module` kind. Scopes for modules now contain a mapping of submodule name to scope so that we can find them without having to search the scope tree or re-read their `.mod` file. The module file for submodule `s` with ancestor module `m` is named `m-s.mod`. The tree structure of scopes means module file writing is now recursive. Similarly, reading the module file for a submodule may require reading the module files of its parent and ancestor. `ResolveNames` now requires the parent scope to be passed in -- it is not always the global scope. `test_modfiles.sh` now handles an argument that is a filename glob so that the test can involve multiple files. This allows `modfile09` to test reading of `.mod` files for modules and submodules. Original-commit: flang-compiler/f18@2e4424dbc8cc5803d561274dbf70005afe7e65dc Reviewed-on: https://github.com/flang-compiler/f18/pull/160 Tree-same-pre-rewrite: false
2018-08-03 01:21:27 +02:00
resolve26.f90
resolve27.f90
[flang] Implement host association and import statements Host association is done by search for symbols using `Scope::FindSymbol()` which looks for the the name in the parent scope if the import rules permit it. Import statements are implemented using `importKind_` and `importNames_` in class `Scope`. Most of the constraints are checked when the `ImportStmt` is encountered. `CheckImports()` is called at the end of the `SpecificationPart` to verify the names mentioned in the IMPORT statement. That has to happen then so that we can detect if an imported name is hidden by a declaration in the current scope. Original-commit: flang-compiler/f18@0d50c8a8ba12692e6246c4e1a8a098f2850aba3a Reviewed-on: https://github.com/flang-compiler/f18/pull/167 Tree-same-pre-rewrite: false
2018-08-23 01:05:06 +02:00
resolve28.f90
resolve29.f90
[flang] Add support for BLOCK construct A `BLOCK` statement opens a new scope. It is different from other scopes in that implicitly typed entities are defined in the enclosing non-block scope, not immediately in the block. This means that `IMPORT` statements can cause them to be hidden. Check that blocks can't have `IMPLICIT` statements in them. It is simpler for the parser not to deal with the different between a specification-part and a block-specification-part. Change `ImplicitRules` to have a parent that is consulted when there isn't an answer in the current one. For an interface body that does not happen but for all other nested scopes it does. This parent link eliminates the need for the `implicitRules_` stack. Make `isImplicitNoneType_` and `isImplicitNoneExternal_` optional: not set means look in parent. Fixes flang-compiler/f18#71. Remove `CurrNonTypeScope()` and put the logic in `Symbol::FindSymbol`. Original-commit: flang-compiler/f18@a153a2ee33ff493df6d4fb5e20d99d302d76ab43 Reviewed-on: https://github.com/flang-compiler/f18/pull/169 Tree-same-pre-rewrite: false
2018-08-27 20:48:49 +02:00
resolve30.f90
[flang] Small improvements to name resolution Resolve names and do implicit typing in ArrayElement and LoopBounds. Fix problem with creation of UseErrorDetails: when a conflict occurs, record both the original USE and the new one. Resolve the type name in TypeAttrSpec::Extends. Move CheckUseError to DeclarationVisitor so that it can be used in ResolveDerivedType. Report error on unresolved names. I.e. after name resolution, check each parser::Name and verify we have a Symbol for it. This is on by default now but it could be an option. Original-commit: flang-compiler/f18@1c8cbc6e53cc7e1b6909bbedf5370e27fd11572f Reviewed-on: https://github.com/flang-compiler/f18/pull/173 Tree-same-pre-rewrite: false
2018-08-29 20:38:12 +02:00
resolve31.f90
[flang] Resolve procedure bindings and final procedures in derived types Add new kinds of symbol details: ProcBindingDetails, FinalProcDetails. and GenericBindingDetails. The last is not yet implemented. Write them to the .mod file. Recognize DEFERRED and NON_OVERRIDABLE attributes. Enforce C783. Resolve CLASS(t) similarly to resolution of TYPE(t). Original-commit: flang-compiler/f18@0c0a9ab79eacd725900e4452ca352a46bec226a3 Reviewed-on: https://github.com/flang-compiler/f18/pull/173 Tree-same-pre-rewrite: false
2018-09-01 01:20:00 +02:00
resolve32.f90
[flang] Resolve derived type parameters Add TypeParamDetails for symbols that represent type parameters. Create such symbols when a type-param-def-stmt is encountered. At the end of the derived-type-def, check the parameters named in the type-param-name-list against those encountered in each type-param-def-stmt. Original-commit: flang-compiler/f18@c15247bb30311e7166429a34db510cb8c736bd66 Reviewed-on: https://github.com/flang-compiler/f18/pull/173 Tree-same-pre-rewrite: false
2018-09-04 19:28:27 +02:00
resolve33.f90
[flang] Fix problems with extended derived types When looking for a component name in a derived type, also look in the parent type. Before adding a component to a derived type, report an error if it already has one with that name. Check that components are accessible when they are accessed. Add the "parent component" to derived types (i.e. a component with the same name as the parent type). The symbol is marked with the `ParentComp` flag so we can avoid writing it to `.mod` files. Add calls to `add_occurrence()` so that those particular instances of `parser::Name` get their symbol set. Change `DeclareObjectEntity` and `DeclareProcEntity` to use `SourceName` as the name passed in rather than `parser::Name`. Fix some problems in `unparse-with-symbols.cc` on statements that both define and reference names. Fixes flang-compiler/f18#187. Original-commit: flang-compiler/f18@664b9627f2be6dc4212f6904e6f14ee642b473a8 Reviewed-on: https://github.com/flang-compiler/f18/pull/192 Tree-same-pre-rewrite: false
2018-09-20 23:08:59 +02:00
resolve34.f90
[flang] Check conflicting construct names Check that construct names don't conflict with other construct names or entities in the same scoping unit. This requires adding symbols for them. MiscDetails was added for cases like this where we don't need to save much information about the symbol. References to construct names are recorded too, so those names are now expected to be resolved and no longer are exceptions in rewrite-parse-tree.cc Checking that construct names match is still done in resolve-labels.cc. Original-commit: flang-compiler/f18@0ad79ff029f6f3001778e2fd6f00153906effec8 Reviewed-on: https://github.com/flang-compiler/f18/pull/210 Tree-same-pre-rewrite: false
2018-09-25 17:53:53 +02:00
resolve35.f90
[flang] Process SeparateModuleSubprogram during name resolution When a SeparateModuleSubprogram is encountered, check that there is a corresponding declaration in the current module/submodule or an ancestor. When it's the current program unit, special handling is required to avoid trying to declare it again. Module subprograms with the `MODULE` prefix are handled similarly. The `hasModulePrefix` flag is passed in to `BeginSubprogram` to distinguish this case. Extract common part of `Post(SubroutineStmt)` and `Post(FunctionStmt)` into `PostSubprogramStmt`. Add code there to ensure that separate module procedures do not have `EXTERNAL` set. This requires a fix to `ModFileWriter` to correctly decide when a subprogram is declared in an interface block. Extract `WalkSubprogramPart` into a separate function. It walks the internal or module subprograms collecting their names. It is needed to handle separate module subprograms. Original-commit: flang-compiler/f18@339b65f2517cebc115eba4ce91c1d8b304802939 Reviewed-on: https://github.com/flang-compiler/f18/pull/218 Tree-same-pre-rewrite: false
2018-10-26 16:34:50 +02:00
resolve36.f90
[flang] Rework when symbol table expressions are evaluated It's not good enough to evaluate expressions in the symbol table after name resolution has completed. This is because we need the values of constant expressions for types, for example, we need to evaluate `k` in `integer(k) :: x` to know the type of `x`. So, eliminate `LazyExpr` and call `EvaluateExpr()` on expressions that we need in the symbol table. The latter evaluates and folds an expression in the current context. This is now possible because symbols are added to `parser::Name` as soon as possible rather than in a pass after name resolution. Along with `LazyExpr` we can eliminate the whole `ResolveSymbolExprs` pass that used to resolve them. In resolve-names.cc, many `Pre` functions are changed to `Post` so that names are resolved before doing the associated processing. For example, with intrinsic type specs, names in the kind expression must be resolved before attempting to evaluate that expression. In `GetSymbolType()` in type.cc, handle both `ObjectEntityDetails` and `EntityDetails` by using `Symbol::GetType()`. Add explicit declarations in label01.F90 because we can't handle implicitly typed array bounds yet. Original-commit: flang-compiler/f18@d67716640baeedca150205f9f3845ceb5d2f6402 Reviewed-on: https://github.com/flang-compiler/f18/pull/238
2018-12-06 15:59:37 +01:00
resolve37.f90
[flang] Add name resolution tests The Fortran source files in test/semantics all contain expected errors in comments. The script test_errors.sh compiles a file with 'f18 -fdebug-resolve-names -fparse-only' and compares the actual errors produced against the expected ones. The change to resolve15.f90 is necessary because test_errors.sh can't handle two expected errors for the same source line. A useful command to run these is 'ctest -R f90 --output-on-failure'. -R means only run tests with f90 in the name --output-on-failure prints the output of test_errors.sh when a test fails, showing the expected and actual messages that differ. Original-commit: flang-compiler/f18@df18ee7bc95628503b37648d98c5ae25bc74b227 Reviewed-on: https://github.com/flang-compiler/f18/pull/105
2018-06-15 23:54:34 +02:00
)
[flang] Support intent-stmt and resolve subprogram prefixes and suffixes. Recognize `IntentStmt` and use `HandleAttributeStmt()` to implement it as is done with other attribute statements. Add `Attr::INTENT_INOUT` as a separate attribute for `INTENT(INOUT)`. Collect attributes from the prefix and suffix of `FunctionStmt` and `SubroutineStmt` (including `BIND(C)`) and set them on the subprogram symbol. Create a test for this using `test_symbol.sh`. It compiles with `-funparse-with-symbols` and compares the output with the symbols in comments in the input. Change `test_errors.sh` to be similar to `test_symbol.sh`: check usage and allow `F18` environment variable to override the path to the compiler. Original-commit: flang-compiler/f18@384828a22f53d828a3140640ca89f5819ada394d Reviewed-on: https://github.com/flang-compiler/f18/pull/120 Tree-same-pre-rewrite: false
2018-07-12 02:45:13 +02:00
# These test files have expected symbols in the source
set(SYMBOL_TESTS
symbol01.f90
[flang] Implement host association and import statements Host association is done by search for symbols using `Scope::FindSymbol()` which looks for the the name in the parent scope if the import rules permit it. Import statements are implemented using `importKind_` and `importNames_` in class `Scope`. Most of the constraints are checked when the `ImportStmt` is encountered. `CheckImports()` is called at the end of the `SpecificationPart` to verify the names mentioned in the IMPORT statement. That has to happen then so that we can detect if an imported name is hidden by a declaration in the current scope. Original-commit: flang-compiler/f18@0d50c8a8ba12692e6246c4e1a8a098f2850aba3a Reviewed-on: https://github.com/flang-compiler/f18/pull/167 Tree-same-pre-rewrite: false
2018-08-23 01:05:06 +02:00
symbol02.f90
symbol03.f90
[flang] Add another host-associate test Verify that a derived type component does not hide a type of the same name in its host. Original-commit: flang-compiler/f18@212d84cb2f555ae77fae6b5724266ea894250bd1 Reviewed-on: https://github.com/flang-compiler/f18/pull/167 Tree-same-pre-rewrite: false
2018-08-23 16:41:06 +02:00
symbol04.f90
[flang] Add support for BLOCK construct A `BLOCK` statement opens a new scope. It is different from other scopes in that implicitly typed entities are defined in the enclosing non-block scope, not immediately in the block. This means that `IMPORT` statements can cause them to be hidden. Check that blocks can't have `IMPLICIT` statements in them. It is simpler for the parser not to deal with the different between a specification-part and a block-specification-part. Change `ImplicitRules` to have a parent that is consulted when there isn't an answer in the current one. For an interface body that does not happen but for all other nested scopes it does. This parent link eliminates the need for the `implicitRules_` stack. Make `isImplicitNoneType_` and `isImplicitNoneExternal_` optional: not set means look in parent. Fixes flang-compiler/f18#71. Remove `CurrNonTypeScope()` and put the logic in `Symbol::FindSymbol`. Original-commit: flang-compiler/f18@a153a2ee33ff493df6d4fb5e20d99d302d76ab43 Reviewed-on: https://github.com/flang-compiler/f18/pull/169 Tree-same-pre-rewrite: false
2018-08-27 20:48:49 +02:00
symbol05.f90
[flang] Fix problems with extended derived types When looking for a component name in a derived type, also look in the parent type. Before adding a component to a derived type, report an error if it already has one with that name. Check that components are accessible when they are accessed. Add the "parent component" to derived types (i.e. a component with the same name as the parent type). The symbol is marked with the `ParentComp` flag so we can avoid writing it to `.mod` files. Add calls to `add_occurrence()` so that those particular instances of `parser::Name` get their symbol set. Change `DeclareObjectEntity` and `DeclareProcEntity` to use `SourceName` as the name passed in rather than `parser::Name`. Fix some problems in `unparse-with-symbols.cc` on statements that both define and reference names. Fixes flang-compiler/f18#187. Original-commit: flang-compiler/f18@664b9627f2be6dc4212f6904e6f14ee642b473a8 Reviewed-on: https://github.com/flang-compiler/f18/pull/192 Tree-same-pre-rewrite: false
2018-09-20 23:08:59 +02:00
symbol06.f90
[flang] Recognize complex-part-designator The "%RE" or "%IM" is parsed as a structure-component. If the base has type COMPLEX and the component name is one of those, allow it without comment. Note that the `parser::Name` for these components don't get symbols filled in, so we still get a warning that they are unresolved. We have to figure out how to deal with names like this that we won't have symbols for. Fixes flang-compiler/f18#188. Original-commit: flang-compiler/f18@1d4a84fe3ce2062652e024064cc8efabc3a448bc Reviewed-on: https://github.com/flang-compiler/f18/pull/194 Tree-same-pre-rewrite: false
2018-09-24 16:12:38 +02:00
symbol07.f90
[flang] More miscellaneous name resolution Resolve the index name in a FORALL, DO, or DO CONCURRENT. Handle pointer-stmt. Add DeclareUnknownEntity() to declare an entity that is not yet know to be an object or procedure. This is used in the EntityDecl and PointerDecl cases. When an array element assignment is mistakenly parsed as a statement function, ensure the index names are resolved. Detect erroneous use-association with local name that matches the name of the containing subprogram. Cleanup: Eliminate GetVariableName() and CheckImplicitSymbol() in favor of using the Resolve* functions consistently. Add ResolveName() to do what CheckImplicitSymbol() used to do. Disable warnings about unresolved names for some categories of constructs that are not yet implemented: common blocks, namelist statements, etc. These will be turned back on when they are implemented. Original-commit: flang-compiler/f18@9a41bf37fd1f5ac3f1ec10f9e4f8945cb5ded1f5 Reviewed-on: https://github.com/flang-compiler/f18/pull/210
2018-10-11 01:20:46 +02:00
symbol08.f90
[flang] More name resolution for construct entities Push a new scope for constructs and statements that require one (DataStmt, DO CONCURRENT, ForallConstruct, ForallStmt -- there are more to do). Currently we use the Block kind of scope because there is no difference. Perhaps that kind should be renamed to Construct, though it does apply to statements as well as constructs. Add DeclareConstructEntity to create a construct or statement entity. When the type is not specified it can come from the type of a symbol in the enclosing scope with the same name. Change DeclareObjectEntity et al. to return the symbol declared, for the benefit of DeclareConstructEntity. Use DeclareConstructEntity for DO CONCURRENT index-name, LOCAL, and LOCAL_INIT variables and the data-i-do-variable in DataImpliedDo Names in SHARED locality spec need special handling: create a new kinds of symbol with HostAssocDetails to represent the host-association of the shared variables within the construct scope. That symbol gets the LocalityShared flag without affecting the symbol in the outer scope. HostAssoc symbols may be useful in other contexts, e.g. up-level references to local variables. Add parser::DoConstruct::IsDoConcurrent() because DO CONCURRENT loops introduce a construct scope while other DO loops do not. Move CanonicalizeDo to before name resolution so that name resolution doesn't have to deal with labeled DO CONCURRENT loops. Allow for type of index name to be specified in ConcurrentHeader. Resolve the derived type name in an AllocateStmt, StructureConstructor Original-commit: flang-compiler/f18@bc7b9891367f3174c9b5018ce5636a36a5a76c1c Reviewed-on: https://github.com/flang-compiler/f18/pull/214
2018-10-18 16:55:48 +02:00
symbol09.f90
[flang] Resolve names in ProcedureStmt and GenericStmt We need to save the names of specific procedures that appear in a ProcedureStmt or GenericStmt to resolve at the end of the specification section. They may be forward references to interface bodies. We were saving them in the GenericDetails but that was not the right place: we need to save the parser::Name so that we can eventually resolve it to a Symbol, but the symbol table should not contains references to Name because they go away with the parse tree. The fix is to save the mapping in a new multimap, specificProcs_ in InterfaceVisitor. We can reference parser::Names there and resolve them during ResolveSpecificsInGenerics(). We no longer need to clutter GenericDetails with data structures for unresolved names. Also handle the case where a specific procedure is use-associated from another module. Original-commit: flang-compiler/f18@c7f7b1e72da58a125fcc9ca6ea9cb23a8d4a1c6c Reviewed-on: https://github.com/flang-compiler/f18/pull/249 Tree-same-pre-rewrite: false
2018-12-18 16:59:40 +01:00
symbol10.f90
[flang] Support intent-stmt and resolve subprogram prefixes and suffixes. Recognize `IntentStmt` and use `HandleAttributeStmt()` to implement it as is done with other attribute statements. Add `Attr::INTENT_INOUT` as a separate attribute for `INTENT(INOUT)`. Collect attributes from the prefix and suffix of `FunctionStmt` and `SubroutineStmt` (including `BIND(C)`) and set them on the subprogram symbol. Create a test for this using `test_symbol.sh`. It compiles with `-funparse-with-symbols` and compares the output with the symbols in comments in the input. Change `test_errors.sh` to be similar to `test_symbol.sh`: check usage and allow `F18` environment variable to override the path to the compiler. Original-commit: flang-compiler/f18@384828a22f53d828a3140640ca89f5819ada394d Reviewed-on: https://github.com/flang-compiler/f18/pull/120 Tree-same-pre-rewrite: false
2018-07-12 02:45:13 +02:00
)
[flang] Add tests for .mod file writing The source files contain the expected contents of generated .mod files. `test_modfile.sh` compiles the source file and verifies that the correct .mod files are generated. Original-commit: flang-compiler/f18@a23f53c1a7d6f1dba157c1bc87ebc046d3b818e6 Reviewed-on: https://github.com/flang-compiler/f18/pull/126 Tree-same-pre-rewrite: false
2018-07-17 01:24:14 +02:00
# These test files have expected .mod file contents in the source
set(MODFILE_TESTS
modfile01.f90
modfile02.f90
modfile03.f90
[flang] Add a .mod file test with subprograms The .mod file just contains the API. Test that prefixes and suffixes on the declaration get correctly persisted. Original-commit: flang-compiler/f18@eb2a6deb4fe12bae83fc3cb2366d056cf50cc9a5 Reviewed-on: https://github.com/flang-compiler/f18/pull/126 Tree-same-pre-rewrite: false
2018-07-17 01:44:07 +02:00
modfile04.f90
[flang] Handle VOLATILE or ASYNCHRONOUS added to use-associated entity When a symbol is use-associated, the VOLATILE and ASYNCHRONOUS attributes can be added. When that happens it must be recorded in the .mod file. Original-commit: flang-compiler/f18@44fa9e5ba4172f75abe4194e7f58b26a99646cdc Reviewed-on: https://github.com/flang-compiler/f18/pull/126
2018-07-17 15:39:38 +02:00
modfile05.f90
[flang] Support writing interfaces in module files. Write symbols for external subprogram interfaces as interface-stmts. Those go in the decls part of the module file, as opposed to contained subprograms which go in the contains part. See modfile06.f90. Write symbols with GenericDetails to module files. The specific procedures of a generic interface are always written as procedure-stmts. If they also have specific interfaces those are written in a separate interface-stmt. See modfile07.f90. Fix a bug where `real, external :: f` was not written like `real f; external f`. We have to notice the EXTERNAL attribute on the type-declaration-stmt and convert the entity to a procedure entity. See modfile08.f90. Fix a bug where a use-associated symbol is referenced in a procedure-designator. We were not resolving that correctly. Change ModFileWriter::PutEntity to include the kind of Details when it reports an internal error due to a kind it can't handle. Make DetailsToString public to support that. Change test_errors.sh to fail if the f18 command exits due to a signal. We were missing bugs where the correct errors were written out but then module file writing crashed (due to failure to handle generics mentioned above). Non-zero exit status is okay because we are expecting compilation errors. Change test_modfile.sh to allow for the expected module file contents to be indented so the tests are easier to read. Original-commit: flang-compiler/f18@82a7931e51c63ba21f17261727e1e9dc4167dcc9 Reviewed-on: https://github.com/flang-compiler/f18/pull/132 Tree-same-pre-rewrite: false
2018-07-19 22:28:24 +02:00
modfile06.f90
modfile07.f90
modfile08.f90
[flang] Add support for submodules Symbols for submodules have `ModuleDetails` with `isSubmodule` set. Scopes for submodules have `Module` kind and have a parent scope that is also `Module` kind. Scopes for modules now contain a mapping of submodule name to scope so that we can find them without having to search the scope tree or re-read their `.mod` file. The module file for submodule `s` with ancestor module `m` is named `m-s.mod`. The tree structure of scopes means module file writing is now recursive. Similarly, reading the module file for a submodule may require reading the module files of its parent and ancestor. `ResolveNames` now requires the parent scope to be passed in -- it is not always the global scope. `test_modfiles.sh` now handles an argument that is a filename glob so that the test can involve multiple files. This allows `modfile09` to test reading of `.mod` files for modules and submodules. Original-commit: flang-compiler/f18@2e4424dbc8cc5803d561274dbf70005afe7e65dc Reviewed-on: https://github.com/flang-compiler/f18/pull/160 Tree-same-pre-rewrite: false
2018-08-03 01:21:27 +02:00
modfile09-*.f90
[flang] Resolve procedure bindings and final procedures in derived types Add new kinds of symbol details: ProcBindingDetails, FinalProcDetails. and GenericBindingDetails. The last is not yet implemented. Write them to the .mod file. Recognize DEFERRED and NON_OVERRIDABLE attributes. Enforce C783. Resolve CLASS(t) similarly to resolution of TYPE(t). Original-commit: flang-compiler/f18@0c0a9ab79eacd725900e4452ca352a46bec226a3 Reviewed-on: https://github.com/flang-compiler/f18/pull/173 Tree-same-pre-rewrite: false
2018-09-01 01:20:00 +02:00
modfile10.f90
[flang] Resolve derived type parameters Add TypeParamDetails for symbols that represent type parameters. Create such symbols when a type-param-def-stmt is encountered. At the end of the derived-type-def, check the parameters named in the type-param-name-list against those encountered in each type-param-def-stmt. Original-commit: flang-compiler/f18@c15247bb30311e7166429a34db510cb8c736bd66 Reviewed-on: https://github.com/flang-compiler/f18/pull/173 Tree-same-pre-rewrite: false
2018-09-04 19:28:27 +02:00
modfile11.f90
[flang] Resolve expressions in symbols Add `LazyExpr` class to represent expressions in the symbol table. Initially they contain a pointer to an expression in the parse tree. After name resolution is complete and symbols are filled in in the parse tree, `LazyExpr`s are resolved to `evaluate::Expr<evaluate::SomeType>`. This is done by `ResolveSymbolExprs()`. Change `Bound` and `ParamValue` to save their value as a `LazyExpr`. Change `ObjectEntityDetails` and `TypeParamDetails` to save the initial value as a `LazyExpr`. Eliminate `IntExpr` and `IntConst` classes, which were just place-holders. Add `Clone()` to `ShapeSpec`, `Bound`, `LazyExpr`. Normally they should be moved but in `ObjectEntityDetails::set_shape()` we need to make copies. Save type parameter values in `derivedTypeSpec_`. `typeParamValue_` is not needed. Write out initial values, type parameter values, and bounds to .mod files. Evaluate parameter values in expressions. Make some errors non-fatal so that tests can continue to pass. Original-commit: flang-compiler/f18@b90cadfc53c6e31c5f289eadc382bc3908811b86 Reviewed-on: https://github.com/flang-compiler/f18/pull/223 Tree-same-pre-rewrite: false
2018-11-07 02:18:06 +01:00
modfile12.f90
[flang] Add support for character type specs Recognize the various ways of specifying character lengths. Define CharacterTypeSpec with length and kind and store them in the current scope, as is done with DerivedTypeSpec (which can also have length parameters). Note: IntrinsicTypeSpec is no longer used for characters, so it should have a different name. Similarly, in DeclTypeSpec::Category, Intrinsic does not include Character. Original-commit: flang-compiler/f18@5f847851933b27dd30bd8165d16a7c390e787b9a Reviewed-on: https://github.com/flang-compiler/f18/pull/247 Tree-same-pre-rewrite: false
2018-12-14 23:04:15 +01:00
modfile13.f90
[flang] Add tests for .mod file writing The source files contain the expected contents of generated .mod files. `test_modfile.sh` compiles the source file and verifies that the correct .mod files are generated. Original-commit: flang-compiler/f18@a23f53c1a7d6f1dba157c1bc87ebc046d3b818e6 Reviewed-on: https://github.com/flang-compiler/f18/pull/126 Tree-same-pre-rewrite: false
2018-07-17 01:24:14 +02:00
)
[flang] Changes per the review comments. The majority of the changes are simply to rename identifiers to meet the project (not LLVM) coding standard. Includes a home brew of FileCheck for testing. Original-commit: flang-compiler/f18@bb15490cc02327773cb680597226346f02cd4dd0 Reviewed-on: https://github.com/flang-compiler/f18/pull/170 Tree-same-pre-rewrite: false
2018-08-31 19:26:19 +02:00
set(LABEL_TESTS
label*.[Ff]90
)
[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
set(DOCONCURRENT_TESTS
doconcurrent*.[Ff]90
)
[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
set(CANONDO_TESTS
canondo*.[Ff]90
)
[flang] Strengthen FORALL scoping check Original-commit: flang-compiler/f18@e57eb413145080cbd1d055d2a359493f7bcfc24f Reviewed-on: https://github.com/flang-compiler/f18/pull/243 Tree-same-pre-rewrite: false
2018-12-11 23:03:55 +01:00
set(FORALL_TESTS
forall*.[Ff]90
)
[flang] Support intent-stmt and resolve subprogram prefixes and suffixes. Recognize `IntentStmt` and use `HandleAttributeStmt()` to implement it as is done with other attribute statements. Add `Attr::INTENT_INOUT` as a separate attribute for `INTENT(INOUT)`. Collect attributes from the prefix and suffix of `FunctionStmt` and `SubroutineStmt` (including `BIND(C)`) and set them on the subprogram symbol. Create a test for this using `test_symbol.sh`. It compiles with `-funparse-with-symbols` and compares the output with the symbols in comments in the input. Change `test_errors.sh` to be similar to `test_symbol.sh`: check usage and allow `F18` environment variable to override the path to the compiler. Original-commit: flang-compiler/f18@384828a22f53d828a3140640ca89f5819ada394d Reviewed-on: https://github.com/flang-compiler/f18/pull/120 Tree-same-pre-rewrite: false
2018-07-12 02:45:13 +02:00
foreach(test ${ERROR_TESTS})
[flang] Add name resolution tests The Fortran source files in test/semantics all contain expected errors in comments. The script test_errors.sh compiles a file with 'f18 -fdebug-resolve-names -fparse-only' and compares the actual errors produced against the expected ones. The change to resolve15.f90 is necessary because test_errors.sh can't handle two expected errors for the same source line. A useful command to run these is 'ctest -R f90 --output-on-failure'. -R means only run tests with f90 in the name --output-on-failure prints the output of test_errors.sh when a test fails, showing the expected and actual messages that differ. Original-commit: flang-compiler/f18@df18ee7bc95628503b37648d98c5ae25bc74b227 Reviewed-on: https://github.com/flang-compiler/f18/pull/105
2018-06-15 23:54:34 +02:00
add_test(NAME ${test} COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/test_errors.sh ${test})
endforeach()
[flang] Support intent-stmt and resolve subprogram prefixes and suffixes. Recognize `IntentStmt` and use `HandleAttributeStmt()` to implement it as is done with other attribute statements. Add `Attr::INTENT_INOUT` as a separate attribute for `INTENT(INOUT)`. Collect attributes from the prefix and suffix of `FunctionStmt` and `SubroutineStmt` (including `BIND(C)`) and set them on the subprogram symbol. Create a test for this using `test_symbol.sh`. It compiles with `-funparse-with-symbols` and compares the output with the symbols in comments in the input. Change `test_errors.sh` to be similar to `test_symbol.sh`: check usage and allow `F18` environment variable to override the path to the compiler. Original-commit: flang-compiler/f18@384828a22f53d828a3140640ca89f5819ada394d Reviewed-on: https://github.com/flang-compiler/f18/pull/120 Tree-same-pre-rewrite: false
2018-07-12 02:45:13 +02:00
foreach(test ${SYMBOL_TESTS})
add_test(NAME ${test} COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/test_symbols.sh ${test})
endforeach()
[flang] Add tests for .mod file writing The source files contain the expected contents of generated .mod files. `test_modfile.sh` compiles the source file and verifies that the correct .mod files are generated. Original-commit: flang-compiler/f18@a23f53c1a7d6f1dba157c1bc87ebc046d3b818e6 Reviewed-on: https://github.com/flang-compiler/f18/pull/126 Tree-same-pre-rewrite: false
2018-07-17 01:24:14 +02:00
foreach(test ${MODFILE_TESTS})
add_test(NAME ${test} COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/test_modfile.sh ${test})
endforeach()
[flang] Changes per the review comments. The majority of the changes are simply to rename identifiers to meet the project (not LLVM) coding standard. Includes a home brew of FileCheck for testing. Original-commit: flang-compiler/f18@bb15490cc02327773cb680597226346f02cd4dd0 Reviewed-on: https://github.com/flang-compiler/f18/pull/170 Tree-same-pre-rewrite: false
2018-08-31 19:26:19 +02:00
foreach(test ${LABEL_TESTS})
add_test(NAME ${test} COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/test_any.sh ${test})
endforeach()
[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
foreach(test ${CANONDO_TESTS})
add_test(NAME ${test} COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/test_any.sh ${test})
endforeach()
[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
foreach(test ${DOCONCURRENT_TESTS})
add_test(NAME ${test} COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/test_any.sh ${test})
endforeach()
[flang] Strengthen FORALL scoping check Original-commit: flang-compiler/f18@e57eb413145080cbd1d055d2a359493f7bcfc24f Reviewed-on: https://github.com/flang-compiler/f18/pull/243 Tree-same-pre-rewrite: false
2018-12-11 23:03:55 +01:00
foreach(test ${FORALL_TESTS})
add_test(NAME ${test} COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/test_any.sh ${test})
endforeach()
Reference in a new issue Copy permalink