blob: 6753db8798c37d9b3fac6cab73bb21029bfbb699 [file] [log] [blame]
Reid Spencer41571c82005-04-29 23:01:21 +00001; Test that the PutsCatOptimizer works correctly
Tanya Lattnerceca1942008-03-10 07:21:50 +00002; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | \
Reid Spencer43b40032007-04-16 15:31:49 +00003; RUN: not grep {call.*fputs}
Dan Gohman600d52c2009-08-19 23:18:49 +00004
5; This transformation requires the pointer size, as it assumes that size_t is
6; the size of a pointer.
7target datalayout = "-p:64:64:64"
Reid Spencerbb4cae72005-04-29 07:19:00 +00008
Tanya Lattnerceca1942008-03-10 07:21:50 +00009 %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*, i32, [52 x i8] }
10 %struct._IO_marker = type { %struct._IO_marker*, %struct._IO_FILE*, i32 }
11@stdout = external global %struct._IO_FILE* ; <%struct._IO_FILE**> [#uses=1]
12@empty = constant [1 x i8] zeroinitializer ; <[1 x i8]*> [#uses=1]
13@len1 = constant [2 x i8] c"A\00" ; <[2 x i8]*> [#uses=1]
14@long = constant [7 x i8] c"hello\0A\00" ; <[7 x i8]*> [#uses=1]
Reid Spencerbb4cae72005-04-29 07:19:00 +000015
Tanya Lattnerceca1942008-03-10 07:21:50 +000016declare i32 @fputs(i8*, %struct._IO_FILE*)
Reid Spencerb2825212005-04-29 10:10:17 +000017
Tanya Lattnerceca1942008-03-10 07:21:50 +000018define i32 @main() {
Reid Spencerbb4cae72005-04-29 07:19:00 +000019entry:
Tanya Lattnerceca1942008-03-10 07:21:50 +000020 %out = load %struct._IO_FILE** @stdout ; <%struct._IO_FILE*> [#uses=3]
21 %s1 = getelementptr [1 x i8]* @empty, i32 0, i32 0 ; <i8*> [#uses=1]
22 %s2 = getelementptr [2 x i8]* @len1, i32 0, i32 0 ; <i8*> [#uses=1]
23 %s3 = getelementptr [7 x i8]* @long, i32 0, i32 0 ; <i8*> [#uses=1]
24 %a = call i32 @fputs( i8* %s1, %struct._IO_FILE* %out ) ; <i32> [#uses=0]
25 %b = call i32 @fputs( i8* %s2, %struct._IO_FILE* %out ) ; <i32> [#uses=0]
26 %c = call i32 @fputs( i8* %s3, %struct._IO_FILE* %out ) ; <i32> [#uses=0]
27 ret i32 0
Reid Spencerbb4cae72005-04-29 07:19:00 +000028}
Tanya Lattnerceca1942008-03-10 07:21:50 +000029