test/Transforms/SimplifyLibCalls/memcmp.ll

   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: volatile store
  14         volatile store 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: volatile store
  18         volatile store 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: volatile store
  26         volatile store 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: volatile store
  32         volatile store i32 %F, i32* %IP
  33         ret void
  34 }
  35