[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / fputs-opt-size.ll
blob54ac96f9f8627c8fd247cd90933e01537c2420fd
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.
4 ; RUN: opt < %s -instcombine -S | FileCheck %s
5 ; RUN: opt < %s -instcombine -pgso -S | FileCheck %s -check-prefix=PGSO
6 ; RUN: opt < %s -instcombine -pgso=false -S | FileCheck %s -check-prefix=NPGSO
8 %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] }
9 %struct._IO_marker = type { %struct._IO_marker*, %struct._IO_FILE*, i32 }
11 @.str = private unnamed_addr constant [10 x i8] c"mylog.txt\00", align 1
12 @.str.1 = private unnamed_addr constant [2 x i8] c"a\00", align 1
13 @.str.2 = private unnamed_addr constant [27 x i8] c"Hello world this is a test\00", align 1
15 define i32 @main() local_unnamed_addr #0 {
16 entry:
17 ; CHECK-LABEL: @main(
18 ; CHECK-NOT: call i64 @fwrite
19 ; CHECK: call i32 @fputs
21   %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
22   %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
23   ret i32 0
26 declare noalias %struct._IO_FILE* @fopen(i8* nocapture readonly, i8* nocapture readonly) local_unnamed_addr #1
27 declare i32 @fputs(i8* nocapture readonly, %struct._IO_FILE* nocapture) local_unnamed_addr #1
29 attributes #0 = { nounwind optsize }
30 attributes #1 = { nounwind optsize  }
32 define i32 @main_pgso() local_unnamed_addr !prof !14 {
33 entry:
34 ; PGSO-LABEL: @main_pgso(
35 ; PGSO-NOT: call i64 @fwrite
36 ; PGSO: call i32 @fputs
37 ; NPGSO-LABEL: @main_pgso(
38 ; NPGSO: call i64 @fwrite
39 ; NPGSO-NOT: call i32 @fputs
41   %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
42   %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
43   ret i32 0
46 !llvm.module.flags = !{!0}
47 !0 = !{i32 1, !"ProfileSummary", !1}
48 !1 = !{!2, !3, !4, !5, !6, !7, !8, !9}
49 !2 = !{!"ProfileFormat", !"InstrProf"}
50 !3 = !{!"TotalCount", i64 10000}
51 !4 = !{!"MaxCount", i64 10}
52 !5 = !{!"MaxInternalCount", i64 1}
53 !6 = !{!"MaxFunctionCount", i64 1000}
54 !7 = !{!"NumCounts", i64 3}
55 !8 = !{!"NumFunctions", i64 3}
56 !9 = !{!"DetailedSummary", !10}
57 !10 = !{!11, !12, !13}
58 !11 = !{i32 10000, i64 100, i32 1}
59 !12 = !{i32 999000, i64 100, i32 1}
60 !13 = !{i32 999999, i64 1, i32 2}
61 !14 = !{!"function_entry_count", i64 0}