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

Pete Steinfeld via All-commits all-commits at lists.llvm.org
Mon Jun 28 11:15:27 PDT 2021


  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




More information about the All-commits mailing list