1*5c028081SMichael Kruse; RUN: opt %loadPolly -polly-print-ast -polly-ast-detect-parallel -disable-output < %s | FileCheck %s 235f70200SMichael Kruse; 335f70200SMichael Kruse; CHECK: pragma simd reduction 435f70200SMichael Kruse; 535f70200SMichael Kruse; int prod; 635f70200SMichael Kruse; void f() { 735f70200SMichael Kruse; for (int i = 0; i < 100; i++) 835f70200SMichael Kruse; prod *= i; 935f70200SMichael Kruse; } 1035f70200SMichael Kruse; 1135f70200SMichael Krusetarget datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64" 1235f70200SMichael Kruse 1335f70200SMichael Kruse@prod = common global i32 0, align 4 1435f70200SMichael Kruse 1535f70200SMichael Krusedefine void @f() { 1635f70200SMichael Kruseentry: 1735f70200SMichael Kruse br label %for.cond 1835f70200SMichael Kruse 1935f70200SMichael Krusefor.cond: ; preds = %for.inc, %entry 2035f70200SMichael Kruse %i1.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] 2135f70200SMichael Kruse %exitcond = icmp ne i32 %i1.0, 100 2235f70200SMichael Kruse br i1 %exitcond, label %for.body, label %for.end 2335f70200SMichael Kruse 2435f70200SMichael Krusefor.body: ; preds = %for.cond 2535f70200SMichael Kruse %add2 = add nsw i32 %i1.0, 3 2635f70200SMichael Kruse %tmp1 = load i32, i32* @prod, align 4 2735f70200SMichael Kruse %mul3 = mul nsw i32 %tmp1, %add2 2835f70200SMichael Kruse store i32 %mul3, i32* @prod, align 4 2935f70200SMichael Kruse br label %for.inc 3035f70200SMichael Kruse 3135f70200SMichael Krusefor.inc: ; preds = %for.body 3235f70200SMichael Kruse %inc = add nsw i32 %i1.0, 1 3335f70200SMichael Kruse br label %for.cond 3435f70200SMichael Kruse 3535f70200SMichael Krusefor.end: ; preds = %for.cond 3635f70200SMichael Kruse ret void 3735f70200SMichael Kruse} 38