Make Verifier recognize undef tokens as correct IR
Undef tokens may appear in unreached code as result of RAUW of some optimization,
and it should not be considered as bad IR.
Link to bug: https://github.com/llvm/llvm-project/issues/56267
Differential D128904
Bug fix "GC relocate is incorrectly tied to the statepoint" dbakunevich on Jun 30 2022, 4:50 AM. Authored by
Details Make Verifier recognize undef tokens as correct IR Undef tokens may appear in unreached code as result of RAUW of some optimization, Link to bug: https://github.com/llvm/llvm-project/issues/56267
Diff Detail
Event TimelineComment Actions As part of this task, I could not use the isa<Type_1,Type_2>(Val) construct, because there was an error when building llvm. isa<Type1>(Val) || isa<Type_2>(Val) is often used. Therefore, I propose to solve the full transition problem with isa<>() || isa<>() to isa<,>() as a separate NFC patch Comment Actions Pls change patch description into smth more verbose, like Make Verifier recognize undef tokens as correct IR Undef tokens may appear in unreached code as result of RAUW of some optimization, and it should not be considered as bad IR. |