]> granicus.if.org Git - clang/commitdiff
CodeGen: Mark the runtime function __dynamic_cast as readonly & nounwind.
authorBenjamin Kramer <benny.kra@googlemail.com>
Sun, 3 Feb 2013 17:44:25 +0000 (17:44 +0000)
committerBenjamin Kramer <benny.kra@googlemail.com>
Sun, 3 Feb 2013 17:44:25 +0000 (17:44 +0000)
This allows the optimizer to CSE dynamic_casts.

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

lib/CodeGen/CGExprCXX.cpp
test/CodeGenCXX/dynamic-cast.cpp

index 8b7f2342c4e9cd77047a29d4ddd05d5b8b8c5adb..853e25ec8c7efe9c6cb08f9cbf8c674ef51a3347 100644 (file)
@@ -1689,11 +1689,16 @@ static llvm::Constant *getDynamicCastFn(CodeGenFunction &CGF) {
     CGF.ConvertType(CGF.getContext().getPointerDiffType());
 
   llvm::Type *Args[4] = { Int8PtrTy, Int8PtrTy, Int8PtrTy, PtrDiffTy };
-  
-  llvm::FunctionType *FTy =
-    llvm::FunctionType::get(Int8PtrTy, Args, false);
-  
-  return CGF.CGM.CreateRuntimeFunction(FTy, "__dynamic_cast");
+
+  llvm::FunctionType *FTy = llvm::FunctionType::get(Int8PtrTy, Args, false);
+
+  // Mark the function as nounwind readonly.
+  llvm::Attribute::AttrKind FuncAttrs[] = { llvm::Attribute::NoUnwind,
+                                            llvm::Attribute::ReadOnly };
+  llvm::AttributeSet Attrs = llvm::AttributeSet::get(
+      CGF.getLLVMContext(), llvm::AttributeSet::FunctionIndex, FuncAttrs);
+
+  return CGF.CGM.CreateRuntimeFunction(FTy, "__dynamic_cast", Attrs);
 }
 
 static llvm::Constant *getBadCastFn(CodeGenFunction &CGF) {
index 813e36e941b7affd8cfc4c196f3cebdaaf169654..77cfce1d4601331b27dc76c8d05e0e211a6fe904 100644 (file)
@@ -16,3 +16,5 @@ const B& f(A *a) {
   }
   return fail;
 }
+
+// CHECK: declare i8* @__dynamic_cast(i8*, i8*, i8*, i64) nounwind readonly