[all-commits] [llvm/llvm-project] 23ac16: FileCheck [10/12]: Add support for signed numeric ...

[RoboTux via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 23ac16cf9bd4cc0bb434efcf6385baf083a2ff7b
      https://github.com/llvm/llvm-project/commit/23ac16cf9bd4cc0bb434efcf6385baf083a2ff7b
  Author: Thomas Preud'homme <thomasp at graphcore.ai>
  Date:   2020-05-28 (Thu, 28 May 2020)

  Changed paths:
    M llvm/docs/CommandGuide/FileCheck.rst
    M llvm/lib/Support/FileCheck.cpp
    M llvm/lib/Support/FileCheckImpl.h
    M llvm/test/FileCheck/numeric-expression.txt
    M llvm/unittests/Support/FileCheckTest.cpp

  Log Message:
  -----------
  FileCheck [10/12]: Add support for signed numeric values

Summary:
This patch is part of a patch series to add support for FileCheck
numeric expressions. This specific patch adds support signed numeric
values, thus allowing negative numeric values.

As such, the patch adds a new class to represent a signed or unsigned
value and add the logic for type promotion and type conversion in
numeric expression mixing signed and unsigned values. It also adds
the %d format specifier to represent signed value.

Finally, it also adds underflow and overflow detection when performing a
binary operation.

Copyright:
    - Linaro (changes up to diff 183612 of revision D55940)
    - GraphCore (changes in later versions of revision D55940 and
                 in new revision created off D55940)

Reviewers: jhenderson, chandlerc, jdenny, probinson, grimar, arichardson

Reviewed By: jhenderson, arichardson

Subscribers: MaskRay, hiraditya, llvm-commits, probinson, dblaikie, grimar, arichardson, kristina, hfinkel, rogfer01, JonChesterfield

Tags: #llvm

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