1; RUN: opt -S < %s | FileCheck %s 2 3; Test to ensure that calls to the memcpy/memmove/memset intrinsics are auto-upgraded 4; to remove the alignment parameter in favour of align attributes on the pointer args. 5 6; Make sure a non-zero alignment is propagated 7define void @test(ptr %p1, ptr %p2, ptr %p3) { 8; CHECK-LABEL: @test 9; CHECK: call void @llvm.memset.p0.i64(ptr align 4 %p1, i8 55, i64 100, i1 false) 10; CHECK: call void @llvm.memcpy.p0.p0.i64(ptr align 4 %p1, ptr align 4 %p2, i64 50, i1 false) 11; CHECK: call void @llvm.memmove.p0.p0.i64(ptr align 4 %p2, ptr align 4 %p3, i64 1000, i1 false) 12 call void @llvm.memset.p0.i64(ptr %p1, i8 55, i64 100, i32 4, i1 false) 13 call void @llvm.memcpy.p0.p0.i64(ptr %p1, ptr %p2, i64 50, i32 4, i1 false) 14 call void @llvm.memmove.p0.p0.i64(ptr %p2, ptr %p3, i64 1000, i32 4, i1 false) 15 ret void 16} 17 18; Make sure that a zero alignment is handled properly 19define void @test2(ptr %p1, ptr %p2, ptr %p3) { 20; CHECK-LABEL: @test 21; CHECK: call void @llvm.memset.p0.i64(ptr %p1, i8 55, i64 100, i1 false) 22; CHECK: call void @llvm.memcpy.p0.p0.i64(ptr %p1, ptr %p2, i64 50, i1 false) 23; CHECK: call void @llvm.memmove.p0.p0.i64(ptr %p2, ptr %p3, i64 1000, i1 false) 24 call void @llvm.memset.p0.i64(ptr %p1, i8 55, i64 100, i32 0, i1 false) 25 call void @llvm.memcpy.p0.p0.i64(ptr %p1, ptr %p2, i64 50, i32 0, i1 false) 26 call void @llvm.memmove.p0.p0.i64(ptr %p2, ptr %p3, i64 1000, i32 0, i1 false) 27 ret void 28} 29 30; Make sure that attributes are not dropped 31define void @test3(ptr %p1, ptr %p2, ptr %p3) { 32; CHECK-LABEL: @test 33; CHECK: call void @llvm.memset.p0.i64(ptr nonnull align 4 %p1, i8 signext 55, i64 zeroext 100, i1 false) 34; CHECK: call void @llvm.memcpy.p0.p0.i64(ptr nonnull align 4 %p1, ptr readonly align 4 %p2, i64 zeroext 50, i1 false) 35; CHECK: call void @llvm.memmove.p0.p0.i64(ptr nonnull align 4 %p2, ptr readonly align 4 %p3, i64 zeroext 1000, i1 false) 36 call void @llvm.memset.p0.i64(ptr nonnull %p1, i8 signext 55, i64 zeroext 100, i32 signext 4, i1 false) 37 call void @llvm.memcpy.p0.p0.i64(ptr nonnull %p1, ptr readonly %p2, i64 zeroext 50, i32 signext 4, i1 false) 38 call void @llvm.memmove.p0.p0.i64(ptr nonnull %p2, ptr readonly %p3, i64 zeroext 1000, i32 signext 4, i1 false) 39 ret void 40} 41 42; CHECK: declare void @llvm.memset.p0.i64(ptr writeonly captures(none), i8, i64, i1 immarg) 43; CHECK: declare void @llvm.memcpy.p0.p0.i64(ptr noalias writeonly captures(none), ptr noalias readonly captures(none), i64, i1 immarg) 44; CHECK: declare void @llvm.memmove.p0.p0.i64(ptr writeonly captures(none), ptr readonly captures(none), i64, i1 immarg) 45declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i32, i1) 46declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly , ptr nocapture readonly, i64, i32, i1) 47declare void @llvm.memmove.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i32, i1) 48 49