blob: 8eb3817a0c32e46724af75cc30488897ba4ee3d0 [file] [log] [blame]
; RUN: opt %loadPolly \
; RUN: -polly-codegen -S < %s | FileCheck %s
; This test cases used to crash the scalar code generation. Check that we
; can generate code for it.
; CHECK: polly.start
@endposition = external global i32, align 4
@Bit = external global [0 x i32], align 4
@Init = external global [0 x i32], align 4
define void @maskgen() {
entry:
br label %for.body
for.body: ; preds = %for.body, %entry
br i1 undef, label %for.end.310, label %for.body
for.end.310: ; preds = %for.body
store i32 undef, i32* @endposition, align 4
%sub325 = sub i32 33, 0
%0 = load i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @Init, i64 0, i64 0), align 4
br i1 false, label %for.cond.347.preheader, label %for.body.328.lr.ph
for.body.328.lr.ph: ; preds = %for.end.310
%1 = sub i32 34, 0
br label %for.body.328
for.body.328: ; preds = %for.body.328, %for.body.328.lr.ph
%indvars.iv546 = phi i64 [ %indvars.iv.next547, %for.body.328 ], [ 1, %for.body.328.lr.ph ]
%2 = phi i32 [ %or331, %for.body.328 ], [ %0, %for.body.328.lr.ph ]
%arrayidx330 = getelementptr inbounds [0 x i32], [0 x i32]* @Bit, i64 0, i64 %indvars.iv546
%3 = load i32, i32* %arrayidx330, align 4
%or331 = or i32 %3, %2
%indvars.iv.next547 = add nuw nsw i64 %indvars.iv546, 1
%lftr.wideiv = trunc i64 %indvars.iv.next547 to i32
%exitcond14 = icmp eq i32 %lftr.wideiv, %1
br i1 %exitcond14, label %for.cond.347.preheader, label %for.body.328
for.cond.347.preheader: ; preds = %for.cond.347.preheader, %for.body.328, %for.end.310
br i1 undef, label %if.end.471, label %for.cond.347.preheader
if.end.471: ; preds = %for.cond.347.preheader
ret void
}