Replace "CHECK-NOT: #{{.*}}" with same-line positive checks. NFC.
authorRyan Prichard <rprichard@google.com>
Fri, 6 Aug 2021 04:55:23 +0000 (21:55 -0700)
committerRyan Prichard <rprichard@google.com>
Fri, 6 Aug 2021 04:55:23 +0000 (21:55 -0700)
commitdaab81cda18a1e33aa8973ee34589960b4382f25
treea4aa14687bdb5a834dfb07e0ca46e571cf2c281b
parent7ece20505f12b92d63aa6de0c92d41ac25ab8820
Replace "CHECK-NOT: #{{.*}}" with same-line positive checks. NFC.

The intent of the negative #{{.*}} checks is to verify that the line
declaring/defining a function has no attribute, but they could restrict
later function declarations instead.

The 2008-09-02-FunctionNotes.ll check had allowed @fn3 to have an
attribute, because there is only a single "define void @fn3()" in the
output.

Reviewed By: MaskRay

Differential Revision: https://reviews.llvm.org/D107614
llvm/test/Assembler/2008-09-02-FunctionNotes.ll
llvm/test/Transforms/InferFunctionAttrs/annotate.ll