diff options
| author | Duncan P. N. Exon Smith <dexonsmith@apple.com> | 2015-03-15 01:21:30 +0000 |
|---|---|---|
| committer | Duncan P. N. Exon Smith <dexonsmith@apple.com> | 2015-03-15 01:21:30 +0000 |
| commit | 166121ad0bd0c6adc83e0ff5e41bfd3d89500369 (patch) | |
| tree | ed0c6240ff3f5378e3a69fe61a6daffe58237a0c /llvm/test/Transforms/GCOVProfiling | |
| parent | ad80af8f191503fe33deecf8efc57ff2878aa3d1 (diff) | |
| download | bcm5719-llvm-166121ad0bd0c6adc83e0ff5e41bfd3d89500369.tar.gz bcm5719-llvm-166121ad0bd0c6adc83e0ff5e41bfd3d89500369.zip | |
Verifier: Check debug info intrinsic arguments
Verify that debug info intrinsic arguments are valid. (These checks
will not recurse through the full debug info graph, so they don't need
to be cordoned of in `DebugInfoVerifier`.)
With those checks in place, changing the `DbgIntrinsicInst` accessors to
downcast to `MDLocalVariable` and `MDExpression` is natural (added isa
specializations in `Metadata.h` to support this).
Added tests to `test/Verifier` for the new -verify checks, and fixed the
debug info in all the in-tree tests.
If you have out-of-tree testcases that have started to fail to -verify,
hopefully the verify checks are helpful. The most likely problem is
that the expression argument is `!{}` (instead of `!MDExpression()`).
llvm-svn: 232296
Diffstat (limited to 'llvm/test/Transforms/GCOVProfiling')
| -rw-r--r-- | llvm/test/Transforms/GCOVProfiling/linezero.ll | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/llvm/test/Transforms/GCOVProfiling/linezero.ll b/llvm/test/Transforms/GCOVProfiling/linezero.ll index 54c2c7c53a1..d56228255fb 100644 --- a/llvm/test/Transforms/GCOVProfiling/linezero.ll +++ b/llvm/test/Transforms/GCOVProfiling/linezero.ll @@ -18,17 +18,17 @@ entry: %__begin = alloca i8*, align 8 %__end = alloca i8*, align 8 %spec = alloca i8, align 1 - call void @llvm.dbg.declare(metadata %struct.vector** %__range, metadata !27, metadata !{}), !dbg !30 + call void @llvm.dbg.declare(metadata %struct.vector** %__range, metadata !27, metadata !MDExpression()), !dbg !30 br label %0 ; <label>:0 ; preds = %entry call void @_Z13TagFieldSpecsv(), !dbg !31 store %struct.vector* %ref.tmp, %struct.vector** %__range, align 8, !dbg !31 - call void @llvm.dbg.declare(metadata i8** %__begin, metadata !32, metadata !{}), !dbg !30 + call void @llvm.dbg.declare(metadata i8** %__begin, metadata !32, metadata !MDExpression()), !dbg !30 %1 = load %struct.vector*, %struct.vector** %__range, align 8, !dbg !31 %call = call i8* @_ZN6vector5beginEv(%struct.vector* %1), !dbg !31 store i8* %call, i8** %__begin, align 8, !dbg !31 - call void @llvm.dbg.declare(metadata i8** %__end, metadata !33, metadata !{}), !dbg !30 + call void @llvm.dbg.declare(metadata i8** %__end, metadata !33, metadata !MDExpression()), !dbg !30 %2 = load %struct.vector*, %struct.vector** %__range, align 8, !dbg !31 %call1 = call i8* @_ZN6vector3endEv(%struct.vector* %2), !dbg !31 store i8* %call1, i8** %__end, align 8, !dbg !31 @@ -41,7 +41,7 @@ for.cond: ; preds = %for.inc, %0 br i1 %cmp, label %for.body, label %for.end, !dbg !34 for.body: ; preds = %for.cond - call void @llvm.dbg.declare(metadata i8* %spec, metadata !37, metadata !{}), !dbg !31 + call void @llvm.dbg.declare(metadata i8* %spec, metadata !37, metadata !MDExpression()), !dbg !31 %5 = load i8*, i8** %__begin, align 8, !dbg !38 %6 = load i8, i8* %5, align 1, !dbg !38 store i8 %6, i8* %spec, align 1, !dbg !38 |
