[all-commits] [llvm/llvm-project] 0726cb: [FileCheck, 3/4] Allow AP value for numeric expres...

[RoboTux via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0726cb00471850ead0835e5d3806c7aef5bb0b21
      https://github.com/llvm/llvm-project/commit/0726cb00471850ead0835e5d3806c7aef5bb0b21
  Author: Thomas Preud'homme <thomas.preudhomme at arm.com>
  Date:   2023-08-07 (Mon, 07 Aug 2023)

  Changed paths:
    M llvm/lib/FileCheck/FileCheck.cpp
    M llvm/lib/FileCheck/FileCheckImpl.h
    R llvm/test/FileCheck/match-time-error-propagation/invalid-excluded-pattern.txt
    R llvm/test/FileCheck/match-time-error-propagation/invalid-expected-pattern.txt
    R llvm/test/FileCheck/match-time-error-propagation/matched-excluded-pattern.txt
    R llvm/test/FileCheck/match-time-error-propagation/matched-expected-pattern.txt
    M llvm/test/FileCheck/numeric-expression.txt
    M llvm/unittests/FileCheck/FileCheckTest.cpp

  Log Message:
  -----------
  [FileCheck, 3/4] Allow AP value for numeric expressions

Use APInt to represent numeric variables and expressions, therefore
removing overflow concerns. Only remains underflow when the format of an
expression is unsigned (incl. hex values) but the result is negative.
Note that this can only happen when substituting an expression, not when
capturing since the regex used to capture unsigned value will not include
minus sign, hence all the code removal for match propagation testing.
This is what this patch implement.

Reviewed By: arichardson

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