| Owen Anderson | 132a349 | 2015-03-02 09:35:06 +0000 | [diff] [blame] | 1 | ; RUN: not opt -verify < %s 2>&1 | FileCheck %s |
| 2 | |
| Daniel Neilson | afa2e7e | 2018-01-19 17:13:12 +0000 | [diff] [blame] | 3 | ; CHECK: alignment is not a power of two |
| Owen Anderson | 132a349 | 2015-03-02 09:35:06 +0000 | [diff] [blame] | 4 | |
| 5 | define void @foo(i8* %P, i8* %Q) { |
| Daniel Neilson | afa2e7e | 2018-01-19 17:13:12 +0000 | [diff] [blame] | 6 | call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 3 %P, i8* %Q, i32 4, i1 false) |
| Owen Anderson | 132a349 | 2015-03-02 09:35:06 +0000 | [diff] [blame] | 7 | ret void |
| 8 | } |
| Daniel Neilson | afa2e7e | 2018-01-19 17:13:12 +0000 | [diff] [blame] | 9 | declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind |