Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / llvm / f03bb260c90ad013aa4e55af36382875011c95b8 / . / test / Transforms / SimplifyLibCalls / memcmp.ll
blob: 6ca4dc97a194e6fc5a2ad13414f12da11f223488 [file] [log] [blame]
Chris Lattner475cfe42005-09-29 06:11:34 +0000[diff] [blame]1; Test that the memcmpOptimizer works correctly
Benjamin Kramer48aefe12010-05-25 22:53:43 +0000[diff] [blame]2; RUN: opt < %s -simplify-libcalls -S | FileCheck %s
Chris Lattner475cfe42005-09-29 06:11:34 +0000[diff] [blame]3
Tanya Lattnerceca1942008-03-10 07:21:50 +0000[diff] [blame]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]
Chris Lattner475cfe42005-09-29 06:11:34 +0000[diff] [blame]7
Tanya Lattnerceca1942008-03-10 07:21:50 +0000[diff] [blame]8declare i32 @memcmp(i8*, i8*, i32)
Chris Lattner475cfe42005-09-29 06:11:34 +0000[diff] [blame]9
Tanya Lattnerceca1942008-03-10 07:21:50 +0000[diff] [blame]10define 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]
Benjamin Kramer48aefe12010-05-25 22:53:43 +0000[diff] [blame]12; CHECK-NOT: call {{.*}} memcmp
Eli Friedmanf03bb262011-08-12 22:50:01 +0000[diff] [blame^]13; CHECK: store volatile
14 store volatile i32 %A, i32* %IP
Tanya Lattnerceca1942008-03-10 07:21:50 +0000[diff] [blame]15 %B = call i32 @memcmp( i8* %P, i8* %Q, i32 0 ) ; <i32> [#uses=1]
Benjamin Kramer48aefe12010-05-25 22:53:43 +0000[diff] [blame]16; CHECK-NOT: call {{.*}} memcmp
Eli Friedmanf03bb262011-08-12 22:50:01 +0000[diff] [blame^]17; CHECK: store volatile
18 store volatile i32 %B, i32* %IP
Tanya Lattnerceca1942008-03-10 07:21:50 +0000[diff] [blame]19 %C = call i32 @memcmp( i8* %P, i8* %Q, i32 1 ) ; <i32> [#uses=1]
Benjamin Kramer48aefe12010-05-25 22:53:43 +0000[diff] [blame]20; CHECK: load
21; CHECK: zext
22; CHECK: load
23; CHECK: zext
24; CHECK: sub
Eli Friedmanf03bb262011-08-12 22:50:01 +0000[diff] [blame^]25; CHECK: store volatile
26 store volatile i32 %C, i32* %IP
27 %F = call i32 @memcmp(i8* getelementptr ([4 x i8]* @hel, i32 0, i32 0),
28 i8* getelementptr ([8 x i8]* @hello_u, i32 0, i32 0),
29 i32 3)
Benjamin Kramer48aefe12010-05-25 22:53:43 +0000[diff] [blame]30; CHECK-NOT: call {{.*}} memcmp
Eli Friedmanf03bb262011-08-12 22:50:01 +0000[diff] [blame^]31; CHECK: store volatile
32 store volatile i32 %F, i32* %IP
Tanya Lattnerceca1942008-03-10 07:21:50 +0000[diff] [blame]33 ret void
Chris Lattner475cfe42005-09-29 06:11:34 +0000[diff] [blame]34}
Tanya Lattnerceca1942008-03-10 07:21:50 +0000[diff] [blame]35