[llvm] [IR] Implementation and lowering of bitinsert and bitextract (PR #200605)

[Antonio Frighetto via llvm-commits]

================
@@ -4392,6 +4394,23 @@ void Verifier::visitShuffleVectorInst(ShuffleVectorInst &SV) {
   visitInstruction(SV);
 }
 
+void Verifier::visitBitInsertInst(BitInsertInst &IE) {
+  Check(BitInsertInst::isValidOperands(IE.getOperand(0), IE.getOperand(1),
+                                       IE.getOperand(2)),
+        "Invalid bitinsert operands!", &IE);
----------------
antoniofrighetto wrote:

Shouldn't we also check bitinsert value type not wider than base type (analogous check bitextract already has)?

https://github.com/llvm/llvm-project/pull/200605