[PATCH] [Verifier] Assert gc_relocate always return a pointer type

[Sanjoy Das]

I think we should assert that the address spaces of the source and destination pointers match.  Also, please add a test case.


http://reviews.llvm.org/D9695

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/