diff options
Diffstat (limited to 'polly/test/Isl/CodeGen/run-time-condition-with-scev-parameters.ll')
| -rw-r--r-- | polly/test/Isl/CodeGen/run-time-condition-with-scev-parameters.ll | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/polly/test/Isl/CodeGen/run-time-condition-with-scev-parameters.ll b/polly/test/Isl/CodeGen/run-time-condition-with-scev-parameters.ll index e2bec4c9979..abbda0e1412 100644 --- a/polly/test/Isl/CodeGen/run-time-condition-with-scev-parameters.ll +++ b/polly/test/Isl/CodeGen/run-time-condition-with-scev-parameters.ll @@ -1,12 +1,21 @@ +; RUN: opt %loadPolly -polly-ast -analyze < %s | FileCheck %s --check-prefix=AST ; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s +; TODO: FIXME: Simplify the context. +; AST: if (n >= 1 && 0 == n <= -1) + ; CHECK: entry: ; CHECK-NEXT: %0 = zext i32 %n to i64 ; CHECK: polly.split_new_and_old: -; CHECK-NEXT: %1 = icmp sge i64 %0, 1 -; CHECK-NEXT: br i1 %1, label %polly.start, label %for.body4 - +; CHECK-NEXT: %1 = sext i32 %n to i64 +; CHECK-NEXT: %2 = icmp sge i64 %1, 1 +; CHECK-NEXT: %3 = sext i32 %n to i64 +; CHECK-NEXT: %4 = icmp sle i64 %3, -1 +; CHECK-NEXT: %5 = sext i1 %4 to i64 +; CHECK-NEXT: %6 = icmp eq i64 0, %5 +; CHECK-NEXT: %7 = and i1 %2, %6 +; CHECK-NEXT: br i1 %7, label %polly.start, label %for.body4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
