Ignore debug info while evaluating function.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66490 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/IPO/GlobalOpt.cpp b/lib/Transforms/IPO/GlobalOpt.cpp
index 6faf4d0bb289ac325e8cb1dcff3de6d3c120b0f2..b804e2b35876b0bcbcb8e685d5a79dd20785cf94 100644 (file)
--- 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<CallInst>(CurInst)) {
+
+      // Debug info can safely be ignored here.
+      if (isa<DbgInfoIntrinsic>(CI)) {
+        ++CurInst;
+        continue;
+      }
+
       // Cannot handle inline asm.
       if (isa<InlineAsm>(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 (file)
index 0000000..45fb453
--- /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              ; <i32*> [#uses=1]
+@G2 = global i32 0             ; <i32*> [#uses=1]
+@G3 = global i32 -123          ; <i32*> [#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             ; <i32*> [#uses=2]
+@Z = global i32 123            ; <i32*> [#uses=1]
+@D = global double 0.000000e+00                ; <double*> [#uses=1]
+@CTORGV = internal global i1 false             ; <i1*> [#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              ; <i32> [#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          ; <i1> [#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              ; <i32> [#uses=1]
+       %Y = add i32 %X, 123            ; <i32> [#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               ; <i32*> [#uses=2]
+       %X.2 = load i32* %X.2p          ; <i32> [#uses=1]
+       %X.1p = getelementptr { i32, [2 x i32] }* @X, i32 0, i32 0              ; <i32*> [#uses=1]
+       store i32 %X.2, i32* %X.1p
+       store i32 42, i32* %X.2p
+       ret void
+}
+
+define internal void @CTOR6() {
+       %A = alloca i32         ; <i32*> [#uses=2]
+       %y = load i32* @Y               ; <i32> [#uses=1]
+       store i32 %y, i32* %A
+       %Av = load i32* %A              ; <i32> [#uses=1]
+       %Av1 = add i32 %Av, 1           ; <i32> [#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 )            ; <double> [#uses=1]
+       store double %X, double* @D
+       ret void
+}
+
+define i1 @accessor() {
+       %V = load i1* @CTORGV           ; <i1> [#uses=1]
+       ret i1 %V
+}