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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -slp-vectorizer -S < %s -mtriple=x86_64-unknown-linux-gnu -mcpu=bdver2 | FileCheck %s
define float @jacobi(float* %p, float %x, float %y, float %z) {
; CHECK-LABEL: @jacobi(
; CHECK-NEXT: [[GEP1:%.*]] = getelementptr float, float* [[P:%.*]], i64 1
; CHECK-NEXT: [[GEP2:%.*]] = getelementptr float, float* [[P]], i64 2
; CHECK-NEXT: [[P1:%.*]] = load float, float* [[GEP1]], align 4
; CHECK-NEXT: [[P2:%.*]] = load float, float* [[GEP2]], align 4
; CHECK-NEXT: [[MUL1:%.*]] = fmul float [[P1]], [[X:%.*]]
; CHECK-NEXT: [[MUL2:%.*]] = fmul float [[P2]], [[Y:%.*]]
; CHECK-NEXT: [[ADD1:%.*]] = fadd float [[MUL1]], [[Z:%.*]]
; CHECK-NEXT: [[ADD2:%.*]] = fadd float [[MUL2]], [[ADD1]]
; CHECK-NEXT: ret float [[ADD2]]
;
%gep1 = getelementptr float, float* %p, i64 1
%gep2 = getelementptr float, float* %p, i64 2
%p1 = load float, float* %gep1
%p2 = load float, float* %gep2
%mul1 = fmul float %p1, %x
%mul2 = fmul float %p2, %y
%add1 = fadd float %mul1, %z
%add2 = fadd float %mul2, %add1
ret float %add2
}
|
