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. 9 define void @qux(i1 %m, double* noalias %x, double* noalias %y, 10 i1 %n, double* noalias %v, double* noalias %w) { 11 entry: 12 br i1 %m, label %true, label %false 13 14 true: 15 br label %exit 16 17 false: 18 br label %exit 19 20 exit: 21 %a = phi double* [ %x, %true ], [ %y, %false ] 22 br i1 %n, label %ntrue, label %nfalse 23 24 ntrue: 25 br label %nexit 26 27 nfalse: 28 br label %nexit 29 30 nexit: 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
