diff --git a/tools/llc/llc.cpp b/tools/llc/llc.cpp
index a36b6d77b95..162d6c8ad9c 100644
--- a/tools/llc/llc.cpp
+++ b/tools/llc/llc.cpp
@@ -107,11 +107,6 @@ DisableRedZone("disable-red-zone",
   cl::desc("Do not emit code that uses the red zone."),
   cl::init(false));
 
-static cl::opt<bool>
-NoImplicitFloats("no-implicit-float",
-  cl::desc("Don't generate implicit floating point instructions (x86-only)"),
-  cl::init(false));
-
 // GetFileNameRoot - Helper function to get the basename of a filename.
 static inline std::string
 GetFileNameRoot(const std::string &InputFilename) {