test/Transforms/InstCombine/memmove.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; This test makes sure that memmove instructions are properly eliminated.
   3 ;
   4 ; RUN: opt < %s -instcombine -S | FileCheck %s
   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 define void @test1(i8* %A, i8* %B, i32 %N) {
  12 ; CHECK-LABEL: @test1(
  13 ; CHECK-NEXT:    ret void
  14 ;
  15   call void @llvm.memmove.p0i8.p0i8.i32(i8* %A, i8* %B, i32 0, i1 false)
  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 ; CHECK-LABEL: @test2(
  22 ; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 [[A:%.*]], i8* align 16 getelementptr inbounds ([33 x i8], [33 x i8]* @S, i64 0, i64 0), i32 [[N:%.*]], i1 false)
  23 ; CHECK-NEXT:    ret void
  24 ;
  25   call void @llvm.memmove.p0i8.p0i8.i32(i8* %A, i8* getelementptr inbounds ([33 x i8], [33 x i8]* @S, i32 0, i32 0), i32 %N, i1 false)
  26   ret void
  27 }
  28
  29 define i32 @test3([1024 x i8]* %target) { ; arg: [1024 x i8]*> [#uses=1]
  30 ; CHECK-LABEL: @test3(
  31 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast [1024 x i8]* [[TARGET:%.*]] to i16*
  32 ; CHECK-NEXT:    store i16 104, i16* [[TMP1]], align 2
  33 ; CHECK-NEXT:    [[TMP2:%.*]] = bitcast [1024 x i8]* [[TARGET]] to i32*
  34 ; CHECK-NEXT:    store i32 7103848, i32* [[TMP2]], align 4
  35 ; CHECK-NEXT:    [[TMP3:%.*]] = bitcast [1024 x i8]* [[TARGET]] to i64*
  36 ; CHECK-NEXT:    store i64 33037504440198504, i64* [[TMP3]], align 8
  37 ; CHECK-NEXT:    ret i32 0
  38 ;
  39   %h_p = getelementptr [2 x i8], [2 x i8]* @h, i32 0, i32 0             ; <i8*> [#uses=1]
  40   %hel_p = getelementptr [4 x i8], [4 x i8]* @hel, i32 0, i32 0         ; <i8*> [#uses=1]
  41   %hello_u_p = getelementptr [8 x i8], [8 x i8]* @hello_u, i32 0, i32 0         ; <i8*> [#uses=1]
  42   %target_p = getelementptr [1024 x i8], [1024 x i8]* %target, i32 0, i32 0             ; <i8*> [#uses=3]
  43   call void @llvm.memmove.p0i8.p0i8.i32(i8* align 2 %target_p, i8* align 2 %h_p, i32 2, i1 false)
  44   call void @llvm.memmove.p0i8.p0i8.i32(i8* align 4 %target_p, i8* align 4 %hel_p, i32 4, i1 false)
  45   call void @llvm.memmove.p0i8.p0i8.i32(i8* align 8 %target_p, i8* align 8 %hello_u_p, i32 8, i1 false)
  46   ret i32 0
  47 }
  48
  49 ; PR2370
  50 define void @test4(i8* %a) {
  51 ; CHECK-LABEL: @test4(
  52 ; CHECK-NEXT:    ret void
  53 ;
  54   tail call void @llvm.memmove.p0i8.p0i8.i32(i8* %a, i8* %a, i32 100, i1 false)
  55   ret void
  56 }
  57
  58 @UnknownConstant = external constant i128
  59
  60 define void @memmove_to_constant(i8* %src) {
  61 ; CHECK-LABEL: @memmove_to_constant(
  62 ; CHECK-NEXT:    ret void
  63 ;
  64   %dest = bitcast i128* @UnknownConstant to i8*
  65   call void @llvm.memmove.p0i8.p0i8.i32(i8* %dest, i8* %src, i32 16, i1 false)
  66   ret void
  67 }
  68
  69
  70 declare void @llvm.memmove.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i1) argmemonly nounwind