xref: /llvm-project/clang/test/CodeGen/builtin-align-assumption.c (revision 39db5e1ed87363a9ffea81e53520b542201b3262)
1 /// Check that the new alignment set by the alignment builtins is propagated
2 /// to e.g. llvm.memcpy calls.
3 // RUN: %clang_cc1 -triple=x86_64-unknown-unknown %s -emit-llvm -O1 -o - | FileCheck %s
4 
5 // CHECK-LABEL: define {{[^@]+}}@align_up
6 // CHECK:         call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 64 dereferenceable(16) {{%.+}}, ptr noundef nonnull align 1 dereferenceable(16) {{%.+}}, i64 16, i1 false)
7 // CHECK-NEXT:    ret void
8 //
align_up(void * data,int * ptr)9 void align_up(void* data, int* ptr) {
10   // The call to llvm.memcpy should have an "align 64" on the first argument
11   __builtin_memcpy(__builtin_align_up(ptr, 64), data, 16);
12 }
13