Keno Fischer c41229c60a [Verifier] Check that debug values have proper size ... Summary: Teach the Verifier to make sure that the storage size given to llvm.dbg.declare or the value size given to llvm.dbg.value agree with what is declared in DebugInfo. This is implicitly assumed in a number of passes (e.g. in SROA). Additionally this catches a number of common mistakes, such as passing a pointer when a value was intended or vice versa. One complication comes from stack coloring which modifies the original IR when it merges allocas in order to make sure that if AA falls back to the IR it gets the correct result. However, given this new invariant, indiscriminately replacing one alloca by a different (differently sized one) is no longer valid. Fix this by just undefing out any use of the alloca in a dbg.declare in this case. Additionally, I had to fix a number of test cases. Of particular note: - I regenerated dbg-changes-codegen-branch-folding.ll from the given source as it was affected by the bug fixed in r256077 - two-cus-from-same-file.ll was changed to avoid having a variable-typed debug variable as that would depend on the target, even though this test is supposed to be generic - I had to manually declared size/align for reference type. See also the discussion for D14275/r253186. - fpstack-debuginstr-kill.ll required changing `double` to `long double` - most others were just a question of adding OP_deref Reviewers: aprantl Differential Revision: http://reviews.llvm.org/D14276 llvm-svn: 257105		2016-01-07 22:18:37 +00:00
..
AArch64	[Verifier] Check that debug values have proper size	2016-01-07 22:18:37 +00:00
ARM	Update DebugInfo tests for the change in DEBUG_VALUE output in r253338.	2015-11-17 16:15:11 +00:00
COFF	[X86] Add intrinsics for reading and writing to the flags register	2016-01-01 06:50:01 +00:00
Generic	[Verifier] Check that debug values have proper size	2016-01-07 22:18:37 +00:00
Inputs	Fix several accidental DOS line endings in source files	2016-01-03 17:22:03 +00:00
Mips	[Verifier] Check that debug values have proper size	2016-01-07 22:18:37 +00:00
MIR	Recommit LiveDebugValues pass after fixing a couple of minor issues.	2015-12-16 11:09:48 +00:00
PDB	s/NumFiles/NumStreams/	2015-10-15 01:39:00 +00:00
PowerPC	DI: Disallow uniquable DICompileUnits	2015-08-03 17:26:41 +00:00
Sparc	DI: Reverse direction of subprogram -> function edge.	2015-11-05 22:03:56 +00:00
SystemZ	DI: Reverse direction of subprogram -> function edge.	2015-11-05 22:03:56 +00:00
X86	[Verifier] Check that debug values have proper size	2016-01-07 22:18:37 +00:00
arm-relocs.test
debuglineinfo-macho.test	[DWARF] Fix a bug in line info handling	2015-05-31 23:37:04 +00:00
debuglineinfo.test	[DWARF] Fix a bug in line info handling	2015-05-31 23:37:04 +00:00
debugmacinfo.test	Fix several accidental DOS line endings in source files	2016-01-03 17:22:03 +00:00
dwarfdump-64-bit-dwarf.test	DebugInfo: .debug_line DWARF64 support	2015-05-28 15:38:17 +00:00
dwarfdump-accel.test	Fix a bunch of trivial cases of 'CHECK[^:]*$' in the tests. NFCI	2015-08-10 19:01:27 +00:00
dwarfdump-debug-frame-simple.test	[dwarfdump] Make debug_frame dump actually useful.	2015-02-25 21:30:22 +00:00
dwarfdump-debug-loc-simple.test
dwarfdump-dump-flags.test	[dwarfdump] Ignore scattered relocations for mach-o.	2015-07-31 20:22:50 +00:00
dwarfdump-dwp.test	dwarfdump: Correctly indentify the indicies for DWP records	2015-12-03 18:41:59 +00:00
dwarfdump-invalid.test	Make llvm-dwarfdump exit with non-zero exit code if error was occured.	2015-06-25 23:40:15 +00:00
dwarfdump-line-dwo.test
dwarfdump-macho-relocs.test	[dwarfdump] Do not apply relocations in mach-o files if there is no LoadedObjectInfo.	2015-08-23 04:44:21 +00:00
dwarfdump-macho-universal.test	Don't use test inputs from other directories.	2015-08-03 11:59:45 +00:00
dwarfdump-objc.test	[dwarfdump] Prettyprint DW_AT_APPLE_property_attribute bitfield values.	2014-10-10 15:51:10 +00:00
dwarfdump-pubnames.test
dwarfdump-ranges.test	[dwarfdump] Dump DW_AT_ranges values inline in the debug_info dump.	2014-10-23 04:08:34 +00:00
dwarfdump-type-units.test
dwarfdump-zlib.test	Kill symbolization functionality in llvm-dwarfdump. We have llvm-symbolizer for that.	2014-05-19 18:45:32 +00:00
dwo.ll	Add REQUIRES: default_triple to these testcases.	2015-09-24 00:35:14 +00:00
llvm-symbolizer-zlib.test	Kill symbolization functionality in llvm-dwarfdump. We have llvm-symbolizer for that.	2014-05-19 18:45:32 +00:00
llvm-symbolizer.test	Fix the test case for Windows.	2015-11-04 01:09:37 +00:00
member-pointers.o	Revert "Revert "DI: Fold constant arguments into a single MDString""	2014-10-03 20:01:09 +00:00
missing-abstract-variable.o	Revert "Revert "DI: Fold constant arguments into a single MDString""	2014-10-03 20:01:09 +00:00
skeletoncu.ll	[Hexagon] XFAILing test while diagnosing backend error.	2015-10-01 22:14:05 +00:00