| Philip Reames | bb03446 | 2020-10-01 16:44:12 -0700 | [diff] [blame] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| Bjorn Pettersson | a11faee | 2022-12-01 21:00:24 +0100 | [diff] [blame] | 2 | ; RUN: opt -passes=memcpyopt -S < %s -verify-memoryssa | FileCheck %s |
| Philip Reames | bb03446 | 2020-10-01 16:44:12 -0700 | [diff] [blame] | 3 | |
| 4 | target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128-ni:1" |
| 5 | |
| Nikita Popov | 42d98d8 | 2022-10-05 14:26:57 +0200 | [diff] [blame] | 6 | define void @illegal_memset(ptr %p) { |
| Philip Reames | bb03446 | 2020-10-01 16:44:12 -0700 | [diff] [blame] | 7 | ; CHECK-LABEL: @illegal_memset( |
| 8 | ; CHECK-NEXT: entry: |
| Nikita Popov | 42d98d8 | 2022-10-05 14:26:57 +0200 | [diff] [blame] | 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 1 |
| 11 | ; CHECK-NEXT: store ptr addrspace(1) null, ptr [[GEP]], align 8 |
| Philip Reames | bb03446 | 2020-10-01 16:44:12 -0700 | [diff] [blame] | 12 | ; CHECK-NEXT: ret void |
| 13 | ; |
| 14 | entry: |
| Nikita Popov | 42d98d8 | 2022-10-05 14:26:57 +0200 | [diff] [blame] | 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 1 |
| 17 | store ptr addrspace(1) null, ptr %gep |
| Philip Reames | bb03446 | 2020-10-01 16:44:12 -0700 | [diff] [blame] | 18 | ret void |
| 19 | } |
| 20 | |
| Nikita Popov | 42d98d8 | 2022-10-05 14:26:57 +0200 | [diff] [blame] | 21 | define void @illegal_memcpy(ptr noalias align 16 %a, |
| Philip Reames | bb03446 | 2020-10-01 16:44:12 -0700 | [diff] [blame] | 22 | ; CHECK-LABEL: @illegal_memcpy( |
| Nikita Popov | 42d98d8 | 2022-10-05 14:26:57 +0200 | [diff] [blame] | 23 | ; CHECK-NEXT: [[VAL:%.*]] = load <2 x ptr addrspace(1)>, ptr [[A:%.*]], align 16 |
| 24 | ; CHECK-NEXT: store <2 x ptr addrspace(1)> [[VAL]], ptr [[B:%.*]], align 16 |
| Philip Reames | bb03446 | 2020-10-01 16:44:12 -0700 | [diff] [blame] | 25 | ; CHECK-NEXT: ret void |
| 26 | ; |
| Nikita Popov | 42d98d8 | 2022-10-05 14:26:57 +0200 | [diff] [blame] | 27 | ptr noalias align 16 %b) { |
| 28 | %val = load <2 x ptr addrspace(1)>, ptr %a, align 16 |
| 29 | store <2 x ptr addrspace(1)> %val, ptr %b, align 16 |
| Philip Reames | bb03446 | 2020-10-01 16:44:12 -0700 | [diff] [blame] | 30 | ret void |
| 31 | } |
| 32 | |
| Nikita Popov | 42d98d8 | 2022-10-05 14:26:57 +0200 | [diff] [blame] | 33 | declare void @llvm.memset.p1.i64(ptr addrspace(1), i8, i64, i32, i1) |
| 34 | declare void @llvm.memset.p0.i64(ptr, i8, i64, i32, i1) |
