[llvm] [Verifier] Require that dbg.declare variable is a ptr (PR #134355)

[Stephen Tozer via llvm-commits]

================
@@ -55,8 +55,9 @@ end:                                        ; preds = %body
 
 define i64 @simulateWithDbgDeclare(<2 x i32> %a) local_unnamed_addr  {
 entry:
+  %ptr = alloca i32
----------------
SLTozer wrote:

Yeah, I'm not convinced there are any solid answers - the test is to check that "nothing bad happens" because of the presence of a dbg.declare, rather than checking for a specific defect, so it's not clear what properties would need to be maintained to keep the test valid. If there aren't any obvious solutions, I'm fine with the latest revision.

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