Rafael Espindola | f204228 | 2013-07-25 17:16:05 +0000 | [diff] [blame] | 1 | ; RUN: llc -disable-debug-info-verifier -O0 -mtriple=arm-apple-darwin < %s | grep DW_OP_breg |
Devang Patel | c26f544 | 2011-04-28 02:22:40 +0000 | [diff] [blame] | 2 | ; Use DW_OP_breg in variable's location expression if the variable is in a stack slot. |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 3 | |
| 4 | %struct.SVal = type { i8*, i32 } |
| 5 | |
| 6 | define i32 @_Z3fooi4SVal(i32 %i, %struct.SVal* noalias %location) nounwind ssp { |
| 7 | entry: |
| 8 | %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] |
| 9 | call void @llvm.dbg.value(metadata !{i32 %i}, i64 0, metadata !23), !dbg !24 |
| 10 | call void @llvm.dbg.value(metadata !{%struct.SVal* %location}, i64 0, metadata !25), !dbg !24 |
| 11 | %0 = icmp ne i32 %i, 0, !dbg !27 ; <i1> [#uses=1] |
| 12 | br i1 %0, label %bb, label %bb1, !dbg !27 |
| 13 | |
| 14 | bb: ; preds = %entry |
| 15 | %1 = getelementptr inbounds %struct.SVal* %location, i32 0, i32 1, !dbg !29 ; <i32*> [#uses=1] |
| 16 | %2 = load i32* %1, align 8, !dbg !29 ; <i32> [#uses=1] |
| 17 | %3 = add i32 %2, %i, !dbg !29 ; <i32> [#uses=1] |
| 18 | br label %bb2, !dbg !29 |
| 19 | |
| 20 | bb1: ; preds = %entry |
| 21 | %4 = getelementptr inbounds %struct.SVal* %location, i32 0, i32 1, !dbg !30 ; <i32*> [#uses=1] |
| 22 | %5 = load i32* %4, align 8, !dbg !30 ; <i32> [#uses=1] |
| 23 | %6 = sub i32 %5, 1, !dbg !30 ; <i32> [#uses=1] |
| 24 | br label %bb2, !dbg !30 |
| 25 | |
| 26 | bb2: ; preds = %bb1, %bb |
| 27 | %.0 = phi i32 [ %3, %bb ], [ %6, %bb1 ] ; <i32> [#uses=1] |
| 28 | br label %return, !dbg !29 |
| 29 | |
| 30 | return: ; preds = %bb2 |
| 31 | ret i32 %.0, !dbg !29 |
| 32 | } |
| 33 | |
Chris Lattner | 26b0000 | 2011-06-17 03:14:27 +0000 | [diff] [blame] | 34 | define linkonce_odr void @_ZN4SValC1Ev(%struct.SVal* %this) nounwind ssp align 2 { |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 35 | entry: |
| 36 | %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] |
| 37 | call void @llvm.dbg.value(metadata !{%struct.SVal* %this}, i64 0, metadata !31), !dbg !34 |
| 38 | %0 = getelementptr inbounds %struct.SVal* %this, i32 0, i32 0, !dbg !34 ; <i8**> [#uses=1] |
| 39 | store i8* null, i8** %0, align 8, !dbg !34 |
| 40 | %1 = getelementptr inbounds %struct.SVal* %this, i32 0, i32 1, !dbg !34 ; <i32*> [#uses=1] |
| 41 | store i32 0, i32* %1, align 8, !dbg !34 |
| 42 | br label %return, !dbg !34 |
| 43 | |
| 44 | return: ; preds = %entry |
| 45 | ret void, !dbg !35 |
| 46 | } |
| 47 | |
| 48 | declare void @llvm.dbg.declare(metadata, metadata) nounwind readnone |
| 49 | |
| 50 | define i32 @main() nounwind ssp { |
| 51 | entry: |
| 52 | %0 = alloca %struct.SVal ; <%struct.SVal*> [#uses=3] |
| 53 | %v = alloca %struct.SVal ; <%struct.SVal*> [#uses=4] |
| 54 | %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] |
| 55 | call void @llvm.dbg.declare(metadata !{%struct.SVal* %v}, metadata !38), !dbg !41 |
| 56 | call void @_ZN4SValC1Ev(%struct.SVal* %v) nounwind, !dbg !41 |
| 57 | %1 = getelementptr inbounds %struct.SVal* %v, i32 0, i32 1, !dbg !42 ; <i32*> [#uses=1] |
| 58 | store i32 1, i32* %1, align 8, !dbg !42 |
| 59 | %2 = getelementptr inbounds %struct.SVal* %0, i32 0, i32 0, !dbg !43 ; <i8**> [#uses=1] |
| 60 | %3 = getelementptr inbounds %struct.SVal* %v, i32 0, i32 0, !dbg !43 ; <i8**> [#uses=1] |
| 61 | %4 = load i8** %3, align 8, !dbg !43 ; <i8*> [#uses=1] |
| 62 | store i8* %4, i8** %2, align 8, !dbg !43 |
| 63 | %5 = getelementptr inbounds %struct.SVal* %0, i32 0, i32 1, !dbg !43 ; <i32*> [#uses=1] |
| 64 | %6 = getelementptr inbounds %struct.SVal* %v, i32 0, i32 1, !dbg !43 ; <i32*> [#uses=1] |
| 65 | %7 = load i32* %6, align 8, !dbg !43 ; <i32> [#uses=1] |
| 66 | store i32 %7, i32* %5, align 8, !dbg !43 |
| 67 | %8 = call i32 @_Z3fooi4SVal(i32 2, %struct.SVal* noalias %0) nounwind, !dbg !43 ; <i32> [#uses=0] |
| 68 | call void @llvm.dbg.value(metadata !{i32 %8}, i64 0, metadata !44), !dbg !43 |
| 69 | br label %return, !dbg !45 |
| 70 | |
| 71 | return: ; preds = %entry |
| 72 | ret i32 0, !dbg !45 |
| 73 | } |
| 74 | |
| 75 | declare void @llvm.dbg.value(metadata, i64, metadata) nounwind readnone |
| 76 | |
David Blaikie | d7e0de5 | 2013-03-08 00:23:31 +0000 | [diff] [blame] | 77 | !llvm.dbg.cu = !{!3} |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 78 | |
Manman Ren | 3894b57 | 2013-07-24 01:26:37 +0000 | [diff] [blame] | 79 | !0 = metadata !{i32 786478, metadata !48, metadata !1, metadata !"SVal", metadata !"SVal", metadata !"", i32 11, metadata !14, i1 false, i1 false, i32 0, i32 0, null, i1 false, i1 false, null, null, null, null, i32 0} ; [ DW_TAG_subprogram ] |
| 80 | !1 = metadata !{i32 786451, metadata !48, null, metadata !"SVal", i32 1, i64 128, i64 64, i64 0, i32 0, null, metadata !4, i32 0, null} ; [ DW_TAG_structure_type ] |
David Blaikie | 72dfb05 | 2013-03-28 02:44:59 +0000 | [diff] [blame] | 81 | !2 = metadata !{i32 786473, metadata !48} ; [ DW_TAG_file_type ] |
David Blaikie | c462db6 | 2013-04-22 06:12:31 +0000 | [diff] [blame] | 82 | !3 = metadata !{i32 786449, i32 4, metadata !2, metadata !"4.2.1 (Based on Apple Inc. build 5658) (LLVM build)", i1 false, metadata !"", i32 0, metadata !47, metadata !47, metadata !46, metadata !47, metadata !47, metadata !""} ; [ DW_TAG_compile_unit ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 83 | !4 = metadata !{metadata !5, metadata !7, metadata !0, metadata !9} |
Manman Ren | 3894b57 | 2013-07-24 01:26:37 +0000 | [diff] [blame] | 84 | !5 = metadata !{i32 786445, metadata !48, metadata !1, metadata !"Data", i32 7, i64 64, i64 64, i64 0, i32 0, metadata !6} ; [ DW_TAG_member ] |
| 85 | !6 = metadata !{i32 786447, metadata !48, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, null} ; [ DW_TAG_pointer_type ] |
| 86 | !7 = metadata !{i32 786445, metadata !48, metadata !1, metadata !"Kind", i32 8, i64 32, i64 32, i64 64, i32 0, metadata !8} ; [ DW_TAG_member ] |
| 87 | !8 = metadata !{i32 786468, metadata !48, null, metadata !"unsigned int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 7} ; [ DW_TAG_base_type ] |
| 88 | !9 = metadata !{i32 786478, metadata !48, metadata !1, metadata !"~SVal", metadata !"~SVal", metadata !"", i32 12, metadata !10, i1 false, i1 false, i32 0, i32 0, null, i1 false, i1 false, null, null, null, null, i32 0} ; [ DW_TAG_subprogram ] |
| 89 | !10 = metadata !{i32 786453, metadata !48, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !11, i32 0, null} ; [ DW_TAG_subroutine_type ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 90 | !11 = metadata !{null, metadata !12, metadata !13} |
Manman Ren | 3894b57 | 2013-07-24 01:26:37 +0000 | [diff] [blame] | 91 | !12 = metadata !{i32 786447, metadata !48, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 64, metadata !1} ; [ DW_TAG_pointer_type ] |
| 92 | !13 = metadata !{i32 786468, metadata !48, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] |
| 93 | !14 = metadata !{i32 786453, metadata !48, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !15, i32 0, null} ; [ DW_TAG_subroutine_type ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 94 | !15 = metadata !{null, metadata !12} |
Manman Ren | 3894b57 | 2013-07-24 01:26:37 +0000 | [diff] [blame] | 95 | !16 = metadata !{i32 786478, metadata !48, metadata !1, metadata !"SVal", metadata !"SVal", metadata !"_ZN4SValC1Ev", i32 11, metadata !14, i1 false, i1 true, i32 0, i32 0, null, i1 false, i1 false, void (%struct.SVal*)* @_ZN4SValC1Ev, null, null, null, i32 0} ; [ DW_TAG_subprogram ] |
| 96 | !17 = metadata !{i32 786478, metadata !2, metadata !"foo", metadata !"foo", metadata !"_Z3fooi4SVal", metadata !2, i32 16, metadata !18, i1 false, i1 true, i32 0, i32 0, null, i1 false, i1 false, i32 (i32, %struct.SVal*)* @_Z3fooi4SVal, null, null, null, i32 0} ; [ DW_TAG_subprogram ] |
| 97 | !18 = metadata !{i32 786453, metadata !48, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !19, i32 0, null} ; [ DW_TAG_subroutine_type ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 98 | !19 = metadata !{metadata !13, metadata !13, metadata !1} |
Manman Ren | 3894b57 | 2013-07-24 01:26:37 +0000 | [diff] [blame] | 99 | !20 = metadata !{i32 786478, metadata !2, metadata !"main", metadata !"main", metadata !"main", metadata !2, i32 23, metadata !21, i1 false, i1 true, i32 0, i32 0, null, i1 false, i1 false, i32 ()* @main, null, null, null, i32 0} ; [ DW_TAG_subprogram ] |
| 100 | !21 = metadata !{i32 786453, metadata !48, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !22, i32 0, null} ; [ DW_TAG_subroutine_type ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 101 | !22 = metadata !{metadata !13} |
David Blaikie | d7e0de5 | 2013-03-08 00:23:31 +0000 | [diff] [blame] | 102 | !23 = metadata !{i32 786689, metadata !17, metadata !"i", metadata !2, i32 16, metadata !13, i32 0, i32 0} ; [ DW_TAG_arg_variable ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 103 | !24 = metadata !{i32 16, i32 0, metadata !17, null} |
David Blaikie | d7e0de5 | 2013-03-08 00:23:31 +0000 | [diff] [blame] | 104 | !25 = metadata !{i32 786689, metadata !17, metadata !"location", metadata !2, i32 16, metadata !26, i32 0, i32 0} ; [ DW_TAG_arg_variable ] |
David Blaikie | 72dfb05 | 2013-03-28 02:44:59 +0000 | [diff] [blame] | 105 | !26 = metadata !{i32 786448, metadata !2, metadata !"SVal", metadata !2, i32 0, i64 64, i64 64, i64 0, i32 0, metadata !1} ; [ DW_TAG_reference_type ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 106 | !27 = metadata !{i32 17, i32 0, metadata !28, null} |
David Blaikie | 72dfb05 | 2013-03-28 02:44:59 +0000 | [diff] [blame] | 107 | !28 = metadata !{i32 786443, metadata !2, metadata !17, i32 16, i32 0, i32 2} ; [ DW_TAG_lexical_block ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 108 | !29 = metadata !{i32 18, i32 0, metadata !28, null} |
| 109 | !30 = metadata !{i32 20, i32 0, metadata !28, null} |
David Blaikie | d7e0de5 | 2013-03-08 00:23:31 +0000 | [diff] [blame] | 110 | !31 = metadata !{i32 786689, metadata !16, metadata !"this", metadata !2, i32 11, metadata !32, i32 0, i32 0} ; [ DW_TAG_arg_variable ] |
David Blaikie | 72dfb05 | 2013-03-28 02:44:59 +0000 | [diff] [blame] | 111 | !32 = metadata !{i32 786470, metadata !2, metadata !"", metadata !2, i32 0, i64 64, i64 64, i64 0, i32 64, metadata !33} ; [ DW_TAG_const_type ] |
| 112 | !33 = metadata !{i32 786447, metadata !2, metadata !"", metadata !2, i32 0, i64 64, i64 64, i64 0, i32 0, metadata !1} ; [ DW_TAG_pointer_type ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 113 | !34 = metadata !{i32 11, i32 0, metadata !16, null} |
| 114 | !35 = metadata !{i32 11, i32 0, metadata !36, null} |
David Blaikie | 72dfb05 | 2013-03-28 02:44:59 +0000 | [diff] [blame] | 115 | !36 = metadata !{i32 786443, metadata !2, metadata !37, i32 11, i32 0, i32 1} ; [ DW_TAG_lexical_block ] |
| 116 | !37 = metadata !{i32 786443, metadata !2, metadata !16, i32 11, i32 0, i32 0} ; [ DW_TAG_lexical_block ] |
David Blaikie | d7e0de5 | 2013-03-08 00:23:31 +0000 | [diff] [blame] | 117 | !38 = metadata !{i32 786688, metadata !39, metadata !"v", metadata !2, i32 24, metadata !1, i32 0, i32 0} ; [ DW_TAG_auto_variable ] |
David Blaikie | 72dfb05 | 2013-03-28 02:44:59 +0000 | [diff] [blame] | 118 | !39 = metadata !{i32 786443, metadata !2, metadata !40, i32 23, i32 0, i32 4} ; [ DW_TAG_lexical_block ] |
| 119 | !40 = metadata !{i32 786443, metadata !2, metadata !20, i32 23, i32 0, i32 3} ; [ DW_TAG_lexical_block ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 120 | !41 = metadata !{i32 24, i32 0, metadata !39, null} |
| 121 | !42 = metadata !{i32 25, i32 0, metadata !39, null} |
| 122 | !43 = metadata !{i32 26, i32 0, metadata !39, null} |
David Blaikie | d7e0de5 | 2013-03-08 00:23:31 +0000 | [diff] [blame] | 123 | !44 = metadata !{i32 786688, metadata !39, metadata !"k", metadata !2, i32 26, metadata !13, i32 0, i32 0} ; [ DW_TAG_auto_variable ] |
Devang Patel | 225764b | 2010-08-04 18:42:46 +0000 | [diff] [blame] | 124 | !45 = metadata !{i32 27, i32 0, metadata !39, null} |
David Blaikie | d7e0de5 | 2013-03-08 00:23:31 +0000 | [diff] [blame] | 125 | !46 = metadata !{metadata !0, metadata !9, metadata !16, metadata !17, metadata !20} |
| 126 | !47 = metadata !{i32 0} |
David Blaikie | b4cf0ab | 2013-03-17 21:13:55 +0000 | [diff] [blame] | 127 | !48 = metadata !{metadata !"small.cc", metadata !"/Users/manav/R8248330"} |