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