1 ; REQUIRES: asserts 2 ; RUN: opt < %s -globalopt -stats -disable-output 2>&1 | grep "1 globalopt - Number of global vars shrunk to booleans" 3 4 @Stop = internal global i32 0 ; <i32*> [#uses=3] 5 6 define i32 @foo(i32 %i) 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 !3) 10 %0 = icmp eq i32 %i, 1, !dbg !7 ; <i1> [#uses=1] 11 br i1 %0, label %bb, label %bb1, !dbg !7 12 13 bb: ; preds = %entry 14 store i32 0, i32* @Stop, align 4, !dbg !9 15 %1 = mul nsw i32 %i, 42, !dbg !10 ; <i32> [#uses=1] 16 call void @llvm.dbg.value(metadata !{i32 %1}, i64 0, metadata !3), !dbg !10 17 br label %bb2, !dbg !10 18 19 bb1: ; preds = %entry 20 store i32 1, i32* @Stop, align 4, !dbg !11 21 br label %bb2, !dbg !11 22 23 bb2: ; preds = %bb1, %bb 24 %i_addr.0 = phi i32 [ %1, %bb ], [ %i, %bb1 ] ; <i32> [#uses=1] 25 br label %return, !dbg !12 26 27 return: ; preds = %bb2 28 ret i32 %i_addr.0, !dbg !12 29 } 30 31 declare void @llvm.dbg.declare(metadata, metadata) nounwind readnone 32 33 define i32 @bar() nounwind ssp { 34 entry: 35 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] 36 %0 = load i32* @Stop, align 4, !dbg !13 ; <i32> [#uses=1] 37 %1 = icmp eq i32 %0, 1, !dbg !13 ; <i1> [#uses=1] 38 br i1 %1, label %bb, label %bb1, !dbg !13 39 40 bb: ; preds = %entry 41 br label %bb2, !dbg !18 42 43 bb1: ; preds = %entry 44 br label %bb2, !dbg !19 45 46 bb2: ; preds = %bb1, %bb 47 %.0 = phi i32 [ 0, %bb ], [ 1, %bb1 ] ; <i32> [#uses=1] 48 br label %return, !dbg !19 49 50 return: ; preds = %bb2 51 ret i32 %.0, !dbg !19 52 } 53 54 declare void @llvm.dbg.value(metadata, i64, metadata) nounwind readnone 55 56 !llvm.dbg.gv = !{!0} 57 58 !0 = metadata !{i32 458804, i32 0, metadata !1, metadata !"Stop", metadata !"Stop", metadata !"", metadata !1, i32 2, metadata !2, i1 true, i1 true, i32* @Stop} ; [ DW_TAG_variable ] 59 !1 = metadata !{i32 458769, metadata !20, i32 1, metadata !"4.2.1 (Based on Apple Inc. build 5658) (LLVM build)", i1 true, metadata !"", i32 0, metadata !21, metadata !21, null, null, null, metadata !""} ; [ DW_TAG_compile_unit ] 60 !2 = metadata !{i32 458788, null, metadata !1, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] 61 !3 = metadata !{i32 459009, metadata !4, metadata !"i", metadata !1, i32 4, metadata !2} ; [ DW_TAG_arg_variable ] 62 !4 = metadata !{i32 458798, i32 0, metadata !1, metadata !"foo", metadata !"foo", metadata !"foo", i32 4, metadata !5, i1 false, i1 true, i32 0, i32 0, null, i32 0, i32 0, null, null, null, null, i32 0} ; [ DW_TAG_subprogram ] 63 !5 = metadata !{i32 458773, metadata !1, metadata !"", metadata !1, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !6, i32 0, null} ; [ DW_TAG_subroutine_type ] 64 !6 = metadata !{metadata !2, metadata !2} 65 !7 = metadata !{i32 5, i32 0, metadata !8, null} 66 !8 = metadata !{i32 458763, metadata !20, metadata !4, i32 0, i32 0, i32 0} ; [ DW_TAG_lexical_block ] 67 !9 = metadata !{i32 6, i32 0, metadata !8, null} 68 !10 = metadata !{i32 7, i32 0, metadata !8, null} 69 !11 = metadata !{i32 9, i32 0, metadata !8, null} 70 !12 = metadata !{i32 11, i32 0, metadata !8, null} 71 !13 = metadata !{i32 14, i32 0, metadata !14, null} 72 !14 = metadata !{i32 458763, metadata !20, metadata !15, i32 0, i32 0, i32 0} ; [ DW_TAG_lexical_block ] 73 !15 = metadata !{i32 458798, i32 0, metadata !1, metadata !"bar", metadata !"bar", metadata !"bar", i32 13, metadata !16, i1 false, i1 true, i32 0, i32 0, null, i32 0, i32 0, null, null, null, null, i32 0} ; [ DW_TAG_subprogram ] 74 !16 = metadata !{i32 458773, metadata !1, metadata !"", metadata !1, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !17, i32 0, null} ; [ DW_TAG_subroutine_type ] 75 !17 = metadata !{metadata !2} 76 !18 = metadata !{i32 15, i32 0, metadata !14, null} 77 !19 = metadata !{i32 16, i32 0, metadata !14, null} 78 !20 = metadata !{metadata !"g.c", metadata !"/tmp"} 79 !21 = metadata !{i32 0} 80
