40 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<detect>' -polly-print-detect < %s 2>&12 3; Used to fail with:4; ../../isl/isl_aff.c:591: position out of bounds5 6target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"7 8declare double @frexp(double)9 10define void @vorbis_lsp_to_curve(ptr %lsp, i32 %m) {11entry:12 %q.1.reg2mem = alloca float, align 413 br i1 undef, label %do.body, label %while.end14 15do.body: ; preds = %do.body, %entry16 %ftmp.0 = phi ptr [ %add.ptr, %do.body ], [ %lsp, %entry ]17 %add.ptr = getelementptr inbounds float, ptr %ftmp.0, i64 218 br i1 true, label %do.end, label %do.body19 20do.end: ; preds = %do.body21 br i1 false, label %if.end.single_exit, label %if.then22 23if.then: ; preds = %do.end24 %0 = load float, ptr %add.ptr, align 425 store float %0, ptr %q.1.reg2mem, align 426 br label %if.end.single_exit27 28if.end.single_exit: ; preds = %do.end, %if.then29 br label %if.end30 31if.end: ; preds = %if.end.single_exit32 %q.1.reload = load float, ptr %q.1.reg2mem, align 433 %conv31 = fpext float %q.1.reload to double34 %call32 = call double @frexp(double %conv31)35 unreachable36 37while.end: ; preds = %entry38 ret void39}40