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