[patch] improvement of -show-annotations option

[llvmbot]

Bugzilla Link	8666
Version	trunk
OS	FreeBSD
Attachments	Patch file
Reporter	LLVM Bugzilla Contributor
CC	@lattner

Extended Description

This patch adds value type to value annotation

[lattner]

This is reasonable, but please don't use getDescription(). Instead, you should use the AssemblyWriter interfaces for printing types, which will make use of type names in the symbol table.