blob: 16ae0e749f4c12f9a688e1b23ced4be91f1d8c78 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001; Test that the memcmpOptimizer works correctly
Tanya Lattner003eae52008-03-10 07:21:50 +00002; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis | \
Dan Gohmanf17a25c2007-07-18 16:29:46 +00003; RUN: not grep {call.*memcmp}
Tanya Lattner003eae52008-03-10 07:21:50 +00004; RUN: llvm-as < %s | opt -simplify-libcalls -disable-output
Dan Gohmanf17a25c2007-07-18 16:29:46 +00005
Tanya Lattner003eae52008-03-10 07:21:50 +00006@h = constant [2 x i8] c"h\00" ; <[2 x i8]*> [#uses=0]
7@hel = constant [4 x i8] c"hel\00" ; <[4 x i8]*> [#uses=0]
8@hello_u = constant [8 x i8] c"hello_u\00" ; <[8 x i8]*> [#uses=0]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00009
Tanya Lattner003eae52008-03-10 07:21:50 +000010declare i32 @memcmp(i8*, i8*, i32)
Dan Gohmanf17a25c2007-07-18 16:29:46 +000011
Tanya Lattner003eae52008-03-10 07:21:50 +000012define void @test(i8* %P, i8* %Q, i32 %N, i32* %IP, i1* %BP) {
13 %A = call i32 @memcmp( i8* %P, i8* %P, i32 %N ) ; <i32> [#uses=1]
14 volatile store i32 %A, i32* %IP
15 %B = call i32 @memcmp( i8* %P, i8* %Q, i32 0 ) ; <i32> [#uses=1]
16 volatile store i32 %B, i32* %IP
17 %C = call i32 @memcmp( i8* %P, i8* %Q, i32 1 ) ; <i32> [#uses=1]
18 volatile store i32 %C, i32* %IP
19 %D = call i32 @memcmp( i8* %P, i8* %Q, i32 2 ) ; <i32> [#uses=1]
20 %E = icmp eq i32 %D, 0 ; <i1> [#uses=1]
21 volatile store i1 %E, i1* %BP
22 ret void
Dan Gohmanf17a25c2007-07-18 16:29:46 +000023}
Tanya Lattner003eae52008-03-10 07:21:50 +000024