Constant::IsThreadDependent(): Use dyn_cast<Constant> instead of cast
authorHans Wennborg <hans@hanshq.net>
Fri, 16 Nov 2012 10:33:25 +0000 (10:33 +0000)
committerHans Wennborg <hans@hanshq.net>
Fri, 16 Nov 2012 10:33:25 +0000 (10:33 +0000)
It turns out that the operands of a Constant are not always themselves
Constant. For example, one of the operands of BlockAddress is
BasicBlock, which is not a Constant.

This should fix the dragonegg-x86_64-linux-gcc-4.6-test build which
broke in r168037.

llvm-svn: 168147

llvm/lib/VMCore/Constants.cpp
llvm/test/Transforms/GlobalOpt/blockaddress.ll [new file with mode: 0644]

index eae96ef..935f6b2 100644 (file)
@@ -261,7 +261,9 @@ bool Constant::isThreadDependent() const {
     }
 
     for (unsigned I = 0, E = C->getNumOperands(); I != E; ++I) {
-      const Constant *D = cast<Constant>(C->getOperand(I));
+      const Constant *D = dyn_cast<Constant>(C->getOperand(I));
+      if (!D)
+        continue;
       if (Visited.insert(D))
         WorkList.push_back(D);
     }
diff --git a/llvm/test/Transforms/GlobalOpt/blockaddress.ll b/llvm/test/Transforms/GlobalOpt/blockaddress.ll
new file mode 100644 (file)
index 0000000..13da762
--- /dev/null
@@ -0,0 +1,20 @@
+; RUN: opt < %s -globalopt -S | FileCheck %s
+
+@x = internal global i8* zeroinitializer
+
+define void @f() {
+; CHECK: @f
+
+; Check that we don't hit an assert in Constant::IsThreadDependent()
+; when storing this blockaddress into a global.
+
+  store i8* blockaddress(@g, %here), i8** @x, align 8
+  ret void
+}
+
+define void @g() {
+; CHECK: @g
+
+here:
+  ret void
+}