1; RUN: opt %loadPolly -polly-scops -disable-output -polly-isl-arg=-V < %s | FileCheck %s -match-full-lines --check-prefix=VERSION
2; RUN: opt %loadPolly -polly-scops -disable-output -polly-isl-arg=-h < %s | FileCheck %s -match-full-lines --check-prefix=HELP
3; RUN: not opt %loadPolly -polly-scops -disable-output -polly-isl-arg=-asdf < %s 2>&1| FileCheck %s -match-full-lines --check-prefix=UNKNOWN
4; RUN: opt %loadPolly -polly-scops -disable-output -polly-isl-arg=--schedule-algorithm=feautrier < %s
5
6; VERSION: isl-{{.*}}-IMath-32
7; HELP: Usage: -polly-isl-arg [OPTION...]
8; UNKNOWN: -polly-isl-arg: unrecognized option: -asdf
9
10target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
11
12; Any valid SCoP causing the creation of a ScopInfo object.
13define void @foo_1d(float* %A) {
14bb:
15  br label %bb1
16
17bb1:                                              ; preds = %bb6, %bb
18  %i.0 = phi i64 [ 0, %bb ], [ %tmp7, %bb6 ]
19  %exitcond = icmp ne i64 %i.0, 1024
20  br i1 %exitcond, label %bb2, label %bb8
21
22bb2:                                              ; preds = %bb1
23  %tmp = sitofp i64 %i.0 to float
24  %tmp3 = getelementptr inbounds float, float* %A, i64 %i.0
25  %tmp4 = load float, float* %tmp3, align 4
26  %tmp5 = fadd float %tmp4, %tmp
27  store float %tmp5, float* %tmp3, align 4
28  br label %bb6
29
30bb6:                                              ; preds = %bb2
31  %tmp7 = add nuw nsw i64 %i.0, 1
32  br label %bb1
33
34bb8:                                              ; preds = %bb1
35  ret void
36}
37