144 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2 3; Check that we correctly convert integers to isl values.4 5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"6 7; Large positive integer8define void @f(ptr nocapture %a) nounwind {9entry:10 br label %bb11 12bb:13 %indvar = phi i1024 [ 0, %entry ], [ %indvar.next, %bb ]14 store i1024 %indvar, ptr %a, align 815 %indvar.next = add nsw i1024 %indvar, 116 %exitcond = icmp eq i1024 %indvar, 12345600000000000000000000017; CHECK-LABEL: Function: f18; CHECK-NEXT: Region: %bb---%return19; CHECK: i0 <= 12345600000000000000000000020 br i1 %exitcond, label %return, label %bb21 22return:23 ret void24}25 26; Normal positive integer27define void @f2(ptr nocapture %a) nounwind {28entry:29 br label %bb30 31bb:32 %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %bb ]33 %scevgep = getelementptr i32, ptr %a, i32 %indvar34 store i32 %indvar, ptr %scevgep, align 835 %indvar.next = add nsw i32 %indvar, 136 %exitcond = icmp eq i32 %indvar, 12345637; CHECK-LABEL: Function: f238; CHECK-NEXT: Region: %bb---%return39; CHECK: i0 <= 12345640 br i1 %exitcond, label %return, label %bb41 42return:43 ret void44}45 46; Normal negative integer47define void @f3(ptr nocapture %a, i32 %n) nounwind {48entry:49 br label %bb50 51bb:52 %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %bb ]53 %scevgep = getelementptr i32, ptr %a, i32 %indvar54 store i32 %indvar, ptr %scevgep, align 855 %indvar.next = add nsw i32 %indvar, 156 %sub = sub i32 %n, 12345657 %exitcond = icmp eq i32 %indvar, %sub58; CHECK-LABEL: Function: f359; CHECK-NEXT: Region: %bb---%return60; CHECK: -12345661 br i1 %exitcond, label %return, label %bb62 63return:64 ret void65}66 67; Large negative integer68define void @f4(ptr nocapture %a, i1024 %n) nounwind {69entry:70 br label %bb71 72bb:73 %indvar = phi i1024 [ 0, %entry ], [ %indvar.next, %bb ]74 %scevgep = getelementptr i1024, ptr %a, i1024 %indvar75 store i1024 %indvar, ptr %scevgep, align 876 %indvar.next = add nsw i1024 %indvar, 177 %sub = sub i1024 %n, 12345600000000000000000000000000000078; CHECK-LABEL: Function: f479; CHECK-NEXT: Region: %bb---%return80; CHECK: -12345600000000000000000000000000000081 %exitcond = icmp eq i1024 %indvar, %sub82 br i1 %exitcond, label %return, label %bb83 84return:85 ret void86}87 88define void @f5(ptr nocapture %a, i1023 %n) nounwind {89entry:90 br label %bb91 92bb:93 %indvar = phi i1023 [ 0, %entry ], [ %indvar.next, %bb ]94 %scevgep = getelementptr i1023, ptr %a, i1023 %indvar95 store i1023 %indvar, ptr %scevgep, align 896 %indvar.next = add nsw i1023 %indvar, 197 %sub = sub i1023 %n, 12345600000000000000000000000000000098; CHECK-LABEL: Function: f599; CHECK-NEXT: Region: %bb---%return100; CHECK: -123456000000000000000000000000000000101 %exitcond = icmp eq i1023 %indvar, %sub102 br i1 %exitcond, label %return, label %bb103 104return:105 ret void106}107 108; Tiny negative integer109define void @f6(ptr nocapture %a, i3 %n) nounwind {110entry:111 br label %bb112 113bb:114 %indvar = phi i3 [ 0, %entry ], [ %indvar.next, %bb ]115 %scevgep = getelementptr i3, ptr %a, i3 %indvar116 store i3 %indvar, ptr %scevgep, align 8117 %indvar.next = add nsw i3 %indvar, 1118 %sub = sub i3 %n, 3119; CHECK-LABEL: Function: f6120; CHECK-NEXT: Region: %bb---%return121; CHECK: Context:122; CHECK-NEXT: [n] -> { : -4 <= n <= 3 }123; CHECK-NEXT: Assumed Context:124; CHECK-NEXT: [n] -> { : }125; CHECK-NEXT: Invalid Context:126; CHECK-NEXT: [n] -> { : false }127 128; CHECK: Statements {129; CHECK-NEXT: Stmt_bb130; CHECK-NEXT: Domain :=131; CHECK-NEXT: [n] -> { Stmt_bb[i0] : i0 >= 0 and 8*floor((2 - n)/8) >= -5 - n + i0 and 8*floor((2 - n)/8) <= -2 - n };132; CHECK-NEXT: Schedule :=133; CHECK-NEXT: [n] -> { Stmt_bb[i0] -> [i0] };134; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]135; CHECK-NEXT: [n] -> { Stmt_bb[i0] -> MemRef_a[i0] };136; CHECK-NEXT:}137 138 %exitcond = icmp eq i3 %indvar, %sub139 br i1 %exitcond, label %return, label %bb140 141return:142 ret void143}144