27 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s2 3; foo(float *A, long n, long k) {4; if (true)5; A[n * k] = 0;6; }7target 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-n8:16:32:64-S128"8 9define void @foo(ptr %A, i64 %n, i64 %k) {10entry:11 br label %for.j12 13for.j:14 br i1 true, label %if.then, label %return15 16if.then:17 %mul = mul nsw i64 %n, %k18 %arrayidx = getelementptr float, ptr %A, i64 %mul19 store float 0.000000e+00, ptr %arrayidx20 br label %return21 22return:23 ret void24}25 26; CHECK: Valid Region for Scop: for.j => return27