Verkfy llvm.experimental.memset.pattern pattern arg is integral number of bytes

Author: asb

llvm/lib/IR/Verifier.cpp

@@ -5519,8 +5519,12 @@ void Verifier::visitIntrinsicCall(Intrinsic::ID ID, CallBase &Call) {
   case Intrinsic::memcpy_inline:
   case Intrinsic::memmove:
   case Intrinsic::memset:
-  case Intrinsic::memset_inline:
+  case Intrinsic::memset_inline: {
+    break;
+  }
   case Intrinsic::experimental_memset_pattern: {
+    Check(Call.getOperand(1)->getType()->getScalarSizeInBits() % 8 == 0,
+          "pattern type must be an integral number of bytes", Call);
     break;
   }
   case Intrinsic::memcpy_element_unordered_atomic:

llvm/test/Verifier/memset-pattern.ll renamed to llvm/test/Verifier/memset-pattern-align.ll

@@ -0,0 +1,9 @@
+; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s
+
+; CHECK: pattern type must be an integral number of bytes
+
+define void @foo(ptr %P, i31 %value) {
+  call void @llvm.experimental.memset.pattern.p0.i31.i32(ptr align 4 %P, i31 %value, i32 4, i1 false)
+  ret void
+}
+declare void @llvm.experimental.memset.pattern.p0.i31.i32(ptr nocapture, i31, i32, i1) nounwind