File: loop-invariant-load-type-mismatch.ll

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, 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 (126 lines) | stat: -rw-r--r-- 5,553 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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
; RUN: opt %loadPolly -polly-codegen < %s

target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

; Just make sure this test passes correctly.

define void @kernel_ludcmp(ptr %b, ptr %y) #0 {
entry:
  br label %entry.split

entry.split:                                      ; preds = %entry
  br label %for.body

for.cond.30.for.cond.loopexit_crit_edge:          ; preds = %for.end.54
  br label %for.cond.loopexit

for.cond.loopexit:                                ; preds = %for.cond.30.preheader, %for.cond.30.for.cond.loopexit_crit_edge
  %indvars.iv.next131 = add nuw nsw i32 %indvars.iv130, 1
  br i1 false, label %for.body, label %for.end.65

for.body:                                         ; preds = %for.cond.loopexit, %entry.split
  %indvars.iv130 = phi i32 [ 1, %entry.split ], [ %indvars.iv.next131, %for.cond.loopexit ]
  br i1 true, label %for.body.3.lr.ph, label %for.cond.30.preheader

for.body.3.lr.ph:                                 ; preds = %for.body
  br label %for.body.3

for.cond.1.for.cond.30.preheader_crit_edge:       ; preds = %for.end
  br label %for.cond.30.preheader

for.cond.30.preheader:                            ; preds = %for.cond.1.for.cond.30.preheader_crit_edge, %for.body
  br i1 true, label %for.body.32.lr.ph, label %for.cond.loopexit

for.body.32.lr.ph:                                ; preds = %for.cond.30.preheader
  br label %for.body.32

for.body.3:                                       ; preds = %for.end, %for.body.3.lr.ph
  br i1 false, label %for.body.9.lr.ph, label %for.end

for.body.9.lr.ph:                                 ; preds = %for.body.3
  br label %for.body.9

for.body.9:                                       ; preds = %for.body.9, %for.body.9.lr.ph
  br i1 false, label %for.body.9, label %for.cond.7.for.end_crit_edge

for.cond.7.for.end_crit_edge:                     ; preds = %for.body.9
  br label %for.end

for.end:                                          ; preds = %for.cond.7.for.end_crit_edge, %for.body.3
  br i1 false, label %for.body.3, label %for.cond.1.for.cond.30.preheader_crit_edge

for.body.32:                                      ; preds = %for.end.54, %for.body.32.lr.ph
  %indvars.iv136 = phi i64 [ 0, %for.body.32.lr.ph ], [ %indvars.iv.next137, %for.end.54 ]
  br i1 false, label %for.end.54, label %for.body.40.lr.ph

for.body.40.lr.ph:                                ; preds = %for.body.32
  br label %for.body.40

for.body.40:                                      ; preds = %for.body.40, %for.body.40.lr.ph
  %indvars.iv.next129 = add nuw nsw i64 0, 1
  %lftr.wideiv132 = trunc i64 %indvars.iv.next129 to i32
  br i1 false, label %for.body.40, label %for.cond.38.for.end.54_crit_edge

for.cond.38.for.end.54_crit_edge:                 ; preds = %for.body.40
  br label %for.end.54

for.end.54:                                       ; preds = %for.cond.38.for.end.54_crit_edge, %for.body.32
  %indvars.iv.next137 = add nuw nsw i64 %indvars.iv136, 1
  %lftr.wideiv138 = trunc i64 %indvars.iv.next137 to i32
  br i1 false, label %for.body.32, label %for.cond.30.for.cond.loopexit_crit_edge

for.end.65:                                       ; preds = %for.cond.loopexit
  %tmp2 = load i64, ptr %b, align 8, !tbaa !1
  store i64 %tmp2, ptr %y, align 8, !tbaa !1
  br label %for.body.70

for.body.70:                                      ; preds = %for.end.86, %for.end.65
  %tmp4 = load double, ptr %b, align 8, !tbaa !1
  br i1 true, label %for.body.75.lr.ph, label %for.end.86

for.body.75.lr.ph:                                ; preds = %for.body.70
  br label %for.body.75

for.body.75:                                      ; preds = %for.body.75, %for.body.75.lr.ph
  %w.284 = phi double [ %tmp4, %for.body.75.lr.ph ], [ %sub83, %for.body.75 ]
  %sub83 = fsub double %w.284, undef
  br i1 false, label %for.body.75, label %for.cond.73.for.end.86_crit_edge

for.cond.73.for.end.86_crit_edge:                 ; preds = %for.body.75
  br label %for.end.86

for.end.86:                                       ; preds = %for.cond.73.for.end.86_crit_edge, %for.body.70
  br i1 false, label %for.body.70, label %for.end.91

for.end.91:                                       ; preds = %for.end.86
  br label %for.body.99

for.body.99:                                      ; preds = %for.end.118, %for.end.91
  br i1 true, label %for.body.106.lr.ph, label %for.end.118

for.body.106.lr.ph:                               ; preds = %for.body.99
  br label %for.body.106

for.body.106:                                     ; preds = %for.body.106, %for.body.106.lr.ph
  br i1 undef, label %for.body.106, label %for.cond.104.for.end.118_crit_edge

for.cond.104.for.end.118_crit_edge:               ; preds = %for.body.106
  br label %for.end.118

for.end.118:                                      ; preds = %for.cond.104.for.end.118_crit_edge, %for.body.99
  br i1 undef, label %for.body.99, label %for.end.131

for.end.131:                                      ; preds = %for.end.118
  ret void
}

attributes #0 = { nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }

!llvm.ident = !{!0}

!0 = !{!"clang version 3.8.0 (trunk 250010) (llvm/trunk 250018)"}
!1 = !{!2, !2, i64 0}
!2 = !{!"double", !3, i64 0}
!3 = !{!"omnipotent char", !4, i64 0}
!4 = !{!"Simple C/C++ TBAA"}