[flang-commits] [PATCH] D140152: [flang] Check constant arguments to bit manipulation intrinsics even if not foldable

Peter Klausler via Phabricator via flang-commits flang-commits at lists.llvm.org
Thu Dec 15 12:17:13 PST 2022


klausler created this revision.
klausler added a reviewer: jeanPerier.
klausler added a project: Flang.
Herald added a subscriber: jdoerfert.
Herald added a project: All.
klausler requested review of this revision.

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.


https://reviews.llvm.org/D140152

Files:
  flang/lib/Evaluate/fold-integer.cpp
  flang/lib/Evaluate/intrinsics.cpp
  flang/test/Evaluate/fold-ishftc.f90
  flang/test/Semantics/ishftc.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D140152.483295.patch
Type: text/x-patch
Size: 17830 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/flang-commits/attachments/20221215/2070d60a/attachment-0001.bin>


More information about the flang-commits mailing list