xref: /llvm-project/polly/test/Simplify/pass_existence.ll (revision e1f056f692d869708c1898d9d65a69ac5584a0ed) 
1; RUN: opt %loadNPMPolly -disable-output "-passes=scop(print<polly-simplify>)" < %s -aa-pipeline=basic-aa < %s | FileCheck %s
2;
3; Simple test for the existence of the Simplify pass.
4;
5; for (int j = 0; j < n; j += 1)
6;   A[0] = 0.0;
7;
8define void @func(i32 %n, ptr noalias nonnull %A) {
9entry:
10  br label %for
11
12for:
13  %j = phi i32 [0, %entry], [%j.inc, %inc]
14  %j.cmp = icmp slt i32 %j, %n
15  br i1 %j.cmp, label %body, label %exit
16
17    body:
18      store double 0.0, ptr %A
19      br label %inc
20
21inc:
22  %j.inc = add nuw nsw i32 %j, 1
23  br label %for
24
25exit:
26  br label %return
27
28return:
29  ret void
30}
31
32
33; CHECK: SCoP could not be simplified
34