[all-commits] [llvm/llvm-project] 460fc7: [flang] Fold intrinsic inquiry functions SAME_TYPE...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 460fc79a080ba5733c30610cceb6ddced37afdd4
      https://github.com/llvm/llvm-project/commit/460fc79a080ba5733c30610cceb6ddced37afdd4
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-05-09 (Mon, 09 May 2022)

  Changed paths:
    M flang/include/flang/Evaluate/type.h
    M flang/lib/Evaluate/fold-logical.cpp
    M flang/lib/Evaluate/type.cpp
    A flang/test/Evaluate/fold-type.f90

  Log Message:
  -----------
  [flang] Fold intrinsic inquiry functions SAME_TYPE_AS() and EXTENDS_TYPE_OF()

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.

Differential Revision: https://reviews.llvm.org/D125062