[PATCH] D50554: [ValueTracking] Accept vectors of pointer in GetUnderlyingObject utility

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added inline comments.


================
Comment at: unittests/Analysis/ValueTrackingTest.cpp:318-322
+  StringRef Assembly = "define <2 x i32*> @f() { "
+                       "  %a = alloca i64 "
+                       "  %b = bitcast i64* %a to <2 x i32*>"
+                       "  ret <2 x i32*> %b "
+                       "} ";
----------------
It looks like a bug this IR is accepted by the verifier at all. This is a bitcast between different sized objects


https://reviews.llvm.org/D50554