[all-commits] [llvm/llvm-project] 57e53f: [flang] Fix conformability for intrinsic procedures

[Pete Steinfeld via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 57e53f013087d68305fe278aca0a92efc9b0e899
      https://github.com/llvm/llvm-project/commit/57e53f013087d68305fe278aca0a92efc9b0e899
  Author: Peter Steinfeld <psteinfeld at nvidia.com>
  Date:   2021-06-28 (Mon, 28 Jun 2021)

  Changed paths:
    M flang/lib/Evaluate/intrinsics.cpp
    A flang/test/Semantics/unpack.f90

  Log Message:
  -----------
  [flang] Fix conformability for intrinsic procedures

There are situations where the arguments of intrinsics must be
conformable, which is defined in section 3.36.  This means they must
have "the same shape, or one being an array and the other being scalar".
But the check we were actually making was that their ranks were the same.

This change fixes that and adds a test for the UNPACK intrinsic, where
the FIELD argument "shall be conformable with MASK".

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