[llvm-commits] [llvm] r146411 - in /llvm/trunk: lib/Transforms/Scalar/SimplifyLibCalls.cpp test/Transforms/SimplifyLibCalls/fwrite.ll

[Joerg Sonnenberger]

Author: joerg
Date: Mon Dec 12 14:18:31 2011
New Revision: 146411

URL: http://llvm.org/viewvc/llvm-project?rev=146411&view=rev
Log:
Only replace fwrite with fputc, if the return value is unused.

Added:
    llvm/trunk/test/Transforms/SimplifyLibCalls/fwrite.ll
Modified:
    llvm/trunk/lib/Transforms/Scalar/SimplifyLibCalls.cpp

Modified: llvm/trunk/lib/Transforms/Scalar/SimplifyLibCalls.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/SimplifyLibCalls.cpp?rev=146411&r1=146410&r2=146411&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/SimplifyLibCalls.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/SimplifyLibCalls.cpp Mon Dec 12 14:18:31 2011
@@ -1293,7 +1293,8 @@
       return ConstantInt::get(CI->getType(), 0);
 
     // If this is writing one byte, turn it into fputc.
-    if (Bytes == 1) {  // fwrite(S,1,1,F) -> fputc(S[0],F)
+    // This optimisation is only valid, if the return value is unused.
+    if (Bytes == 1 && CI->use_empty()) {  // fwrite(S,1,1,F) -> fputc(S[0],F)
       Value *Char = B.CreateLoad(CastToCStr(CI->getArgOperand(0), B), "char");
       EmitFPutC(Char, CI->getArgOperand(3), B, TD);
       return ConstantInt::get(CI->getType(), 1);

Added: llvm/trunk/test/Transforms/SimplifyLibCalls/fwrite.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/SimplifyLibCalls/fwrite.ll?rev=146411&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/SimplifyLibCalls/fwrite.ll (added)
+++ llvm/trunk/test/Transforms/SimplifyLibCalls/fwrite.ll Mon Dec 12 14:18:31 2011
@@ -0,0 +1,13 @@
+; RUN: opt < %s -simplify-libcalls -S | FileCheck %s
+
+%FILE = type { i32 }
+
+ at .str = private unnamed_addr constant [1 x i8] zeroinitializer, align 1
+
+define i64 @foo(%FILE* %f) {
+; CHECK: %retval = call i64 @fwrite
+  %retval = call i64 @fwrite(i8* getelementptr inbounds ([1 x i8]* @.str, i64 0, i64 0), i64 1, i64 1, %FILE* %f)
+  ret i64 %retval
+}
+
+declare i64 @fwrite(i8*, i64, i64, %FILE *)