David Blaikie | 06a3b92 | 2015-01-29 19:40:02 +0000 | [diff] [blame] | 1 | ; From source: |
| 2 | ; int f(int a, int b) { |
| 3 | ; return a // |
| 4 | ; && // |
| 5 | ; b; |
| 6 | ; } |
| 7 | |
| 8 | ; Check that the comparison of 'a' is attributed to line 2, not 3. |
| 9 | |
| 10 | ; CHECK: .loc{{ +}}1{{ +}}2 |
| 11 | ; CHECK-NOT: .loc{{ }} |
David Blaikie | 24adfbc | 2015-01-29 20:21:24 +0000 | [diff] [blame] | 12 | ; CHECK: cmp |
David Blaikie | 06a3b92 | 2015-01-29 19:40:02 +0000 | [diff] [blame] | 13 | |
| 14 | ; Function Attrs: nounwind uwtable |
Peter Collingbourne | d4bff30 | 2015-11-05 22:03:56 +0000 | [diff] [blame^] | 15 | define i32 @_Z1fii(i32 %a, i32 %b) #0 !dbg !4 { |
David Blaikie | 06a3b92 | 2015-01-29 19:40:02 +0000 | [diff] [blame] | 16 | entry: |
| 17 | %a.addr = alloca i32, align 4 |
| 18 | %b.addr = alloca i32, align 4 |
| 19 | store i32 %a, i32* %a.addr, align 4 |
| 20 | store i32 %b, i32* %b.addr, align 4 |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 21 | %0 = load i32, i32* %a.addr, align 4, !dbg !10 |
David Blaikie | 06a3b92 | 2015-01-29 19:40:02 +0000 | [diff] [blame] | 22 | %tobool = icmp ne i32 %0, 0, !dbg !10 |
| 23 | br i1 %tobool, label %land.rhs, label %land.end, !dbg !11 |
| 24 | |
| 25 | land.rhs: ; preds = %entry |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 26 | %1 = load i32, i32* %b.addr, align 4, !dbg !12 |
David Blaikie | 06a3b92 | 2015-01-29 19:40:02 +0000 | [diff] [blame] | 27 | %tobool1 = icmp ne i32 %1, 0, !dbg !12 |
| 28 | br label %land.end |
| 29 | |
| 30 | land.end: ; preds = %land.rhs, %entry |
| 31 | %2 = phi i1 [ false, %entry ], [ %tobool1, %land.rhs ] |
| 32 | %conv = zext i1 %2 to i32, !dbg !10 |
| 33 | ret i32 %conv, !dbg !13 |
| 34 | } |
| 35 | |
| 36 | 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" } |
| 37 | |
| 38 | !llvm.dbg.cu = !{!0} |
| 39 | !llvm.module.flags = !{!7, !8} |
| 40 | !llvm.ident = !{!9} |
| 41 | |
Duncan P. N. Exon Smith | 55ca964 | 2015-08-03 17:26:41 +0000 | [diff] [blame] | 42 | !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.7.0 (trunk 227472) (llvm/trunk 227476)", isOptimized: false, emissionKind: 2, file: !1, enums: !2, retainedTypes: !2, subprograms: !3, globals: !2, imports: !2) |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 43 | !1 = !DIFile(filename: "line.cpp", directory: "/tmp/dbginfo") |
David Blaikie | 06a3b92 | 2015-01-29 19:40:02 +0000 | [diff] [blame] | 44 | !2 = !{} |
| 45 | !3 = !{!4} |
Peter Collingbourne | d4bff30 | 2015-11-05 22:03:56 +0000 | [diff] [blame^] | 46 | !4 = distinct !DISubprogram(name: "f", line: 1, isLocal: false, isDefinition: true, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 1, file: !1, scope: !5, type: !6, variables: !2) |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 47 | !5 = !DIFile(filename: "line.cpp", directory: "/tmp/dbginfo") |
| 48 | !6 = !DISubroutineType(types: !2) |
David Blaikie | 06a3b92 | 2015-01-29 19:40:02 +0000 | [diff] [blame] | 49 | !7 = !{i32 2, !"Dwarf Version", i32 4} |
Duncan P. N. Exon Smith | e274180 | 2015-03-03 17:24:31 +0000 | [diff] [blame] | 50 | !8 = !{i32 2, !"Debug Info Version", i32 3} |
David Blaikie | 06a3b92 | 2015-01-29 19:40:02 +0000 | [diff] [blame] | 51 | !9 = !{!"clang version 3.7.0 (trunk 227472) (llvm/trunk 227476)"} |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 52 | !10 = !DILocation(line: 2, scope: !4) |
| 53 | !11 = !DILocation(line: 3, scope: !4) |
| 54 | !12 = !DILocation(line: 4, scope: !4) |
| 55 | !13 = !DILocation(line: 2, scope: !4) |