[flang-commits] [PATCH] D125062: [flang] Fold intrinsic inquiry functions SAME_TYPE_AS() and EXTENDS_TYPE_OF()

[Peter Klausler via Phabricator via flang-commits]

klausler created this revision.
klausler added a reviewer: jeanPerier.
klausler added a project: Flang.
Herald added a subscriber: jdoerfert.
Herald added a reviewer: sscalpone.
Herald added a project: All.
klausler requested review of this revision.

When the result can be known at compilation time, fold it.
Success depends on whether the operands are polymorphic.
When neither one is polymorphic, the result is known and can
be either .TRUE. or .FALSE.; when either one is polymorphic,
a .FALSE. result still can be discerned.


https://reviews.llvm.org/D125062

Files:
  flang/include/flang/Evaluate/type.h
  flang/lib/Evaluate/fold-logical.cpp
  flang/lib/Evaluate/type.cpp
  flang/test/Evaluate/fold-type.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D125062.427500.patch
Type: text/x-patch
Size: 6273 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20220506/2fe97abd/attachment-0001.bin>