File: phi-merge-gep.ll

package info (click to toggle)
llvm-toolchain-5.0 1:5.0.1-2~bpo9+1
  • links: PTS, VCS
  • area: main
  • in suites: stretch-backports
  • size: 553,688 kB
  • sloc: cpp: 2,878,786; ansic: 584,110; asm: 246,252; python: 124,751; objc: 106,925; sh: 21,542; lisp: 8,628; pascal: 5,885; ml: 5,544; perl: 5,312; makefile: 2,208; cs: 2,022; xml: 686; php: 212; csh: 117
file content (102 lines) | stat: -rw-r--r-- 6,389 bytes parent folder | download | duplicates (22)
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
; RUN: opt < %s -S -instcombine > %t
; RUN: grep "= getelementptr" %t | count 20
; RUN: grep "= phi" %t | count 13

; Don't push the geps through these phis, because they would require
; two phis each, which burdens the loop with high register pressure.

define void @foo(float* %Ar, float* %Ai, i64 %As, float* %Cr, float* %Ci, i64 %Cs, i64 %n) nounwind {
entry:
  %0 = getelementptr inbounds float, float* %Ar, i64 0   ; <float*> [#uses=1]
  %1 = getelementptr inbounds float, float* %Ai, i64 0   ; <float*> [#uses=1]
  %2 = mul i64 %n, %As                            ; <i64> [#uses=1]
  %3 = getelementptr inbounds float, float* %Ar, i64 %2  ; <float*> [#uses=1]
  %4 = mul i64 %n, %As                            ; <i64> [#uses=1]
  %5 = getelementptr inbounds float, float* %Ai, i64 %4  ; <float*> [#uses=1]
  %6 = mul i64 %n, 2                              ; <i64> [#uses=1]
  %7 = mul i64 %6, %As                            ; <i64> [#uses=1]
  %8 = getelementptr inbounds float, float* %Ar, i64 %7  ; <float*> [#uses=1]
  %9 = mul i64 %n, 2                              ; <i64> [#uses=1]
  %10 = mul i64 %9, %As                           ; <i64> [#uses=1]
  %11 = getelementptr inbounds float, float* %Ai, i64 %10 ; <float*> [#uses=1]
  %12 = getelementptr inbounds float, float* %Cr, i64 0  ; <float*> [#uses=1]
  %13 = getelementptr inbounds float, float* %Ci, i64 0  ; <float*> [#uses=1]
  %14 = mul i64 %n, %Cs                           ; <i64> [#uses=1]
  %15 = getelementptr inbounds float, float* %Cr, i64 %14 ; <float*> [#uses=1]
  %16 = mul i64 %n, %Cs                           ; <i64> [#uses=1]
  %17 = getelementptr inbounds float, float* %Ci, i64 %16 ; <float*> [#uses=1]
  %18 = mul i64 %n, 2                             ; <i64> [#uses=1]
  %19 = mul i64 %18, %Cs                          ; <i64> [#uses=1]
  %20 = getelementptr inbounds float, float* %Cr, i64 %19 ; <float*> [#uses=1]
  %21 = mul i64 %n, 2                             ; <i64> [#uses=1]
  %22 = mul i64 %21, %Cs                          ; <i64> [#uses=1]
  %23 = getelementptr inbounds float, float* %Ci, i64 %22 ; <float*> [#uses=1]
  br label %bb13

bb:                                               ; preds = %bb13
  %24 = load float, float* %A0r.0, align 4               ; <float> [#uses=1]
  %25 = load float, float* %A0i.0, align 4               ; <float> [#uses=1]
  %26 = load float, float* %A1r.0, align 4               ; <float> [#uses=2]
  %27 = load float, float* %A1i.0, align 4               ; <float> [#uses=2]
  %28 = load float, float* %A2r.0, align 4               ; <float> [#uses=2]
  %29 = load float, float* %A2i.0, align 4               ; <float> [#uses=2]
  %30 = fadd float %26, %28                       ; <float> [#uses=2]
  %31 = fadd float %27, %29                       ; <float> [#uses=2]
  %32 = fsub float %26, %28                       ; <float> [#uses=1]
  %33 = fsub float %27, %29                       ; <float> [#uses=1]
  %34 = fadd float %24, %30                       ; <float> [#uses=2]
  %35 = fadd float %25, %31                       ; <float> [#uses=2]
  %36 = fmul float %30, -1.500000e+00             ; <float> [#uses=1]
  %37 = fmul float %31, -1.500000e+00             ; <float> [#uses=1]
  %38 = fadd float %34, %36                       ; <float> [#uses=2]
  %39 = fadd float %35, %37                       ; <float> [#uses=2]
  %40 = fmul float %32, 0x3FEBB67AE0000000        ; <float> [#uses=2]
  %41 = fmul float %33, 0x3FEBB67AE0000000        ; <float> [#uses=2]
  %42 = fadd float %38, %41                       ; <float> [#uses=1]
  %43 = fsub float %39, %40                       ; <float> [#uses=1]
  %44 = fsub float %38, %41                       ; <float> [#uses=1]
  %45 = fadd float %39, %40                       ; <float> [#uses=1]
  store float %34, float* %C0r.0, align 4
  store float %35, float* %C0i.0, align 4
  store float %42, float* %C1r.0, align 4
  store float %43, float* %C1i.0, align 4
  store float %44, float* %C2r.0, align 4
  store float %45, float* %C2i.0, align 4
  %46 = getelementptr inbounds float, float* %A0r.0, i64 %As ; <float*> [#uses=1]
  %47 = getelementptr inbounds float, float* %A0i.0, i64 %As ; <float*> [#uses=1]
  %48 = getelementptr inbounds float, float* %A1r.0, i64 %As ; <float*> [#uses=1]
  %49 = getelementptr inbounds float, float* %A1i.0, i64 %As ; <float*> [#uses=1]
  %50 = getelementptr inbounds float, float* %A2r.0, i64 %As ; <float*> [#uses=1]
  %51 = getelementptr inbounds float, float* %A2i.0, i64 %As ; <float*> [#uses=1]
  %52 = getelementptr inbounds float, float* %C0r.0, i64 %Cs ; <float*> [#uses=1]
  %53 = getelementptr inbounds float, float* %C0i.0, i64 %Cs ; <float*> [#uses=1]
  %54 = getelementptr inbounds float, float* %C1r.0, i64 %Cs ; <float*> [#uses=1]
  %55 = getelementptr inbounds float, float* %C1i.0, i64 %Cs ; <float*> [#uses=1]
  %56 = getelementptr inbounds float, float* %C2r.0, i64 %Cs ; <float*> [#uses=1]
  %57 = getelementptr inbounds float, float* %C2i.0, i64 %Cs ; <float*> [#uses=1]
  %58 = add nsw i64 %i.0, 1                       ; <i64> [#uses=1]
  br label %bb13

bb13:                                             ; preds = %bb, %entry
  %i.0 = phi i64 [ 0, %entry ], [ %58, %bb ]      ; <i64> [#uses=2]
  %C2i.0 = phi float* [ %23, %entry ], [ %57, %bb ] ; <float*> [#uses=2]
  %C2r.0 = phi float* [ %20, %entry ], [ %56, %bb ] ; <float*> [#uses=2]
  %C1i.0 = phi float* [ %17, %entry ], [ %55, %bb ] ; <float*> [#uses=2]
  %C1r.0 = phi float* [ %15, %entry ], [ %54, %bb ] ; <float*> [#uses=2]
  %C0i.0 = phi float* [ %13, %entry ], [ %53, %bb ] ; <float*> [#uses=2]
  %C0r.0 = phi float* [ %12, %entry ], [ %52, %bb ] ; <float*> [#uses=2]
  %A2i.0 = phi float* [ %11, %entry ], [ %51, %bb ] ; <float*> [#uses=2]
  %A2r.0 = phi float* [ %8, %entry ], [ %50, %bb ] ; <float*> [#uses=2]
  %A1i.0 = phi float* [ %5, %entry ], [ %49, %bb ] ; <float*> [#uses=2]
  %A1r.0 = phi float* [ %3, %entry ], [ %48, %bb ] ; <float*> [#uses=2]
  %A0i.0 = phi float* [ %1, %entry ], [ %47, %bb ] ; <float*> [#uses=2]
  %A0r.0 = phi float* [ %0, %entry ], [ %46, %bb ] ; <float*> [#uses=2]
  %59 = icmp slt i64 %i.0, %n                     ; <i1> [#uses=1]
  br i1 %59, label %bb, label %bb14

bb14:                                             ; preds = %bb13
  br label %return

return:                                           ; preds = %bb14
  ret void
}