clang/test/CodeGen/builtin-align-assumption.c

   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 //
   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 }