mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
9b42ff11c0
Report an error in -check-debugify when the size of a dbg.value operand doesn't match up with the size of the variable it describes. Eventually this check should be moved into the IR verifier. For the moment, it's useful to include the check in -check-debugify as a means of catching regressions and finding existing bugs. Here are some instances of bugs the new check finds in the -O2 pipeline (all in InstCombine): 1) A float is used where a double is expected: ERROR: dbg.value operand has size 32, but its variable has size 64: call void @llvm.dbg.value(metadata float %expf, metadata !12, metadata !DIExpression()), !dbg !15 2) An i8 is used where an i32 is expected: ERROR: dbg.value operand has size 8, but its variable has size 32: call void @llvm.dbg.value(metadata i8 %t4, metadata !14, metadata !DIExpression()), !dbg !24 3) A <4 x i32> is used where something twice as large is expected (perhaps a <4 x i64>, I haven't double-checked): ERROR: dbg.value operand has size 128, but its variable has size 256: call void @llvm.dbg.value(metadata <4 x i32> %4, metadata !40, metadata !DIExpression()), !dbg !95 Differential Revision: https://reviews.llvm.org/D48408 llvm-svn: 335682 |
||
|---|---|---|
| .. | ||
| AArch64 | ||
| AMDGPU | ||
| ARM | ||
| COFF | ||
| Generic | ||
| Inputs | ||
| Lanai | ||
| Mips | ||
| MIR | ||
| MSP430 | ||
| NVPTX | ||
| PDB | ||
| PowerPC | ||
| Sparc | ||
| SystemZ | ||
| WebAssembly | ||
| X86 | ||
| arm-relocs.test | ||
| check-debugify-preserves-analyses.ll | ||
| cross-cu-scope.ll | ||
| debugify-bogus-dbg-value.ll | ||
| debugify-each.ll | ||
| debugify.ll | ||
| debuglineinfo-macho.test | ||
| debuglineinfo-path.ll | ||
| debuglineinfo.test | ||
| debugmacinfo.test | ||
| dwarfdump-64-bit-dwarf.test | ||
| dwarfdump-accel.test | ||
| dwarfdump-debug-frame-simple.test | ||
| dwarfdump-decompression-corrupt.test | ||
| dwarfdump-decompression-error.test | ||
| dwarfdump-dump-flags.test | ||
| dwarfdump-dump-gdbindex.test | ||
| dwarfdump-dwp.test | ||
| dwarfdump-implicit-const.test | ||
| dwarfdump-invalid-line-table.test | ||
| dwarfdump-invalid.test | ||
| dwarfdump-macho-relocs.test | ||
| dwarfdump-macho-universal.test | ||
| dwarfdump-objc.test | ||
| dwarfdump-pubnames.test | ||
| dwarfdump-ranges.test | ||
| dwarfdump-type-units.test | ||
| dwarfdump-zlib.test | ||
| dwo.ll | ||
| invalid-relocations.test | ||
| llvm-symbolizer-split-dwarf-empty.test | ||
| llvm-symbolizer-split-dwarf-no-skel-address.test | ||
| llvm-symbolizer-zlib.test | ||
| llvm-symbolizer.test | ||
| macro_link.ll | ||
| member-pointers.o | ||
| missing-abstract-variable.o | ||
| omit-empty.ll | ||
| pr34186.ll | ||
| pr34672.ll | ||
| precomp.test | ||
| skeletoncu.ll | ||
| strip-DIGlobalVariable.ll | ||
| strip-loop-metadata.ll | ||
| strip-module-flags.ll | ||
| typeunit-header.test | ||
| unrolled-loop-remainder.ll | ||