1; RUN: opt -S < %s -instcombine | FileCheck %s
2target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f80:128:128-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32-S32"
3
4@G = constant [3 x i8] c"%s\00"		; <[3 x i8]*> [#uses=1]
5
6declare i32 @sprintf(i8*, i8*, ...)
7
8define void @foo(i8* %P, i32* %X) {
9	call i32 (i8*, i8*, ...) @sprintf( i8* %P, i8* getelementptr ([3 x i8], [3 x i8]* @G, i32 0, i32 0), i32* %X )		; <i32>:1 [#uses=0]
10	ret void
11}
12
13; PR1307
14@str = internal constant [5 x i8] c"foog\00"
15@str1 = internal constant [8 x i8] c"blahhh!\00"
16@str2 = internal constant [5 x i8] c"Ponk\00"
17
18define i8* @test1() {
19        %tmp3 = tail call i8* @strchr( i8* getelementptr ([5 x i8], [5 x i8]* @str, i32 0, i32 2), i32 103 )              ; <i8*> [#uses=1]
20        ret i8* %tmp3
21
22; CHECK-LABEL: @test1(
23; CHECK: ret i8* getelementptr inbounds ([5 x i8], [5 x i8]* @str, i32 0, i32 3)
24}
25
26declare i8* @strchr(i8*, i32)
27
28define i8* @test2() {
29        %tmp3 = tail call i8* @strchr( i8* getelementptr ([8 x i8], [8 x i8]* @str1, i32 0, i32 2), i32 0 )               ; <i8*> [#uses=1]
30        ret i8* %tmp3
31
32; CHECK-LABEL: @test2(
33; CHECK: ret i8* getelementptr inbounds ([8 x i8], [8 x i8]* @str1, i32 0, i32 7)
34}
35
36define i8* @test3() {
37entry:
38        %tmp3 = tail call i8* @strchr( i8* getelementptr ([5 x i8], [5 x i8]* @str2, i32 0, i32 1), i32 80 )              ; <i8*> [#uses=1]
39        ret i8* %tmp3
40
41; CHECK-LABEL: @test3(
42; CHECK: ret i8* null
43}
44
45@_2E_str = external constant [5 x i8]		; <[5 x i8]*> [#uses=1]
46
47declare i32 @memcmp(i8*, i8*, i32) nounwind readonly
48
49define i1 @PR2341(i8** %start_addr) {
50entry:
51	%tmp4 = load i8*, i8** %start_addr, align 4		; <i8*> [#uses=1]
52	%tmp5 = call i32 @memcmp( i8* %tmp4, i8* getelementptr ([5 x i8], [5 x i8]* @_2E_str, i32 0, i32 0), i32 4 ) nounwind readonly 		; <i32> [#uses=1]
53	%tmp6 = icmp eq i32 %tmp5, 0		; <i1> [#uses=1]
54	ret i1 %tmp6
55
56; CHECK-LABEL: @PR2341(
57; CHECK: i32
58}
59
60define i32 @PR4284() nounwind {
61entry:
62	%c0 = alloca i8, align 1		; <i8*> [#uses=2]
63	%c2 = alloca i8, align 1		; <i8*> [#uses=2]
64	store i8 64, i8* %c0
65	store i8 -127, i8* %c2
66	%call = call i32 @memcmp(i8* %c0, i8* %c2, i32 1)		; <i32> [#uses=1]
67	ret i32 %call
68
69; CHECK-LABEL: @PR4284(
70; CHECK: ret i32 -65
71}
72
73%struct.__sFILE = type { i8*, i32, i32, i16, i16, %struct.__sbuf, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.__sbuf, i8*, i32, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64, %struct.pthread_mutex*, %struct.pthread*, i32, i32, %union.anon }
74%struct.__sbuf = type { i8*, i32, [4 x i8] }
75%struct.pthread = type opaque
76%struct.pthread_mutex = type opaque
77%union.anon = type { i64, [120 x i8] }
78@.str13 = external constant [2 x i8]		; <[2 x i8]*> [#uses=1]
79@.str14 = external constant [2 x i8]		; <[2 x i8]*> [#uses=1]
80
81define i32 @PR4641(i32 %argc, i8** %argv) nounwind {
82entry:
83	call void @exit(i32 0) nounwind
84	%cond392 = select i1 undef, i8* getelementptr ([2 x i8], [2 x i8]* @.str13, i32 0, i32 0), i8* getelementptr ([2 x i8], [2 x i8]* @.str14, i32 0, i32 0)		; <i8*> [#uses=1]
85	%call393 = call %struct.__sFILE* @fopen(i8* undef, i8* %cond392) nounwind		; <%struct.__sFILE*> [#uses=0]
86	unreachable
87}
88
89declare %struct.__sFILE* @fopen(i8*, i8*)
90
91declare void @exit(i32)
92
93define i32 @PR4645() {
94entry:
95	br label %if.then
96
97lor.lhs.false:		; preds = %while.body
98	br i1 undef, label %if.then, label %for.cond
99
100if.then:		; preds = %lor.lhs.false, %while.body
101	call void @exit(i32 1)
102	br label %for.cond
103
104for.cond:		; preds = %for.end, %if.then, %lor.lhs.false
105	%j.0 = phi i32 [ %inc47, %for.end ], [ 0, %if.then ], [ 0, %lor.lhs.false ]		; <i32> [#uses=1]
106	unreachable
107
108for.end:		; preds = %for.cond20
109	%inc47 = add i32 %j.0, 1		; <i32> [#uses=1]
110	br label %for.cond
111}
112
113@h = constant [2 x i8] c"h\00"		; <[2 x i8]*> [#uses=1]
114@hel = constant [4 x i8] c"hel\00"		; <[4 x i8]*> [#uses=1]
115@hello_u = constant [8 x i8] c"hello_u\00"		; <[8 x i8]*> [#uses=1]
116
117define i32 @MemCpy() {
118  %h_p = getelementptr [2 x i8], [2 x i8]* @h, i32 0, i32 0
119  %hel_p = getelementptr [4 x i8], [4 x i8]* @hel, i32 0, i32 0
120  %hello_u_p = getelementptr [8 x i8], [8 x i8]* @hello_u, i32 0, i32 0
121  %target = alloca [1024 x i8]
122  %target_p = getelementptr [1024 x i8], [1024 x i8]* %target, i32 0, i32 0
123  call void @llvm.memcpy.p0i8.p0i8.i32(i8* %target_p, i8* %h_p, i32 2, i32 2, i1 false)
124  call void @llvm.memcpy.p0i8.p0i8.i32(i8* %target_p, i8* %hel_p, i32 4, i32 4, i1 false)
125  call void @llvm.memcpy.p0i8.p0i8.i32(i8* %target_p, i8* %hello_u_p, i32 8, i32 8, i1 false)
126  ret i32 0
127
128; CHECK-LABEL: @MemCpy(
129; CHECK-NOT: llvm.memcpy
130; CHECK: ret i32 0
131}
132
133declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32, i1) nounwind
134
135declare i32 @strcmp(i8*, i8*) #0
136
137define void @test9(i8* %x) {
138; CHECK-LABEL: @test9(
139; CHECK-NOT: strcmp
140  %y = call i32 @strcmp(i8* %x, i8* %x) #1
141  ret void
142}
143
144attributes #0 = { nobuiltin }
145attributes #1 = { builtin }
146