49 lines · plain
1; RUN: opt -S < %s | FileCheck %s2 3; Test to ensure that calls to the memcpy/memmove/memset intrinsics are auto-upgraded4; to remove the alignment parameter in favour of align attributes on the pointer args.5 6; Make sure a non-zero alignment is propagated7define void @test(ptr %p1, ptr %p2, ptr %p3) {8; CHECK-LABEL: @test9; 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 void16}17 18; Make sure that a zero alignment is handled properly19define void @test2(ptr %p1, ptr %p2, ptr %p3) {20; CHECK-LABEL: @test21; 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 void28}29 30; Make sure that attributes are not dropped31define void @test3(ptr %p1, ptr %p2, ptr %p3) {32; CHECK-LABEL: @test33; 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 void40}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