1 ; When optimising for size, we don't want to rewrite fputs to fwrite 2 ; because it requires more arguments and thus extra MOVs are required. 3 ; 4 ; RUN: opt < %s -instcombine -S | FileCheck %s 5 6 %struct._IO_FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct._IO_FILE*, i32, i32, i32, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i8*, i8*, i32, i32, [40 x i8] } 7 %struct._IO_marker = type { %struct._IO_marker*, %struct._IO_FILE*, i32 } 8 9 @.str = private unnamed_addr constant [10 x i8] c"mylog.txt\00", align 1 10 @.str.1 = private unnamed_addr constant [2 x i8] c"a\00", align 1 11 @.str.2 = private unnamed_addr constant [27 x i8] c"Hello world this is a test\00", align 1 12 13 define i32 @main() local_unnamed_addr #0 { 14 entry: 15 ; CHECK-LABEL: @main( 16 ; CHECK-NOT: call i64 @fwrite 17 ; CHECK: call i32 @fputs 18 19 %call = tail call %struct._IO_FILE* @fopen(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i32 0, i32 0)) #2 20 %call1 = tail call i32 @fputs(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.2, i32 0, i32 0), %struct._IO_FILE* %call) #2 21 ret i32 0 22 } 23 24 declare noalias %struct._IO_FILE* @fopen(i8* nocapture readonly, i8* nocapture readonly) local_unnamed_addr #1 25 declare i32 @fputs(i8* nocapture readonly, %struct._IO_FILE* nocapture) local_unnamed_addr #1 26 27 attributes #0 = { nounwind optsize } 28 attributes #1 = { nounwind optsize } 29