fact-gen: occasional crash with invalid acces to shufflevector mask

For whatever reason, sometimes the shufflevector mask isn't available through operand #2 🤷
GaloisInc · May 15, 2023 · b182252 · b182252
1 parent 1a64af9
commit b182252
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/FactGenerator/src/InstructionVisitor.cpp b/FactGenerator/src/InstructionVisitor.cpp
@@ -684,7 +684,12 @@ void InstructionVisitor::visitShuffleVectorInst(
   writeInstrOperand(pred::shufflevector::first_vector, iref, SVI.getOperand(0));
   writeInstrOperand(
       pred::shufflevector::second_vector, iref, SVI.getOperand(1));
-  writeInstrOperand(pred::shufflevector::mask, iref, SVI.getOperand(2));
+#if LLVM_VERSION_MAJOR > 10
+  const llvm::Constant *mask = SVI.getShuffleMaskForBitcode();
+#else
+  const llvm::Constant *mask = SVI.getMask();
+#endif
+  writeInstrOperand(pred::shufflevector::mask, iref, mask);
 }
 
 void InstructionVisitor::visitUnaryInstruction(