[all-commits] [llvm/llvm-project] 948969: [flang] Fold IS_CONTIGUOUS() to .FALSE. when it is...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 94896994386d2a6a9e7bc310de83ee1491f194ef
      https://github.com/llvm/llvm-project/commit/94896994386d2a6a9e7bc310de83ee1491f194ef
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-09-23 (Fri, 23 Sep 2022)

  Changed paths:
    M flang/include/flang/Evaluate/check-expression.h
    M flang/include/flang/Evaluate/variable.h
    M flang/lib/Evaluate/check-expression.cpp
    M flang/lib/Evaluate/fold-logical.cpp
    M flang/lib/Evaluate/variable.cpp
    M flang/test/Semantics/assign03.f90

  Log Message:
  -----------
  [flang] Fold IS_CONTIGUOUS() to .FALSE. when it is known to be

At present, IS_CONTIGUOUS() can only either fold to .TRUE. or
remain unknown.  The underlying analysis, however, is capable
of returning a tri-state result (true, false, or unknown).
Extend and expose it to folding so that IS_CONTIGUOUS() can
fold to .FALSE. as well as to .TRUE. when contiguity is
known.

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