1; RUN: opt %loadPolly -polly-parallel -polly-parallel-force -polly-codegen -S -verify-dom-info < %s | FileCheck %s -check-prefix=IR 2 3; IR: @foo_polly_subfn 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 5 6define void @foo(i32 %sendcount, i8* %recvbuf) { 7entry: 8 br label %sw.bb3 9 10sw.bb3: 11 %tmp = bitcast i8* %recvbuf to double* 12 %cmp75 = icmp sgt i32 %sendcount, 0 13 br i1 %cmp75, label %for.body, label %end 14 15for.body: 16 %i.16 = phi i32 [ %inc04, %for.body ], [ 0, %sw.bb3 ] 17 %idxprom11 = sext i32 %i.16 to i64 18 %arrayidx12 = getelementptr inbounds double, double* %tmp, i64 %idxprom11 19 store double 1.0, double* %arrayidx12, align 8 20 %inc04 = add nsw i32 %i.16, 1 21 %cmp7 = icmp slt i32 %inc04, %sendcount 22 br i1 %cmp7, label %for.body, label %end 23 24end: 25 ret void 26} 27