test/Transforms/InstCombine/memmove.ll

   1 ; This test makes sure that memmove instructions are properly eliminated.
   2 ;
   3 ; RUN: opt %s -instcombine | llvm-dis | \
   4 ; RUN:    not grep {call void @llvm.memmove}
   5
   6 @S = internal constant [33 x i8] c"panic: restorelist inconsistency\00"         ; <[33 x i8]*> [#uses=1]
   7 @h = constant [2 x i8] c"h\00"          ; <[2 x i8]*> [#uses=1]
   8 @hel = constant [4 x i8] c"hel\00"              ; <[4 x i8]*> [#uses=1]
   9 @hello_u = constant [8 x i8] c"hello_u\00"              ; <[8 x i8]*> [#uses=1]
  10
  11
  12 declare void @llvm.memmove.i32(i8*, i8*, i32, i32)
  13
  14 define void @test1(i8* %A, i8* %B, i32 %N) {
  15         call void @llvm.memmove.i32( i8* %A, i8* %B, i32 0, i32 1 )
  16         ret void
  17 }
  18
  19 define void @test2(i8* %A, i32 %N) {
  20         ;; dest can't alias source since we can't write to source!
  21         call void @llvm.memmove.i32( i8* %A, i8* getelementptr ([33 x i8]* @S, i32 0, i32 0), i32 %N, i32 1 )
  22         ret void
  23 }
  24
  25 define i32 @test3() {
  26         %h_p = getelementptr [2 x i8]* @h, i32 0, i32 0         ; <i8*> [#uses=1]
  27         %hel_p = getelementptr [4 x i8]* @hel, i32 0, i32 0             ; <i8*> [#uses=1]
  28         %hello_u_p = getelementptr [8 x i8]* @hello_u, i32 0, i32 0             ; <i8*> [#uses=1]
  29         %target = alloca [1024 x i8]            ; <[1024 x i8]*> [#uses=1]
  30         %target_p = getelementptr [1024 x i8]* %target, i32 0, i32 0            ; <i8*> [#uses=3]
  31         call void @llvm.memmove.i32( i8* %target_p, i8* %h_p, i32 2, i32 2 )
  32         call void @llvm.memmove.i32( i8* %target_p, i8* %hel_p, i32 4, i32 4 )
  33         call void @llvm.memmove.i32( i8* %target_p, i8* %hello_u_p, i32 8, i32 8 )
  34         ret i32 0
  35 }
  36
  37 ; PR2370
  38 define void @test4(i8* %a) {
  39         tail call void @llvm.memmove.i32( i8* %a, i8* %a, i32 100, i32 1 )
  40         ret void
  41 }
  42