Mercurial > hg > CbC > CbC_llvm
comparison test/Transforms/AddDiscriminators/basic.ll @ 77:54457678186b LLVM3.6
LLVM 3.6
| author | Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 08 Sep 2014 22:06:00 +0900 |
| parents | |
| children | 60c9769439b8 |
comparison
equal
deleted
inserted
replaced
| 34:e874dbf0ad9d | 77:54457678186b |
|---|---|
| 1 ; RUN: opt < %s -add-discriminators -S | FileCheck %s | |
| 2 | |
| 3 ; Basic DWARF discriminator test. All the instructions in block | |
| 4 ; 'if.then' should have a different discriminator value than | |
| 5 ; the conditional branch at the end of block 'entry'. | |
| 6 ; | |
| 7 ; Original code: | |
| 8 ; | |
| 9 ; void foo(int i) { | |
| 10 ; int x; | |
| 11 ; if (i < 10) x = i; | |
| 12 ; } | |
| 13 | |
| 14 define void @foo(i32 %i) #0 { | |
| 15 entry: | |
| 16 %i.addr = alloca i32, align 4 | |
| 17 %x = alloca i32, align 4 | |
| 18 store i32 %i, i32* %i.addr, align 4 | |
| 19 %0 = load i32* %i.addr, align 4, !dbg !10 | |
| 20 %cmp = icmp slt i32 %0, 10, !dbg !10 | |
| 21 br i1 %cmp, label %if.then, label %if.end, !dbg !10 | |
| 22 | |
| 23 if.then: ; preds = %entry | |
| 24 %1 = load i32* %i.addr, align 4, !dbg !10 | |
| 25 ; CHECK: %1 = load i32* %i.addr, align 4, !dbg !12 | |
| 26 | |
| 27 store i32 %1, i32* %x, align 4, !dbg !10 | |
| 28 ; CHECK: store i32 %1, i32* %x, align 4, !dbg !12 | |
| 29 | |
| 30 br label %if.end, !dbg !10 | |
| 31 ; CHECK: br label %if.end, !dbg !12 | |
| 32 | |
| 33 if.end: ; preds = %if.then, %entry | |
| 34 ret void, !dbg !12 | |
| 35 } | |
| 36 | |
| 37 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" } | |
| 38 | |
| 39 !llvm.dbg.cu = !{!0} | |
| 40 !llvm.module.flags = !{!7, !8} | |
| 41 !llvm.ident = !{!9} | |
| 42 | |
| 43 !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 ] [basic.c] [DW_LANG_C99] | |
| 44 !1 = metadata !{metadata !"basic.c", metadata !"."} | |
| 45 !2 = metadata !{} | |
| 46 !3 = metadata !{metadata !4} | |
| 47 !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] | |
| 48 !5 = metadata !{i32 786473, metadata !1} ; [ DW_TAG_file_type ] [basic.c] | |
| 49 !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 ] | |
| 50 !7 = metadata !{i32 2, metadata !"Dwarf Version", i32 4} | |
| 51 !8 = metadata !{i32 1, metadata !"Debug Info Version", i32 1} | |
| 52 !9 = metadata !{metadata !"clang version 3.5 "} | |
| 53 !10 = metadata !{i32 3, i32 0, metadata !11, null} | |
| 54 !11 = metadata !{i32 786443, metadata !1, metadata !4, i32 3, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [basic.c] | |
| 55 !12 = metadata !{i32 4, i32 0, metadata !4, null} | |
| 56 | |
| 57 ; CHECK: !12 = metadata !{i32 3, i32 0, metadata !13, null} | |
| 58 ; CHECK: !13 = metadata !{i32 786443, metadata !1, metadata !11, i32 1} ; [ DW_TAG_lexical_block ] [./basic.c] | |
| 59 ; CHECK: !14 = metadata !{i32 4, i32 0, metadata !4, null} |