[Verifier] Enforce elementtype attr for inline asm indirect constraints

This enforces the LangRef change from D116531 in the Verifier, now
that clang and tests have been updated.

Author: nikic

llvm/lib/IR/Verifier.cpp

@@ -2162,7 +2162,9 @@ void Verifier::verifyInlineAsmCall(const CallBase &Call) {
              "Operand for indirect constraint must have pointer type",
              &Call);
 
-      // TODO: Require elementtype attribute here.
+      Assert(Call.getAttributes().getParamElementType(ArgNo),
+             "Operand for indirect constraint must have elementtype attribute",
+             &Call);
     } else {
       Assert(!Call.paramHasAttr(ArgNo, Attribute::ElementType),
              "Elementtype attribute can only be applied for indirect "

llvm/test/Verifier/inline-asm-indirect-operand.ll

@@ -26,6 +26,13 @@ define void @not_indirect(i32* %p, i32* %x) {
   ret void
 }
 
+; CHECK: Operand for indirect constraint must have elementtype attribute
+; CHECK-NEXT: call void asm "addl $1, $0", "=*rm,r"(i32* %p, i32 %x)
+define void @missing_elementtype(i32* %p, i32 %x) {
+	call void asm "addl $1, $0", "=*rm,r"(i32* %p, i32 %x)
+  ret void
+}
+
 ; CHECK: Operand for indirect constraint must have pointer type
 ; CHECK-NEXT: invoke void asm "addl $1, $0", "=*rm,r"(i32 %p, i32 %x)
 define void @not_pointer_arg_invoke(i32 %p, i32 %x) personality i8* null {