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 -passes=instcombine -S | FileCheck %s 5 6@S = internal constant [33 x i8] c"panic: restorelist inconsistency\00" ; <ptr> [#uses=1] 7@h = constant [2 x i8] c"h\00" ; <ptr> [#uses=1] 8@hel = constant [4 x i8] c"hel\00" ; <ptr> [#uses=1] 9@hello_u = constant [8 x i8] c"hello_u\00" ; <ptr> [#uses=1] 10 11define void @test1(ptr %A, ptr %B, i32 %N) { 12; CHECK-LABEL: @test1( 13; CHECK-NEXT: ret void 14; 15 call void @llvm.memmove.p0.p0.i32(ptr %A, ptr %B, i32 0, i1 false) 16 ret void 17} 18 19define void @test2(ptr %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.p0.p0.i32(ptr align 1 [[A:%.*]], ptr nonnull align 16 @S, i32 [[N:%.*]], i1 false) 23; CHECK-NEXT: ret void 24; 25 call void @llvm.memmove.p0.p0.i32(ptr %A, ptr @S, i32 %N, i1 false) 26 ret void 27} 28 29define i32 @test3(ptr %target) { ; arg: ptr> [#uses=1] 30; CHECK-LABEL: @test3( 31; CHECK-NEXT: store i16 104, ptr [[TARGET:%.*]], align 2 32; CHECK-NEXT: store i32 7103848, ptr [[TARGET]], align 4 33; CHECK-NEXT: store i64 33037504440198504, ptr [[TARGET]], align 8 34; CHECK-NEXT: ret i32 0 35; 36 %h_p = getelementptr [2 x i8], ptr @h, i32 0, i32 0 ; <ptr> [#uses=1] 37 %hel_p = getelementptr [4 x i8], ptr @hel, i32 0, i32 0 ; <ptr> [#uses=1] 38 %hello_u_p = getelementptr [8 x i8], ptr @hello_u, i32 0, i32 0 ; <ptr> [#uses=1] 39 %target_p = getelementptr [1024 x i8], ptr %target, i32 0, i32 0 ; <ptr> [#uses=3] 40 call void @llvm.memmove.p0.p0.i32(ptr align 2 %target_p, ptr align 2 %h_p, i32 2, i1 false) 41 call void @llvm.memmove.p0.p0.i32(ptr align 4 %target_p, ptr align 4 %hel_p, i32 4, i1 false) 42 call void @llvm.memmove.p0.p0.i32(ptr align 8 %target_p, ptr align 8 %hello_u_p, i32 8, i1 false) 43 ret i32 0 44} 45 46; PR2370 47define void @test4(ptr %a) { 48; CHECK-LABEL: @test4( 49; CHECK-NEXT: ret void 50; 51 tail call void @llvm.memmove.p0.p0.i32(ptr %a, ptr %a, i32 100, i1 false) 52 ret void 53} 54 55@UnknownConstant = external constant i128 56 57define void @memmove_to_constant(ptr %src) { 58; CHECK-LABEL: @memmove_to_constant( 59; CHECK-NEXT: ret void 60; 61 call void @llvm.memmove.p0.p0.i32(ptr @UnknownConstant, ptr %src, i32 16, i1 false) 62 ret void 63} 64 65 66declare void @llvm.memmove.p0.p0.i32(ptr nocapture, ptr nocapture readonly, i32, i1) argmemonly nounwind 67