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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -S -passes=early-cse -earlycse-debug-hash | FileCheck %s
; RUN: opt < %s -S -passes='early-cse<memssa>' | FileCheck %s
; Ensure we don't simplify away additions vectors of +0.0's (same as scalars).
define <4 x float> @fV( <4 x float> %a) {
; CHECK-LABEL: @fV(
; CHECK-NEXT: [[B:%.*]] = fadd <4 x float> [[A:%.*]], zeroinitializer
; CHECK-NEXT: ret <4 x float> [[B]]
;
%b = fadd <4 x float> %a, <float 0.0,float 0.0,float 0.0,float 0.0>
ret <4 x float> %b
}
define <4 x float> @fW( <4 x float> %a) {
; CHECK-LABEL: @fW(
; CHECK-NEXT: ret <4 x float> [[A:%.*]]
;
%b = fadd <4 x float> %a, <float -0.0,float -0.0,float -0.0,float -0.0>
ret <4 x float> %b
}
; CSE unary fnegs.
define void @fX(ptr%p, <4 x float> %a) {
; CHECK-LABEL: @fX(
; CHECK-NEXT: [[X:%.*]] = fneg <4 x float> [[A:%.*]]
; CHECK-NEXT: store volatile <4 x float> [[X]], ptr [[P:%.*]], align 16
; CHECK-NEXT: store volatile <4 x float> [[X]], ptr [[P]], align 16
; CHECK-NEXT: ret void
;
%x = fneg <4 x float> %a
%y = fneg <4 x float> %a
store volatile <4 x float> %x, ptr %p
store volatile <4 x float> %y, ptr %p
ret void
}
|
