peterwaller-arm accepted this revision.
peterwaller-arm added inline comments.
================
Comment at: llvm/test/CodeGen/AArch64/arm64-windows-calls.ll:117
+ ret %struct.Pod %x1
+; CHECK: ldp d0, d1, [x0]
+}
----------------
rnk wrote:
> peterwaller-arm wrote:
> > rnk wrote:
> > > Please use CHECK-LABEL directives to ensure that these assembly checks
> > > are from the function you intend to match.
> > @DavidTruby I think the intent here is:
> >
> > CHECK-LABEL: < something matching the first line of the function definition
> > >
> > CHECK: <thing to be checked>
> >
> > CHECK-LABEL: <next function>
> >
> > Such that if by some fluke some other function in the interim produces
> > <thing to be checked>, it won't be allowed to match something produced in
> > the subsequent function. This also renders the code safe against this
> > problem if functions are added or moved around. I suggest having a
> > CHECK-LABEL on each function heading, and the code within those functions
> > should be CHECK/CHECK-NEXT as appropriate.
> Yep. I think you could still go further by adding a trailing colon. FileCheck
> matches for substrings of a line, so as written, this could match "call
> copy_pod", which wouldn't be what you want. The risk of that in this test is
> low, but it's a good best practice.
To echo @rnk, ideally your CHECK-LABEL statements should match the function
header, and typically they're placed immediately above the function header,
since that's logically what they're matching. The existence of the CHECK-LABEL
primitive on every function header constrains the checks to only match within
their intended function between the 'bracket' of two CHECK-LABEL statements.
```
; CHECK-LABEL: define {{.*}}thing
void thing() {
; CHECK: some codegen in thing
// ... do codegen here.
}
```
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D92751/new/
https://reviews.llvm.org/D92751
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
