llvm/test/Transforms/Inline/assumptions-from-callsite-attrs.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: opt -S -passes=inline %s | FileCheck %s
   3 ; RUN: opt -S -passes='cgscc(inline)' %s | FileCheck %s
   4 ; RUN: opt -S -passes='module-inline' %s | FileCheck %s
   5
   6 declare void @h(ptr %p, ptr %q, ptr %z)
   7
   8 define void @f(ptr %p, ptr %q, ptr %z) {
   9 ; CHECK-LABEL: define void @f
  10 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[Q:%.*]], ptr [[Z:%.*]]) {
  11 ; CHECK-NEXT:    call void @h(ptr [[P]], ptr [[Q]], ptr [[Z]])
  12 ; CHECK-NEXT:    ret void
  13 ;
  14   call void @g(ptr nonnull %p, ptr %q, ptr nonnull %z)
  15   ret void
  16 }
  17
  18 define void @g(ptr %p, ptr %q, ptr %z) {
  19 ; CHECK-LABEL: define void @g
  20 ; CHECK-SAME: (ptr [[P:%.*]], ptr [[Q:%.*]], ptr [[Z:%.*]]) {
  21 ; CHECK-NEXT:    call void @h(ptr [[P]], ptr [[Q]], ptr [[Z]])
  22 ; CHECK-NEXT:    ret void
  23 ;
  24   call void @h(ptr %p, ptr %q, ptr %z)
  25   ret void
  26 }