[flang-commits] [flang] aea27c3 - [flang] RESHAPE(PAD=) can be arbitrary array rank

[Peter Klausler via flang-commits]

Author: Peter Klausler
Date: 2022-01-12T17:30:27-08:00
New Revision: aea27c3100396ec82412ad5b0254448f3fb0406b

URL: https://github.com/llvm/llvm-project/commit/aea27c3100396ec82412ad5b0254448f3fb0406b
DIFF: https://github.com/llvm/llvm-project/commit/aea27c3100396ec82412ad5b0254448f3fb0406b.diff

LOG: [flang] RESHAPE(PAD=) can be arbitrary array rank

The "pad=" argument in the intrinsic function table entry for RESHAPE
has a Rank::Array constraint, and that would be fine if not for RESHAPE
already having an earlier argument that's Rank::Array.  It's the only
intrinsic that has multiple Rank::Array arguments.  The checking for
the Rank::Array constraint was enforcing that multiple occurrences
of it have the same rank in a call, and that's not appropriate.

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

Added: 
    

Modified: 
    flang/lib/Evaluate/intrinsics.cpp

Removed: 
    


################################################################################
diff  --git a/flang/lib/Evaluate/intrinsics.cpp b/flang/lib/Evaluate/intrinsics.cpp
index d647bdc3399d1..4dd0df1c9693e 100644
--- a/flang/lib/Evaluate/intrinsics.cpp
+++ b/flang/lib/Evaluate/intrinsics.cpp
@@ -1496,8 +1496,6 @@ std::optional<SpecificCall> IntrinsicInterface::Match(
         if (!arrayArg) {
           arrayArg = arg;
           arrayArgName = d.keyword;
-        } else {
-          argOk &= rank == arrayArg->Rank();
         }
         break;
       case Rank::coarray: