RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
Code Issues Projects Releases Wiki Activity
7792892acf
llvm-mirror/test/DebugInfo/X86/inlined-formal-parameter.ll

76 lines
3.7 KiB
LLVM
Raw Normal View History

DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
; RUN: llc -filetype=obj -o %t.o %s
; RUN: llvm-dwarfdump -debug-dump=info %t.o | FileCheck %s
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
; Testcase generated using 'clang -g -O2 -S -emit-llvm' from the following:
DebugInfo: Fixup r235149 after IR change in r235145 This shouldn't have used varargs anyway; change the functions to be `void`. Also remove my accidentally-committed directory path. llvm-svn: 235152
2015-04-17 02:37:53 +02:00
;; void sink(void);
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
;; static __attribute__((always_inline)) void bar(int a) { sink(); }
DebugInfo: Fixup r235149 after IR change in r235145 This shouldn't have used varargs anyway; change the functions to be `void`. Also remove my accidentally-committed directory path. llvm-svn: 235152
2015-04-17 02:37:53 +02:00
;; void foo(void) {
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
;; bar(0);
;; bar(0);
DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
;; }
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
; Check that we have formal parameters for 'a' in both inlined subroutines.
; CHECK: DW_TAG_inlined_subroutine
; CHECK-NEXT: DW_AT_abstract_origin {{.*}} "bar"
; CHECK: DW_TAG_formal_parameter
; CHECK-NEXT: DW_AT_const_value
; CHECK-NEXT: DW_AT_abstract_origin {{.*}} "a"
DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
; CHECK: DW_TAG_inlined_subroutine
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
; CHECK-NEXT: DW_AT_abstract_origin {{.*}} "bar"
DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
; CHECK: DW_TAG_formal_parameter
; CHECK-NEXT: DW_AT_const_value
; CHECK-NEXT: DW_AT_abstract_origin {{.*}} "a"
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-darwin"
; Function Attrs: nounwind ssp uwtable
DI: Reverse direction of subprogram -> function edge. Previously, subprograms contained a metadata reference to the function they described. Because most clients need to get or set a subprogram for a given function rather than the other way around, this created unneeded inefficiency. For example, many passes needed to call the function llvm::makeSubprogramMap() to build a mapping from functions to subprograms, and the IR linker needed to fix up function references in a way that caused quadratic complexity in the IR linking phase of LTO. This change reverses the direction of the edge by storing the subprogram as function-level metadata and removing DISubprogram's function field. Since this is an IR change, a bitcode upgrade has been provided. Fixes PR23367. An upgrade script for textual IR for out-of-tree clients is attached to the PR. Differential Revision: http://reviews.llvm.org/D14265 llvm-svn: 252219
2015-11-05 23:03:56 +01:00
define void @foo() #0 !dbg !4 {
DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
entry:
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !12, metadata !17) #3, !dbg !18
DebugInfo: Fixup r235149 after IR change in r235145 This shouldn't have used varargs anyway; change the functions to be `void`. Also remove my accidentally-committed directory path. llvm-svn: 235152
2015-04-17 02:37:53 +02:00
tail call void @sink() #3, !dbg !20
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !12, metadata !17) #3, !dbg !21
DebugInfo: Fixup r235149 after IR change in r235145 This shouldn't have used varargs anyway; change the functions to be `void`. Also remove my accidentally-committed directory path. llvm-svn: 235152
2015-04-17 02:37:53 +02:00
tail call void @sink() #3, !dbg !23
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
ret void, !dbg !24
DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
}
DebugInfo: Fixup r235149 after IR change in r235145 This shouldn't have used varargs anyway; change the functions to be `void`. Also remove my accidentally-committed directory path. llvm-svn: 235152
2015-04-17 02:37:53 +02:00
declare void @sink() #1
DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
; Function Attrs: nounwind readnone
declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #2
DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="core2" "unsafe-fp-math"="false" "use-soft-float"="false" }
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
attributes #1 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="core2" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #2 = { nounwind readnone }
attributes #3 = { nounwind }
DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
!llvm.dbg.cu = !{!0}
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
!llvm.module.flags = !{!13, !14, !15}
!llvm.ident = !{!16}
DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
DI: Disallow uniquable DICompileUnits Since r241097, `DIBuilder` has only created distinct `DICompileUnit`s. The backend is liable to start relying on that (if it hasn't already), so make uniquable `DICompileUnit`s illegal and automatically upgrade old bitcode. This is a nice cleanup, since we can remove an unnecessary `DenseSet` (and the associated uniquing info) from `LLVMContextImpl`. Almost all the testcases were updated with this script: git grep -e '= !DICompileUnit' -l -- test | grep -v test/Bitcode | xargs sed -i '' -e 's,= !DICompileUnit,= distinct !DICompileUnit,' I imagine something similar should work for out-of-tree testcases. llvm-svn: 243885
2015-08-03 19:26:41 +02:00
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 3.7.0 (trunk 235110) (llvm/trunk 235108)", isOptimized: true, runtimeVersion: 0, emissionKind: 1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !2, imports: !2)
IR: Give 'DI' prefix to debug info metadata Finish off PR23080 by renaming the debug info IR constructs from `MD*` to `DI*`. The last of the `DIDescriptor` classes were deleted in r235356, and the last of the related typedefs removed in r235413, so this has all baked for about a week. Note: If you have out-of-tree code (like a frontend), I recommend that you get everything compiling and tests passing with the *previous* commit before updating to this one. It'll be easier to keep track of what code is using the `DIDescriptor` hierarchy and what you've already updated, and I think you're extremely unlikely to insert bugs. YMMV of course. Back to *this* commit: I did this using the rename-md-di-nodes.sh upgrade script I've attached to PR23080 (both code and testcases) and filtered through clang-format-diff.py. I edited the tests for test/Assembler/invalid-generic-debug-node-*.ll by hand since the columns were off-by-three. It should work on your out-of-tree testcases (and code, if you've followed the advice in the previous paragraph). Some of the tests are in badly named files now (e.g., test/Assembler/invalid-mdcompositetype-missing-tag.ll should be 'dicompositetype'); I'll come back and move the files in a follow-up commit. llvm-svn: 236120
2015-04-29 18:38:44 +02:00
!1 = !DIFile(filename: "t.c", directory: "/path/to/dir")
DebugInfo: Fix UserValue::match() in LiveDebugVariables after r235050 r235050 dropped the inlined-at field from `MDLocalVariable`, deferring to the `!dbg` attachments. Fix `UserValue` to take the `!dbg` into account when differentiating between variables. llvm-svn: 235140
2015-04-17 00:27:54 +02:00
!2 = !{}
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
!3 = !{!4, !7}
DI: Reverse direction of subprogram -> function edge. Previously, subprograms contained a metadata reference to the function they described. Because most clients need to get or set a subprogram for a given function rather than the other way around, this created unneeded inefficiency. For example, many passes needed to call the function llvm::makeSubprogramMap() to build a mapping from functions to subprograms, and the IR linker needed to fix up function references in a way that caused quadratic complexity in the IR linking phase of LTO. This change reverses the direction of the edge by storing the subprogram as function-level metadata and removing DISubprogram's function field. Since this is an IR change, a bitcode upgrade has been provided. Fixes PR23367. An upgrade script for textual IR for out-of-tree clients is attached to the PR. Differential Revision: http://reviews.llvm.org/D14265 llvm-svn: 252219
2015-11-05 23:03:56 +01:00
!4 = distinct !DISubprogram(name: "foo", scope: !1, file: !1, line: 3, type: !5, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, variables: !2)
IR: Give 'DI' prefix to debug info metadata Finish off PR23080 by renaming the debug info IR constructs from `MD*` to `DI*`. The last of the `DIDescriptor` classes were deleted in r235356, and the last of the related typedefs removed in r235413, so this has all baked for about a week. Note: If you have out-of-tree code (like a frontend), I recommend that you get everything compiling and tests passing with the *previous* commit before updating to this one. It'll be easier to keep track of what code is using the `DIDescriptor` hierarchy and what you've already updated, and I think you're extremely unlikely to insert bugs. YMMV of course. Back to *this* commit: I did this using the rename-md-di-nodes.sh upgrade script I've attached to PR23080 (both code and testcases) and filtered through clang-format-diff.py. I edited the tests for test/Assembler/invalid-generic-debug-node-*.ll by hand since the columns were off-by-three. It should work on your out-of-tree testcases (and code, if you've followed the advice in the previous paragraph). Some of the tests are in badly named files now (e.g., test/Assembler/invalid-mdcompositetype-missing-tag.ll should be 'dicompositetype'); I'll come back and move the files in a follow-up commit. llvm-svn: 236120
2015-04-29 18:38:44 +02:00
!5 = !DISubroutineType(types: !6)
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
!6 = !{null}
DI: Require subprogram definitions to be distinct As a follow-up to r246098, require `DISubprogram` definitions (`isDefinition: true`) to be 'distinct'. Specifically, add an assembler check, a verifier check, and bitcode upgrading logic to combat testcase bitrot after the `DIBuilder` change. While working on the testcases, I realized that test/Linker/subprogram-linkonce-weak-odr.ll isn't relevant anymore. Its purpose was to check for a corner case in PR22792 where two subprogram definitions match exactly and share the same metadata node. The new verifier check, requiring that subprogram definitions are 'distinct', precludes that possibility. I updated almost all the IR with the following script: git grep -l -E -e '= !DISubprogram\(.* isDefinition: true' | grep -v test/Bitcode | xargs sed -i '' -e 's/= \(!DISubprogram(.*, isDefinition: true\)/= distinct \1/' Likely some variant of would work for out-of-tree testcases. llvm-svn: 246327
2015-08-28 22:26:49 +02:00
!7 = distinct !DISubprogram(name: "bar", scope: !1, file: !1, line: 2, type: !8, isLocal: true, isDefinition: true, scopeLine: 2, flags: DIFlagPrototyped, isOptimized: true, variables: !11)
IR: Give 'DI' prefix to debug info metadata Finish off PR23080 by renaming the debug info IR constructs from `MD*` to `DI*`. The last of the `DIDescriptor` classes were deleted in r235356, and the last of the related typedefs removed in r235413, so this has all baked for about a week. Note: If you have out-of-tree code (like a frontend), I recommend that you get everything compiling and tests passing with the *previous* commit before updating to this one. It'll be easier to keep track of what code is using the `DIDescriptor` hierarchy and what you've already updated, and I think you're extremely unlikely to insert bugs. YMMV of course. Back to *this* commit: I did this using the rename-md-di-nodes.sh upgrade script I've attached to PR23080 (both code and testcases) and filtered through clang-format-diff.py. I edited the tests for test/Assembler/invalid-generic-debug-node-*.ll by hand since the columns were off-by-three. It should work on your out-of-tree testcases (and code, if you've followed the advice in the previous paragraph). Some of the tests are in badly named files now (e.g., test/Assembler/invalid-mdcompositetype-missing-tag.ll should be 'dicompositetype'); I'll come back and move the files in a follow-up commit. llvm-svn: 236120
2015-04-29 18:38:44 +02:00
!8 = !DISubroutineType(types: !9)
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
!9 = !{null, !10}
IR: Give 'DI' prefix to debug info metadata Finish off PR23080 by renaming the debug info IR constructs from `MD*` to `DI*`. The last of the `DIDescriptor` classes were deleted in r235356, and the last of the related typedefs removed in r235413, so this has all baked for about a week. Note: If you have out-of-tree code (like a frontend), I recommend that you get everything compiling and tests passing with the *previous* commit before updating to this one. It'll be easier to keep track of what code is using the `DIDescriptor` hierarchy and what you've already updated, and I think you're extremely unlikely to insert bugs. YMMV of course. Back to *this* commit: I did this using the rename-md-di-nodes.sh upgrade script I've attached to PR23080 (both code and testcases) and filtered through clang-format-diff.py. I edited the tests for test/Assembler/invalid-generic-debug-node-*.ll by hand since the columns were off-by-three. It should work on your out-of-tree testcases (and code, if you've followed the advice in the previous paragraph). Some of the tests are in badly named files now (e.g., test/Assembler/invalid-mdcompositetype-missing-tag.ll should be 'dicompositetype'); I'll come back and move the files in a follow-up commit. llvm-svn: 236120
2015-04-29 18:38:44 +02:00
!10 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
!11 = !{!12}
DI: Remove DW_TAG_arg_variable and DW_TAG_auto_variable Remove the fake `DW_TAG_auto_variable` and `DW_TAG_arg_variable` tags, using `DW_TAG_variable` in their place Stop exposing the `tag:` field at all in the assembly format for `DILocalVariable`. Most of the testcase updates were generated by the following sed script: find test/ -name "*.ll" -o -name "*.mir" | xargs grep -l 'DILocalVariable' | xargs sed -i '' \ -e 's/tag: DW_TAG_arg_variable, //' \ -e 's/tag: DW_TAG_auto_variable, //' There were only a handful of tests in `test/Assembly` that I needed to update by hand. (Note: a follow-up could change `DILocalVariable::DILocalVariable()` to set the tag to `DW_TAG_formal_parameter` instead of `DW_TAG_variable` (as appropriate), instead of having that logic magically in the backend in `DbgVariable`. I've added a FIXME to that effect.) llvm-svn: 243774
2015-07-31 20:58:39 +02:00
!12 = !DILocalVariable(name: "a", arg: 1, scope: !7, file: !1, line: 2, type: !10)
DebugInfo: Simplify testcase from LiveDebugVariables fix in r235140 This testcase is less brittle and exactly tests for the misbehaviour. Thanks to David Blaikie for the suggestion. llvm-svn: 235149
2015-04-17 02:18:46 +02:00
!13 = !{i32 2, !"Dwarf Version", i32 2}
!14 = !{i32 2, !"Debug Info Version", i32 3}
!15 = !{i32 1, !"PIC Level", i32 2}
!16 = !{!"clang version 3.7.0 (trunk 235110) (llvm/trunk 235108)"}
IR: Give 'DI' prefix to debug info metadata Finish off PR23080 by renaming the debug info IR constructs from `MD*` to `DI*`. The last of the `DIDescriptor` classes were deleted in r235356, and the last of the related typedefs removed in r235413, so this has all baked for about a week. Note: If you have out-of-tree code (like a frontend), I recommend that you get everything compiling and tests passing with the *previous* commit before updating to this one. It'll be easier to keep track of what code is using the `DIDescriptor` hierarchy and what you've already updated, and I think you're extremely unlikely to insert bugs. YMMV of course. Back to *this* commit: I did this using the rename-md-di-nodes.sh upgrade script I've attached to PR23080 (both code and testcases) and filtered through clang-format-diff.py. I edited the tests for test/Assembler/invalid-generic-debug-node-*.ll by hand since the columns were off-by-three. It should work on your out-of-tree testcases (and code, if you've followed the advice in the previous paragraph). Some of the tests are in badly named files now (e.g., test/Assembler/invalid-mdcompositetype-missing-tag.ll should be 'dicompositetype'); I'll come back and move the files in a follow-up commit. llvm-svn: 236120
2015-04-29 18:38:44 +02:00
!17 = !DIExpression()
!18 = !DILocation(line: 2, column: 52, scope: !7, inlinedAt: !19)
!19 = distinct !DILocation(line: 4, column: 3, scope: !4)
!20 = !DILocation(line: 2, column: 57, scope: !7, inlinedAt: !19)
!21 = !DILocation(line: 2, column: 52, scope: !7, inlinedAt: !22)
!22 = distinct !DILocation(line: 5, column: 3, scope: !4)
!23 = !DILocation(line: 2, column: 57, scope: !7, inlinedAt: !22)
!24 = !DILocation(line: 6, column: 1, scope: !4)
Reference in New Issue Copy Permalink