[flang-commits] [flang] [Flang] Add parsing and attribute registration for SIMPLE specifier (PR #161285)

[Šárka Holendová via flang-commits]

mlir-maiden wrote:

> > Also, we should consider modifying `flang/lib/Evaluate/intrinsics.cpp` to add SIMPLE there. Or was this planned as a separate PR?
> 
> Let's do this as a separate PR. Please leave a TODO comment in that file mentioning this.
> 
> @mlir-maiden , could you please also modify SIMPLE section in this document with the status of current implementation:
> 
> https://github.com/llvm/llvm-project/blob/main/flang/docs/F202X.md
> 
> You don't have to remove any existing text there, but please add "current status" section so that people know that the works is being done and what may not be complete.
> 
> Besides the intrinsics, let's have semantic checks done as much as possible and add TODO for any obviously missing pieces.

Understood, Eugene. I added TODO in intrinsics.cpp and updated F202X.md with a "Current status" section.

For this PR, I covered the following support  and semantics for SIMPLE:
- Parsing and symbol attribute registration for SIMPLE procedures
- SIMPLE is represented in procedure characteristics
- SIMPLE procedures are accepted where PURE procedures are required
- PURE procedures do not satisfy SIMPLE requirements
- SIMPLE/IMPURE conflicts are diagnosed
- Use-associated SIMPLE procedures are recognized (DEREF/GetUltimate handling)
- Added tests for all of the above
I plan to handle intrinsic procedures being marked as SIMPLE in a follow-up PR.

https://github.com/llvm/llvm-project/pull/161285