test/Transforms/AddDiscriminators/first-only.ll

   1 ; RUN: opt < %s -add-discriminators -S | FileCheck %s
   2
   3 ; Test that the only instructions that receive a new discriminator in
   4 ; the block 'if.then' are those that share the same line number as
   5 ; the branch in 'entry'.
   6 ;
   7 ; Original code:
   8 ;
   9 ;       void foo(int i) {
  10 ;         int x, y;
  11 ;         if (i < 10) { x = i;
  12 ;             y = -i;
  13 ;         }
  14 ;       }
  15
  16 define void @foo(i32 %i) #0 {
  17 entry:
  18   %i.addr = alloca i32, align 4
  19   %x = alloca i32, align 4
  20   %y = alloca i32, align 4
  21   store i32 %i, i32* %i.addr, align 4
  22   %0 = load i32* %i.addr, align 4, !dbg !10
  23   %cmp = icmp slt i32 %0, 10, !dbg !10
  24   br i1 %cmp, label %if.then, label %if.end, !dbg !10
  25
  26 if.then:                                          ; preds = %entry
  27   %1 = load i32* %i.addr, align 4, !dbg !12
  28   store i32 %1, i32* %x, align 4, !dbg !12
  29
  30   %2 = load i32* %i.addr, align 4, !dbg !14
  31 ; CHECK:  %2 = load i32* %i.addr, align 4, !dbg !15
  32
  33   %sub = sub nsw i32 0, %2, !dbg !14
  34 ; CHECK:  %sub = sub nsw i32 0, %2, !dbg !15
  35
  36   store i32 %sub, i32* %y, align 4, !dbg !14
  37 ; CHECK:  store i32 %sub, i32* %y, align 4, !dbg !15
  38
  39   br label %if.end, !dbg !15
  40 ; CHECK:  br label %if.end, !dbg !16
  41
  42 if.end:                                           ; preds = %if.then, %entry
  43   ret void, !dbg !16
  44 ; CHECK:  ret void, !dbg !17
  45 }
  46
  47 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" }
  48
  49 !llvm.dbg.cu = !{!0}
  50 !llvm.module.flags = !{!7, !8}
  51 !llvm.ident = !{!9}
  52
  53 !0 = metadata !{i32 786449, metadata !1, i32 12, metadata !"clang version 3.5 (trunk 199750) (llvm/trunk 199751)", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !""} ; [ DW_TAG_compile_unit ] [first-only.c] [DW_LANG_C99]
  54 !1 = metadata !{metadata !"first-only.c", metadata !"."}
  55 !2 = metadata !{i32 0}
  56 !3 = metadata !{metadata !4}
  57 !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, void (i32)* @foo, null, null, metadata !2, i32 1} ; [ DW_TAG_subprogram ] [line 1] [def] [foo]
  58 !5 = metadata !{i32 786473, metadata !1}          ; [ DW_TAG_file_type ] [first-only.c]
  59 !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 ]
  60 !7 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
  61 !8 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
  62 !9 = metadata !{metadata !"clang version 3.5 (trunk 199750) (llvm/trunk 199751)"}
  63 !10 = metadata !{i32 3, i32 0, metadata !11, null}
  64
  65 !11 = metadata !{i32 786443, metadata !1, metadata !4, i32 3, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [first-only.c]
  66 ; CHECK: !11 = metadata !{i32 786443, metadata !1, metadata !4, i32 3, i32 0, i32 0}
  67
  68 !12 = metadata !{i32 3, i32 0, metadata !13, null}
  69
  70 !13 = metadata !{i32 786443, metadata !1, metadata !11, i32 3, i32 0, i32 1} ; [ DW_TAG_lexical_block ] [first-only.c]
  71 ; CHECK: !13 = metadata !{i32 786443, metadata !1, metadata !14, i32 1} ; [ DW_TAG_lexical_block ] [./first-only.c]
  72
  73 !14 = metadata !{i32 4, i32 0, metadata !13, null}
  74 ; CHECK: !14 = metadata !{i32 786443, metadata !1, metadata !11, i32 3, i32 0, i32 1}
  75
  76 !15 = metadata !{i32 5, i32 0, metadata !13, null}
  77 ; CHECK: !15 = metadata !{i32 4, i32 0, metadata !14, null}
  78
  79 !16 = metadata !{i32 6, i32 0, metadata !4, null}
  80 ; CHECK: !16 = metadata !{i32 5, i32 0, metadata !14, null}
  81 ; CHECK: !17 = metadata !{i32 6, i32 0, metadata !4, null}
  82