Changes

Summary

  1. [test] Improve weakref & weak_import tests (details)
  2. [CodeGen] Update transformations to use poison for shufflevector/insertelem's initial vector elem (details)
Commit b41b743d461168300ae0121937b50e334563d307 by i
[test] Improve weakref & weak_import tests
The file was modifiedclang/test/CodeGen/attr-weakref.c
The file was modifiedclang/test/CodeGen/attr-weakref2.c
The file was modifiedclang/test/CodeGen/attr-weak-import.c
Commit 9f2d9364b04c4d9651b1ec8612a3968b969fe71d by aqjune
[CodeGen] Update transformations to use poison for shufflevector/insertelem's initial vector elem

This patch is a part of D93817 and makes transformations in CodeGen use poison for shufflevector/insertelem's initial vector element.

The change in CodeGenPrepare.cpp is fine because the mask of shufflevector should be always zero.
It doesn't touch the second element (which is poison).

The change in InterleavedAccessPass.cpp is also fine becauses the mask is of the form <a, a+m, a+2m, .., a+km> where a+km is smaller than
the size of the first vector operand.
This is guaranteed by the caller of replaceBinOpShuffles, which is lowerInterleavedLoad.
It calls isDeInterleaveMask and isDeInterleaveMaskOfFactor to check the mask is the desirable form.
isDeInterleaveMask has the check that a+km is smaller than the vector size.
To check my understanding, I added an assertion & added a test to show that this optimization doesn't fire in such case.

Reviewed By: spatel

Differential Revision: https://reviews.llvm.org/D94056
The file was modifiedllvm/lib/CodeGen/InterleavedAccessPass.cpp
The file was modifiedllvm/test/Transforms/InterleavedAccess/X86/interleave-load-extract-shuffle-changes.ll
The file was modifiedllvm/lib/CodeGen/CodeGenPrepare.cpp