1 ; Test that the memcmpOptimizer works correctly 2 ; RUN: opt < %s -simplify-libcalls -S | FileCheck %s 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 ; CHECK-NOT: call {{.*}} memcmp 13 ; CHECK: store volatile 14 store volatile i32 %A, i32* %IP 15 %B = call i32 @memcmp( i8* %P, i8* %Q, i32 0 ) ; <i32> [#uses=1] 16 ; CHECK-NOT: call {{.*}} memcmp 17 ; CHECK: store volatile 18 store volatile i32 %B, i32* %IP 19 %C = call i32 @memcmp( i8* %P, i8* %Q, i32 1 ) ; <i32> [#uses=1] 20 ; CHECK: load 21 ; CHECK: zext 22 ; CHECK: load 23 ; CHECK: zext 24 ; CHECK: sub 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) 30 ; CHECK-NOT: call {{.*}} memcmp 31 ; CHECK: store volatile 32 store volatile i32 %F, i32* %IP 33 ret void 34 } 35 36
