1 ; RUN: opt -basicaa -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s 2 3 declare void @takebyval(i32* byval %p) 4 5 define i32 @tailbyval() { 6 entry: 7 %p = alloca i32 8 store i32 42, i32* %p 9 tail call void @takebyval(i32* byval %p) 10 %rv = load i32, i32* %p 11 ret i32 %rv 12 } 13 ; FIXME: This should be Just Ref. 14 ; CHECK-LABEL: Function: tailbyval: 1 pointers, 1 call sites 15 ; CHECK-NEXT: Both ModRef: Ptr: i32* %p <-> tail call void @takebyval(i32* byval %p) 16
