[PATCH] D112349: [Verifier] Add verification logic for GlobalIFuncs
Erich Keane via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Nov 2 07:24:25 PDT 2021
erichkeane added a comment.
So I've noticed in my downstream that this fires in the cpu-dispatch.c codegen test, though it doesn't seem to catch it here? I'm not sure how this happens, but from your description, it SEEMS like this case https://godbolt.org/z/nejWhbsxa should cause this error.
That said, the cpuspecific/cpudispatch multiviersioning takes advantage of the resolver not being implemented (and being linked in later!) in order to implement some parts of it. So I'm not sure the 'resolver requires a definition' is a valid check?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D112349/new/
https://reviews.llvm.org/D112349
More information about the cfe-commits
mailing list