source: icGREP/icgrep-devel/llvm-3.8.0.src/test/Analysis/CFLAliasAnalysis/phi-and-select.ll @ 5027

Last change on this file since 5027 was 5027, checked in by cameron, 3 years ago

Upgrade to llvm 3.8

File size: 841 bytes
Line 
1; RUN: opt < %s -cfl-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
Note: See TracBrowser for help on using the repository browser.