35 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=memcpyopt -S < %s -verify-memoryssa | FileCheck %s3 4target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128-ni:1"5 6define void @illegal_memset(ptr %p) {7; CHECK-LABEL: @illegal_memset(8; CHECK-NEXT: entry:9; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr [[P:%.*]], i8 0, i64 8, i1 false)10; CHECK-NEXT: [[GEP:%.*]] = getelementptr ptr addrspace(1), ptr [[P]], i64 111; CHECK-NEXT: store ptr addrspace(1) null, ptr [[GEP]], align 812; CHECK-NEXT: ret void13;14entry:15 call void @llvm.memset.p0.i64(ptr %p, i8 0, i64 8, i32 0, i1 false)16 %gep = getelementptr ptr addrspace(1), ptr %p, i64 117 store ptr addrspace(1) null, ptr %gep18 ret void19}20 21define void @illegal_memcpy(ptr noalias align 16 %a,22; CHECK-LABEL: @illegal_memcpy(23; CHECK-NEXT: [[VAL:%.*]] = load <2 x ptr addrspace(1)>, ptr [[A:%.*]], align 1624; CHECK-NEXT: store <2 x ptr addrspace(1)> [[VAL]], ptr [[B:%.*]], align 1625; CHECK-NEXT: ret void26;27 ptr noalias align 16 %b) {28 %val = load <2 x ptr addrspace(1)>, ptr %a, align 1629 store <2 x ptr addrspace(1)> %val, ptr %b, align 1630 ret void31}32 33declare void @llvm.memset.p1.i64(ptr addrspace(1), i8, i64, i32, i1)34declare void @llvm.memset.p0.i64(ptr, i8, i64, i32, i1)35