mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-20 19:42:54 +02:00
8da0c326fb
Somewhat unnoticed in the original implementation of discriminators, but it could cause instructions to end up in new, small, DW_TAG_lexical_blocks due to the use of DILexicalBlock to track discriminator changes. Instead, use DILexicalBlockFile which we already use to track file changes without introducing new scopes, so it works well to track discriminator changes in the same way. llvm-svn: 216239
64 lines
3.1 KiB
LLVM
64 lines
3.1 KiB
LLVM
; RUN: llc -mtriple=i386-unknown-unknown -mcpu=core2 %s -o %t -filetype=obj
|
|
; RUN: llvm-dwarfdump -debug-dump=line %t | FileCheck %s
|
|
;
|
|
; Generated from:
|
|
;
|
|
; int foo(int i) {
|
|
; if (i < 10) return i - 1;
|
|
; return 0;
|
|
; }
|
|
;
|
|
; Manually generated debug nodes !14 and !15 to incorporate an
|
|
; arbitrary discriminator with value 42.
|
|
|
|
define i32 @foo(i32 %i) #0 {
|
|
entry:
|
|
%retval = alloca i32, align 4
|
|
%i.addr = alloca i32, align 4
|
|
store i32 %i, i32* %i.addr, align 4
|
|
%0 = load i32* %i.addr, align 4, !dbg !10
|
|
%cmp = icmp slt i32 %0, 10, !dbg !10
|
|
br i1 %cmp, label %if.then, label %if.end, !dbg !10
|
|
|
|
if.then: ; preds = %entry
|
|
%1 = load i32* %i.addr, align 4, !dbg !14
|
|
%sub = sub nsw i32 %1, 1, !dbg !14
|
|
store i32 %sub, i32* %retval, !dbg !14
|
|
br label %return, !dbg !14
|
|
|
|
if.end: ; preds = %entry
|
|
store i32 0, i32* %retval, !dbg !12
|
|
br label %return, !dbg !12
|
|
|
|
return: ; preds = %if.end, %if.then
|
|
%2 = load i32* %retval, !dbg !13
|
|
ret i32 %2, !dbg !13
|
|
}
|
|
|
|
attributes #0 = { nounwind 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" "unsafe-fp-math"="false" "use-soft-float"="false" }
|
|
|
|
!llvm.dbg.cu = !{!0}
|
|
!llvm.module.flags = !{!7, !8}
|
|
!llvm.ident = !{!9}
|
|
|
|
!0 = metadata !{i32 786449, metadata !1, i32 12, metadata !"clang version 3.5 ", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !""} ; [ DW_TAG_compile_unit ] [./discriminator.c] [DW_LANG_C99]
|
|
!1 = metadata !{metadata !"discriminator.c", metadata !"."}
|
|
!2 = metadata !{}
|
|
!3 = metadata !{metadata !4}
|
|
!4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"foo", metadata !"foo", metadata !"", i32 1, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, i32 (i32)* @foo, null, null, metadata !2, i32 1} ; [ DW_TAG_subprogram ] [line 1] [def] [foo]
|
|
!5 = metadata !{i32 786473, metadata !1} ; [ DW_TAG_file_type ] [./discriminator.c]
|
|
!6 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !2, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
|
|
!7 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
|
|
!8 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
|
|
!9 = metadata !{metadata !"clang version 3.5 "}
|
|
!10 = metadata !{i32 2, i32 0, metadata !11, null}
|
|
!11 = metadata !{i32 786443, metadata !1, metadata !4, i32 2, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [./discriminator.c]
|
|
!12 = metadata !{i32 3, i32 0, metadata !4, null}
|
|
!13 = metadata !{i32 4, i32 0, metadata !4, null}
|
|
!14 = metadata !{i32 2, i32 0, metadata !15, null}
|
|
!15 = metadata !{i32 786443, metadata !1, metadata !4, i32 42} ; [ DW_TAG_lexical_block ] [./discriminator.c]
|
|
|
|
; CHECK: Address Line Column File ISA Discriminator Flags
|
|
; CHECK: ------------------ ------ ------ ------ --- ------------- -------------
|
|
; CHECK: 0x0000000000000011 2 0 1 0 42 is_stmt
|