]> granicus.if.org Git - clang/commitdiff
Take advantage of noreturn attribute to add unreachable instruction &
authorDaniel Dunbar <daniel@zuster.org>
Fri, 20 Feb 2009 18:54:31 +0000 (18:54 +0000)
committerDaniel Dunbar <daniel@zuster.org>
Fri, 20 Feb 2009 18:54:31 +0000 (18:54 +0000)
clear insertion point. The rest of IRgen should theoretically take
advantage of this to avoid emitting dead code. Theory != Practice.

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

lib/CodeGen/CGCall.cpp

index d0122fa4f9a457a679558ae62835c586afd80edc..02e00558d877566a8fd83339139dccba40876739 100644 (file)
@@ -1760,6 +1760,18 @@ RValue CodeGenFunction::EmitCall(const CGFunctionInfo &CallInfo,
   
   if (const llvm::Function *F = dyn_cast<llvm::Function>(Callee))
     CI->setCallingConv(F->getCallingConv());
+
+  // If the call doesn't return, finish the basic block and clear the
+  // insertion point; this allows the rest of IRgen to discard
+  // unreachable code.
+  if (CI->doesNotReturn()) {
+    Builder.CreateUnreachable();
+    Builder.ClearInsertionPoint();
+
+    // Return a reasonable RValue.
+    return GetUndefRValue(RetTy);
+  }
+
   if (CI->getType() != llvm::Type::VoidTy)
     CI->setName("call");