13b059841SGeorge Burgess IV; This testcase ensures that CFL AA won't be too conservative when trying to do 23b059841SGeorge Burgess IV; interprocedural analysis on simple callee 33b059841SGeorge Burgess IV 43b059841SGeorge Burgess IV; RUN: opt < %s -aa-pipeline=cfl-anders-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s 53b059841SGeorge Burgess IV 63b059841SGeorge Burgess IV; CHECK-LABEL: Function: noop_callee 73b059841SGeorge Burgess IV; CHECK: MayAlias: i32* %arg1, i32* %arg2 83b059841SGeorge Burgess IVdefine void @noop_callee(i32* %arg1, i32* %arg2) { 93b059841SGeorge Burgess IV store i32 0, i32* %arg1 103b059841SGeorge Burgess IV store i32 0, i32* %arg2 113b059841SGeorge Burgess IV ret void 123b059841SGeorge Burgess IV} 133b059841SGeorge Burgess IV; CHECK-LABEL: Function: test_noop 143b059841SGeorge Burgess IV; CHECK: NoAlias: i32* %a, i32* %b 153b059841SGeorge Burgess IVdefine void @test_noop() { 163b059841SGeorge Burgess IV %a = alloca i32, align 4 173b059841SGeorge Burgess IV %b = alloca i32, align 4 18*57d57b1aSNikita Popov load i32, i32* %a 19*57d57b1aSNikita Popov load i32, i32* %b 203b059841SGeorge Burgess IV call void @noop_callee(i32* %a, i32* %b) 213b059841SGeorge Burgess IV 223b059841SGeorge Burgess IV ret void 233b059841SGeorge Burgess IV} 24