[all-commits] [llvm/llvm-project] aea27c: [flang] RESHAPE(PAD=) can be arbitrary array rank

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aea27c3100396ec82412ad5b0254448f3fb0406b
      https://github.com/llvm/llvm-project/commit/aea27c3100396ec82412ad5b0254448f3fb0406b
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-01-12 (Wed, 12 Jan 2022)

  Changed paths:
    M flang/lib/Evaluate/intrinsics.cpp

  Log Message:
  -----------
  [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