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