caio/clang-p2996
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[GlobalISel] Document minimum legality requirements for G_IMPLICIT_DEF. (#117609)

Browse Source 
The reason for this change is to clarify an existing technical
restriction of LLVM: there needs to be a way to implicitly define a type
if there is any way to legally define that type by another means.
This commit is contained in:
Amara Emerson
2024-12-09 22:10:13 -08:00
committed by GitHub
parent ca88a0e6f2
commit a4c7c66098
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
llvm/docs/GlobalISel/Legalizer.rst
View File

@@ -338,8 +338,8 @@ G_BUILD_VECTOR_TRUNC, G_CONCAT_VECTORS, G_UNMERGE_VALUES, G_PTRTOINT, and
G_INTTOPTR have already been noted above. In addition to those, the following
operations have requirements:
* At least one G_IMPLICIT_DEF must be legal. This is usually trivial as it
requires no code to be selected.
* For every type that can be produced by any instruction, G_IMPLICIT_DEF must be
legal.
* G_PHI must be legal for all types in the producer and consumer typesets. This
is usually trivial as it requires no code to be selected.
* At least one G_FRAME_INDEX must be legal