[all-commits] [llvm/llvm-project] 4244ca: [flang] Check constant arguments to bit manipulati...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4244cab23afcee5c3515d67d6d340cf82ce5289f
      https://github.com/llvm/llvm-project/commit/4244cab23afcee5c3515d67d6d340cf82ce5289f
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2022-12-17 (Sat, 17 Dec 2022)

  Changed paths:
    M flang/lib/Evaluate/fold-integer.cpp
    M flang/lib/Evaluate/intrinsics.cpp
    M flang/test/Evaluate/fold-ishftc.f90
    M flang/test/Semantics/ishftc.f90

  Log Message:
  -----------
  [flang] Check constant arguments to bit manipulation intrinsics even if not foldable

When some arguments that specify bit positions, shift counts, and field sizes are
constant at compilation time, but other arguments are not constant, the compiler
should still validate the constant ones.  In the current sources, validation is
only performed for intrinsic references that can be folded to constants.

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