blob: 9dc594041fc98b6913c77d087146a7d94714e7b3 [file] [log] [blame]
; 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
}