| ; RUN: opt < %s -basicaa -memcpyopt -S | FileCheck %s |
| |
| target datalayout = "e" |
| |
| declare void @foo(i8*) |
| declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind |
| |
| define void @test() { |
| %ptr1 = alloca i8 |
| %ptr2 = alloca i8 |
| call void @foo(i8* %ptr2) |
| call void @llvm.memcpy.p0i8.p0i8.i32(i8* %ptr1, i8* %ptr2, i32 1, i1 false) |
| call void @foo(i8* %ptr1) |
| ret void |
| |
| ; Check that the transformation isn't applied if the called function can |
| ; capture the pointer argument (i.e. the nocapture attribute isn't present) |
| ; CHECK-LABEL: @test( |
| ; CHECK: call void @foo(i8* %ptr2) |
| ; CHECK-NEXT: call void @llvm.memcpy |
| ; CHECK-NEXT: call void @foo(i8* %ptr1) |
| } |