94 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s2 3; CHECK: Valid Region for Scop: next => bb34;5; void foo(float A[], long p) {6; for (long x = 0; x < 1024; x++) {7; __sync_synchronize();8; if (p >= 0) {9; for (long i = 0; i < 1024; i++)10; for (long j = 0; j < 1024; j++)11; A[i + j] += j;12; }13; }14; }15;16target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"17target triple = "x86_64-pc-linux-gnu"18 19define void @foo(ptr %A, i64 %p) {20bb:21 br label %bb322 23bb3: ; preds = %bb25, %bb24 %x.0 = phi i64 [ 0, %bb ], [ %tmp26, %bb25 ]25 %exitcond2 = icmp ne i64 %x.0, 102426 br i1 %exitcond2, label %bb5, label %bb427 28bb4: ; preds = %bb329 br label %bb2730 31bb5: ; preds = %bb332 fence seq_cst33 br label %next34 35next:36 %tmp = icmp sgt i64 %p, -137 br i1 %tmp, label %bb6, label %bb2438 39bb6: ; preds = %bb540 br label %bb741 42bb7: ; preds = %bb21, %bb643 %i.0 = phi i64 [ 0, %bb6 ], [ %tmp22, %bb21 ]44 %exitcond1 = icmp ne i64 %i.0, 102445 br i1 %exitcond1, label %bb9, label %bb846 47bb8: ; preds = %bb748 br label %bb2349 50bb9: ; preds = %bb751 br label %bb1052 53bb10: ; preds = %bb18, %bb954 %j.0 = phi i64 [ 0, %bb9 ], [ %tmp19, %bb18 ]55 %exitcond = icmp ne i64 %j.0, 102456 br i1 %exitcond, label %bb12, label %bb1157 58bb11: ; preds = %bb1059 br label %bb2060 61bb12: ; preds = %bb1062 %tmp13 = sitofp i64 %j.0 to float63 %tmp14 = add nuw nsw i64 %i.0, %j.064 %tmp15 = getelementptr inbounds float, ptr %A, i64 %tmp1465 %tmp16 = load float, ptr %tmp15, align 466 %tmp17 = fadd float %tmp16, %tmp1367 store float %tmp17, ptr %tmp15, align 468 br label %bb1869 70bb18: ; preds = %bb1271 %tmp19 = add nuw nsw i64 %j.0, 172 br label %bb1073 74bb20: ; preds = %bb1175 br label %bb2176 77bb21: ; preds = %bb2078 %tmp22 = add nuw nsw i64 %i.0, 179 br label %bb780 81bb23: ; preds = %bb882 br label %bb2483 84bb24: ; preds = %bb23, %bb585 br label %bb2586 87bb25: ; preds = %bb2488 %tmp26 = add nuw nsw i64 %x.0, 189 br label %bb390 91bb27: ; preds = %bb492 ret void93}94