File: isl_aff_out_of_bounds.ll

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (39 lines) | stat: -rw-r--r-- 1,449 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
; RUN: opt %loadPolly -basic-aa -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(ptr %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 ptr [ %add.ptr, %do.body ], [ %lsp, %entry ]
  %add.ptr = getelementptr inbounds float, ptr %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, ptr %add.ptr, align 4
  store float %0, ptr %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, ptr %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
}