| Nikita Popov | 64c54c5 | 2020-10-01 22:42:14 +0200 | [diff] [blame] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| Nikita Popov | cd6f40f | 2020-10-02 20:48:39 +0200 | [diff] [blame] | 2 | ; RUN: opt < %s -basic-aa -memcpyopt -S -enable-memcpyopt-memoryssa=0 | FileCheck %s --check-prefixes=CHECK,NO_MSSA |
| 3 | ; RUN: opt < %s -basic-aa -memcpyopt -S -enable-memcpyopt-memoryssa=1 -verify-memoryssa | FileCheck %s --check-prefixes=CHECK,MSSA |
| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 4 | |
| 5 | target datalayout = "e" |
| 6 | |
| 7 | declare void @foo(i8*) |
| 8 | declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind |
| 9 | |
| 10 | define void @test() { |
| Nikita Popov | 64c54c5 | 2020-10-01 22:42:14 +0200 | [diff] [blame] | 11 | ; CHECK-LABEL: @test( |
| 12 | ; CHECK-NEXT: [[PTR1:%.*]] = alloca i8, align 1 |
| 13 | ; CHECK-NEXT: [[PTR2:%.*]] = alloca i8, align 1 |
| 14 | ; CHECK-NEXT: call void @foo(i8* [[PTR2]]) |
| 15 | ; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i32(i8* [[PTR1]], i8* [[PTR2]], i32 1, i1 false) |
| 16 | ; CHECK-NEXT: call void @foo(i8* [[PTR1]]) |
| 17 | ; CHECK-NEXT: ret void |
| 18 | ; |
| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 19 | %ptr1 = alloca i8 |
| 20 | %ptr2 = alloca i8 |
| 21 | call void @foo(i8* %ptr2) |
| 22 | call void @llvm.memcpy.p0i8.p0i8.i32(i8* %ptr1, i8* %ptr2, i32 1, i1 false) |
| 23 | call void @foo(i8* %ptr1) |
| 24 | ret void |
| 25 | |
| 26 | ; Check that the transformation isn't applied if the called function can |
| 27 | ; capture the pointer argument (i.e. the nocapture attribute isn't present) |
| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 28 | } |