1; RUN: opt < %s -cfl-steens-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s 2; Derived from (a subset of) BasicAA/phi-and-select.ll 3 4; CHECK: Function: qux 5; CHECK: NoAlias: double* %a, double* %b 6; CHECK: ===== Alias Analysis Evaluator Report ===== 7 8; Two PHIs with disjoint sets of inputs. 9define void @qux(i1 %m, double* noalias %x, double* noalias %y, 10 i1 %n, double* noalias %v, double* noalias %w) { 11entry: 12 br i1 %m, label %true, label %false 13 14true: 15 br label %exit 16 17false: 18 br label %exit 19 20exit: 21 %a = phi double* [ %x, %true ], [ %y, %false ] 22 br i1 %n, label %ntrue, label %nfalse 23 24ntrue: 25 br label %nexit 26 27nfalse: 28 br label %nexit 29 30nexit: 31 %b = phi double* [ %v, %ntrue ], [ %w, %nfalse ] 32 store volatile double 0.0, double* %a 33 store volatile double 1.0, double* %b 34 ret void 35} 36 37