Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / llvm / 48aefe15d08e4046b94715ea44e1f4a94af481a6 / . / test / Transforms / SimplifyLibCalls / memcmp.ll
blob: ee99501bc0d834db3068f1a655e9969024080d81 [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
13; CHECK: volatile store
Tanya Lattnerceca1942008-03-10 07:21:50 +0000[diff] [blame]14 volatile store i32 %A, i32* %IP
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
17; CHECK: volatile store
Tanya Lattnerceca1942008-03-10 07:21:50 +0000[diff] [blame]18 volatile store i32 %B, i32* %IP
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
25; CHECK: volatile store
Tanya Lattnerceca1942008-03-10 07:21:50 +0000[diff] [blame]26 volatile store i32 %C, i32* %IP
Benjamin Kramer992a6372009-11-05 17:44:22 +0000[diff] [blame]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
31; CHECK: volatile store
Benjamin Kramer992a6372009-11-05 17:44:22 +0000[diff] [blame]32 volatile store 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