We now thread some impossible condition information with LVI.
[oota-llvm.git] / test / Transforms / SimplifyLibCalls / memcmp.ll
1 ; Test that the memcmpOptimizer works correctly
2 ; RUN: opt < %s -simplify-libcalls -S | not grep {call.*memcmp}
3
4 @h = constant [2 x i8] c"h\00"          ; <[2 x i8]*> [#uses=0]
5 @hel = constant [4 x i8] c"hel\00"              ; <[4 x i8]*> [#uses=0]
6 @hello_u = constant [8 x i8] c"hello_u\00"              ; <[8 x i8]*> [#uses=0]
7
8 declare i32 @memcmp(i8*, i8*, i32)
9
10 define void @test(i8* %P, i8* %Q, i32 %N, i32* %IP, i1* %BP) {
11         %A = call i32 @memcmp( i8* %P, i8* %P, i32 %N )         ; <i32> [#uses=1]
12         volatile store i32 %A, i32* %IP
13         %B = call i32 @memcmp( i8* %P, i8* %Q, i32 0 )          ; <i32> [#uses=1]
14         volatile store i32 %B, i32* %IP
15         %C = call i32 @memcmp( i8* %P, i8* %Q, i32 1 )          ; <i32> [#uses=1]
16         volatile store i32 %C, i32* %IP
17         %D = call i32 @memcmp( i8* %P, i8* %Q, i32 2 )          ; <i32> [#uses=1]
18         %E = icmp eq i32 %D, 0          ; <i1> [#uses=1]
19         volatile store i1 %E, i1* %BP
20         %F = call i32 @memcmp(i8* getelementptr ([4 x i8]* @hel, i32 0, i32 0),
21                               i8* getelementptr ([8 x i8]* @hello_u, i32 0, i32 0),
22                               i32 3)
23         volatile store i32 %F, i32* %IP
24         ret void
25 }
26