polly/test/Support/isl-args.ll

   1 ; RUN: opt %loadNPMPolly '-passes=print<polly-function-scops>' -disable-output -polly-isl-arg=-V < %s | FileCheck %s -match-full-lines --check-prefix=VERSION
   2 ; RUN: opt %loadNPMPolly '-passes=print<polly-function-scops>' -disable-output -polly-isl-arg=-h < %s | FileCheck %s -match-full-lines --check-prefix=HELP
   3 ; RUN: not opt %loadNPMPolly '-passes=print<polly-function-scops>' -disable-output -polly-isl-arg=-asdf < %s 2>&1| FileCheck %s -match-full-lines --check-prefix=UNKNOWN
   4 ; RUN: opt %loadNPMPolly '-passes=print<polly-function-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
  10 target 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.
  13 define void @foo_1d(ptr %A) {
  14 bb:
  15   br label %bb1
  16
  17 bb1:                                              ; 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
  22 bb2:                                              ; preds = %bb1
  23   %tmp = sitofp i64 %i.0 to float
  24   %tmp3 = getelementptr inbounds float, ptr %A, i64 %i.0
  25   %tmp4 = load float, ptr %tmp3, align 4
  26   %tmp5 = fadd float %tmp4, %tmp
  27   store float %tmp5, ptr %tmp3, align 4
  28   br label %bb6
  29
  30 bb6:                                              ; preds = %bb2
  31   %tmp7 = add nuw nsw i64 %i.0, 1
  32   br label %bb1
  33
  34 bb8:                                              ; preds = %bb1
  35   ret void
  36 }