[PATCH] D139006: [UpdateTestChecks] Match define for labels

Sebastian Neubauer via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Dec 1 02:07:18 PST 2022


sebastian-ne added inline comments.


================
Comment at: llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/define_after_call.ll.expected:14
+define i32 @b(i32 %arg) {
+; CHECK-LABEL: define {{[^@]+}}@b(
+; CHECK-NEXT:    ret i32 [[ARG:%.*]]
----------------
arichardson wrote:
> Does this actually fail without the define match? I wouldn't expect it to?
Yes, it fails (which is why I put the opt | FileCheck line into the .test script as well).
`CHECK-LABEL: @b(` matches the `call i32 @b(i32 0)` line and and as labels are matched before check-lines, then the `CHECK-NEXT: [[VAL:%.*]] = call i32 @b(i32 0)` line doesn’t find its match anymore (or the ret i32 match, I’m not quite sure, but it definitely fails).


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D139006/new/

https://reviews.llvm.org/D139006



More information about the cfe-commits mailing list