1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind 4 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) nounwind 5 6 ; Same src/dest. 7 8 define void @test1(i8* %a) { 9 ; CHECK-LABEL: @test1( 10 ; CHECK-NEXT: ret void 11 ; 12 tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %a, i8* %a, i32 100, i1 false) 13 ret void 14 } 15 16 ; PR8267 - same src/dest, but volatile. 17 18 define void @test2(i8* %a) { 19 ; CHECK-LABEL: @test2( 20 ; CHECK-NEXT: tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %a, i8* %a, i32 100, i1 true) 21 ; CHECK-NEXT: ret void 22 ; 23 tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %a, i8* %a, i32 100, i1 true) 24 ret void 25 } 26 27 ; 17179869184 == 0x400000000 - make sure that doesn't get truncated to 32-bit. 28 29 define void @test3(i8* %d, i8* %s) { 30 ; CHECK-LABEL: @test3( 31 ; CHECK-NEXT: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %d, i8* align 4 %s, i64 17179869184, i1 false) 32 ; CHECK-NEXT: ret void 33 ; 34 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %d, i8* align 4 %s, i64 17179869184, i1 false) 35 ret void 36 } 37 38
