| ; RUN: opt %loadPolly -basicaa -polly-detect < %s |
| |
| ; Used to fail with: |
| ; ../../isl/isl_aff.c:591: position out of bounds |
| |
| target 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" |
| |
| declare double @frexp(double) |
| |
| define void @vorbis_lsp_to_curve(float* %lsp, i32 %m) { |
| entry: |
| %q.1.reg2mem = alloca float, align 4 |
| br i1 undef, label %do.body, label %while.end |
| |
| do.body: ; preds = %do.body, %entry |
| %ftmp.0 = phi float* [ %add.ptr, %do.body ], [ %lsp, %entry ] |
| %add.ptr = getelementptr inbounds float, float* %ftmp.0, i64 2 |
| br i1 true, label %do.end, label %do.body |
| |
| do.end: ; preds = %do.body |
| br i1 false, label %if.end.single_exit, label %if.then |
| |
| if.then: ; preds = %do.end |
| %0 = load float, float* %add.ptr, align 4 |
| store float %0, float* %q.1.reg2mem, align 4 |
| br label %if.end.single_exit |
| |
| if.end.single_exit: ; preds = %do.end, %if.then |
| br label %if.end |
| |
| if.end: ; preds = %if.end.single_exit |
| %q.1.reload = load float, float* %q.1.reg2mem, align 4 |
| %conv31 = fpext float %q.1.reload to double |
| %call32 = call double @frexp(double %conv31) |
| unreachable |
| |
| while.end: ; preds = %entry |
| ret void |
| } |