maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[x86] regenerate checks and adjust tests 

2 of these tests were clearly not doing what the comments
said they were doing.

The last test was added at rL177933 with no assertions
(presumably it used to crash). But either we don't have 
that problem anymore, or this test is folded sooner,
so we don't hit the bug that was fixed by disabling late
FP constant creation. Looking at this as part of reviewing
D48289.

llvm-svn: 334977
This commit is contained in:
Sanjay Patel 2018-06-18 20:05:16 +00:00
parent a5638431dc
commit 3e52deb144
1 changed files with 36 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

58
llvm/test/CodeGen/X86/dagcombine-unsafe-math.ll
View File

@ -1,56 +1,70 @@
; RUN: llc < %s -enable-unsafe-fp-math -mtriple=x86_64-apple-darwin -mcpu=corei7-avx | FileCheck %s
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -enable-unsafe-fp-math -mtriple=x86_64-apple-darwin -mcpu=corei7-avx | FileCheck %s
; rdar://13126763
; Expression "x + x*x" was mistakenly transformed into "x * 3.0f".
define float @test1(float %x) {
; CHECK-LABEL: test1:
; CHECK: ## %bb.0:
; CHECK-NEXT: vmulss %xmm0, %xmm0, %xmm1
; CHECK-NEXT: vaddss %xmm0, %xmm1, %xmm0
; CHECK-NEXT: retq
%t1 = fmul fast float %x, %x
%t2 = fadd fast float %t1, %x
ret float %t2
; CHECK: test1
; CHECK: vaddss
}
; (x + x) + x => x * 3.0
define float @test2(float %x) {
; CHECK-LABEL: test2:
; CHECK: ## %bb.0:
; CHECK-NEXT: vmulss {{.*}}(%rip), %xmm0, %xmm0
; CHECK-NEXT: retq
%t1 = fadd fast float %x, %x
%t2 = fadd fast float %t1, %x
ret float %t2
; CHECK: .long 1077936128
; CHECK: test2
; CHECK: vmulss LCPI1_0(%rip), %xmm0, %xmm0
}
; x + (x + x) => x * 3.0
define float @test3(float %x) {
; CHECK-LABEL: test3:
; CHECK: ## %bb.0:
; CHECK-NEXT: vmulss {{.*}}(%rip), %xmm0, %xmm0
; CHECK-NEXT: retq
%t1 = fadd fast float %x, %x
%t2 = fadd fast float %t1, %x
%t2 = fadd fast float %x, %t1
ret float %t2
; CHECK: .long 1077936128
; CHECK: test3
; CHECK: vmulss LCPI2_0(%rip), %xmm0, %xmm0
}
; (y + x) + x != x * 3.0
define float @test4(float %x, float %y) {
; CHECK-LABEL: test4:
; CHECK: ## %bb.0:
; CHECK-NEXT: vaddss %xmm1, %xmm0, %xmm1
; CHECK-NEXT: vaddss %xmm0, %xmm1, %xmm0
; CHECK-NEXT: retq
%t1 = fadd fast float %x, %y
%t2 = fadd fast float %t1, %x
ret float %t2
; CHECK: test4
; CHECK: vaddss
}
; rdar://13445387
; "x + x + x => 3.0 * x" should be disabled after legalization because
; "x + x + x => 3.0 * x" should be disabled after legalization because
; Instruction-Selection doesn't know how to handle "3.0"
;
define float @test5() {
%mul.i.i151 = fmul <4 x float> zeroinitializer, zeroinitializer
%vecext.i8.i152 = extractelement <4 x float> %mul.i.i151, i32 1
%vecext1.i9.i153 = extractelement <4 x float> %mul.i.i151, i32 0
%add.i10.i154 = fadd float %vecext1.i9.i153, %vecext.i8.i152
%vecext.i7.i155 = extractelement <4 x float> %mul.i.i151, i32 2
%add.i.i156 = fadd float %vecext.i7.i155, %add.i10.i154
ret float %add.i.i156
;
define float @test5(<4 x float> %x) {
; CHECK-LABEL: test5:
; CHECK: ## %bb.0:
; CHECK-NEXT: vmulss {{.*}}(%rip), %xmm0, %xmm0
; CHECK-NEXT: retq
%splat = shufflevector <4 x float> %x, <4 x float> undef, <4 x i32> zeroinitializer
%v1 = extractelement <4 x float> %splat, i32 1
%v0 = extractelement <4 x float> %splat, i32 0
%add1 = fadd float %v0, %v1
%v2 = extractelement <4 x float> %splat, i32 2
%add2 = fadd float %v2, %add1
ret float %add2
}