llvm-6502/test/Verifier/memcpy.ll at cae8bc4504c32de1a1c37dc8568ad9a23f37ea02 - llvm-6502 - Applefritter: Git

6502/llvm-6502

mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-11-04 05:17:07 +00:00

Files

Owen Anderson 132a34981f Teach the verifier to enforce that the alignment argument of memory intrinsics must be a power of 2.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@230941 91177308-0d34-0410-b5e6-96231b3b80d8

2015-03-02 09:35:06 +00:00

10 lines

341 B

LLVM

Raw Blame History

 ; RUN: not opt -verify < %s 2>&1 | FileCheck %s
 ; CHECK: alignment argument of memory intrinsics must be a power of 2
 define void @foo(i8* %P, i8* %Q) {
   call void @llvm.memcpy.p0i8.p0i8.i32(i8* %P, i8* %Q, i32 4, i32 3, i1 false)
   ret void
 }
 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32, i1) nounwind