blob: ed7bcac467d6b10ed90bab0a7c32c17a9cbc8606 [file] [log] [blame]
Chris Lattner475cfe42005-09-29 06:11:34 +00001; Test that the memcmpOptimizer works correctly
Dan Gohmanf2f6ce62009-09-11 18:01:28 +00002; RUN: opt < %s -simplify-libcalls -S | not grep {call.*memcmp}
Chris Lattner475cfe42005-09-29 06:11:34 +00003
Tanya Lattnerceca1942008-03-10 07:21:50 +00004@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]
Chris Lattner475cfe42005-09-29 06:11:34 +00007
Tanya Lattnerceca1942008-03-10 07:21:50 +00008declare i32 @memcmp(i8*, i8*, i32)
Chris Lattner475cfe42005-09-29 06:11:34 +00009
Tanya Lattnerceca1942008-03-10 07:21:50 +000010define 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
Benjamin Kramer992a6372009-11-05 17:44:22 +000020 %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
Tanya Lattnerceca1942008-03-10 07:21:50 +000024 ret void
Chris Lattner475cfe42005-09-29 06:11:34 +000025}
Tanya Lattnerceca1942008-03-10 07:21:50 +000026