From 412a4469746d468c46b7e7e4f1c77407dab0a1ce Mon Sep 17 00:00:00 2001 From: Devang Patel Date: Mon, 9 Mar 2009 23:04:12 +0000 Subject: [PATCH] Ignore debug info while evaluating function. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66490 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/IPO/GlobalOpt.cpp | 8 +- .../Transforms/GlobalOpt/ctor-list-opt-dbg.ll | 98 +++++++++++++++++++ 2 files changed, 105 insertions(+), 1 deletion(-) create mode 100644 test/Transforms/GlobalOpt/ctor-list-opt-dbg.ll diff --git a/lib/Transforms/IPO/GlobalOpt.cpp b/lib/Transforms/IPO/GlobalOpt.cpp index 6faf4d0bb28..b804e2b3587 100644 --- a/lib/Transforms/IPO/GlobalOpt.cpp +++ b/lib/Transforms/IPO/GlobalOpt.cpp @@ -2199,6 +2199,13 @@ static bool EvaluateFunction(Function *F, Constant *&RetVal, AI->getName())); InstResult = AllocaTmps.back(); } else if (CallInst *CI = dyn_cast(CurInst)) { + + // Debug info can safely be ignored here. + if (isa(CI)) { + ++CurInst; + continue; + } + // Cannot handle inline asm. if (isa(CI->getOperand(0))) return false; @@ -2224,7 +2231,6 @@ static bool EvaluateFunction(Function *F, Constant *&RetVal, return false; Constant *RetVal; - // Execute the call, if successful, use the return value. if (!EvaluateFunction(Callee, RetVal, Formals, CallStack, MutatedMemory, AllocaTmps)) diff --git a/test/Transforms/GlobalOpt/ctor-list-opt-dbg.ll b/test/Transforms/GlobalOpt/ctor-list-opt-dbg.ll new file mode 100644 index 00000000000..45fb45341cd --- /dev/null +++ b/test/Transforms/GlobalOpt/ctor-list-opt-dbg.ll @@ -0,0 +1,98 @@ +; RUN: llvm-as < %s | opt -globalopt | llvm-dis | not grep CTOR +@llvm.global_ctors = appending global [10 x { i32, void ()* }] [ { i32, void ()* } { i32 65535, void ()* @CTOR1 }, { i32, void ()* } { i32 65535, void ()* @CTOR1 }, { i32, void ()* } { i32 65535, void ()* @CTOR2 }, { i32, void ()* } { i32 65535, void ()* @CTOR3 }, { i32, void ()* } { i32 65535, void ()* @CTOR4 }, { i32, void ()* } { i32 65535, void ()* @CTOR5 }, { i32, void ()* } { i32 65535, void ()* @CTOR6 }, { i32, void ()* } { i32 65535, void ()* @CTOR7 }, { i32, void ()* } { i32 65535, void ()* @CTOR8 }, { i32, void ()* } { i32 2147483647, void ()* null } ] ; <[10 x { i32, void ()* }]*> [#uses=0] +@G = global i32 0 ; [#uses=1] +@G2 = global i32 0 ; [#uses=1] +@G3 = global i32 -123 ; [#uses=2] +@X = global { i32, [2 x i32] } { i32 0, [2 x i32] [ i32 17, i32 21 ] } ; <{ i32, [2 x i32] }*> [#uses=2] +@Y = global i32 -1 ; [#uses=2] +@Z = global i32 123 ; [#uses=1] +@D = global double 0.000000e+00 ; [#uses=1] +@CTORGV = internal global i1 false ; [#uses=2] + + %llvm.dbg.anchor.type = type { i32, i32 } + %llvm.dbg.compile_unit.type = type { i32, { }*, i32, i8*, i8*, i8*, i1, i1, i8* } + +@llvm.dbg.compile_units = linkonce constant %llvm.dbg.anchor.type { i32 458752, i32 17 }, section "llvm.metadata" ; + +@.str = internal constant [4 x i8] c"a.c\00", section "llvm.metadata" ; <[4 x i8]*> [#uses=1] +@.str1 = internal constant [6 x i8] c"/tmp/\00", section "llvm.metadata" ; <[6 x i8]*> [#uses=1] +@.str2 = internal constant [55 x i8] c"4.2.1 (Based on Apple Inc. build 5636) (LLVM build 00)\00", section "llvm.metadata" ; <[55 x i8]*> [#uses=1] +@llvm.dbg.compile_unit = internal constant %llvm.dbg.compile_unit.type { i32 458769, { }* bitcast (%llvm.dbg.anchor.type* @llvm.dbg.compile_units to { }*), i32 1, i8* getelementptr ([4 x i8]* @.str, i32 0, i32 0), i8* getelementptr ([6 x i8]* @.str1, i32 0, i32 0), i8* getelementptr ([55 x i8]* @.str2, i32 0, i32 0), i1 true, i1 false, i8* null }, section "llvm.metadata" ; <%llvm.dbg.compile_unit.type*> [#uses=1] + +declare void @llvm.dbg.stoppoint(i32, i32, { }*) nounwind + +define internal void @CTOR1() { + ret void +} + +define internal void @CTOR2() { + %A = add i32 1, 23 ; [#uses=1] + call void @llvm.dbg.stoppoint(i32 5, i32 0, { }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*)) + store i32 %A, i32* @G + store i1 true, i1* @CTORGV + ret void +} + +define internal void @CTOR3() { + %X = or i1 true, false ; [#uses=1] + br label %Cont + +Cont: ; preds = %0 + br i1 %X, label %S, label %T + +S: ; preds = %Cont + store i32 24, i32* @G2 + ret void + +T: ; preds = %Cont + ret void +} + +define internal void @CTOR4() { + %X = load i32* @G3 ; [#uses=1] + %Y = add i32 %X, 123 ; [#uses=1] + store i32 %Y, i32* @G3 + ret void +} + +define internal void @CTOR5() { + %X.2p = getelementptr { i32, [2 x i32] }* @X, i32 0, i32 1, i32 0 ; [#uses=2] + %X.2 = load i32* %X.2p ; [#uses=1] + %X.1p = getelementptr { i32, [2 x i32] }* @X, i32 0, i32 0 ; [#uses=1] + store i32 %X.2, i32* %X.1p + store i32 42, i32* %X.2p + ret void +} + +define internal void @CTOR6() { + %A = alloca i32 ; [#uses=2] + %y = load i32* @Y ; [#uses=1] + store i32 %y, i32* %A + %Av = load i32* %A ; [#uses=1] + %Av1 = add i32 %Av, 1 ; [#uses=1] + store i32 %Av1, i32* @Y + ret void +} + +define internal void @CTOR7() { + call void @setto( i32* @Z, i32 0 ) + ret void +} + +define void @setto(i32* %P, i32 %V) { + store i32 %V, i32* %P + ret void +} + +declare double @cos(double) + +define internal void @CTOR8() { + %X = call double @cos( double 1.000000e+00 ) ; [#uses=1] + store double %X, double* @D + ret void +} + +define i1 @accessor() { + %V = load i1* @CTORGV ; [#uses=1] + ret i1 %V +} -- 2.34.1