RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
Code Issues Projects Releases Wiki Activity

[DAG] add test to show FMF mismatch between IR and DAG; NFC

Browse Source 
D45710 proposes to change this, but we have no test coverage 
for the first step in this process.

llvm-svn: 331271
This commit is contained in:
Sanjay Patel 2018-05-01 15:43:36 +00:00
parent ccaecad889
commit 3cb2fbb565
1 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
test/CodeGen/X86/fmf-propagation.ll Normal file
View File

@ -0,0 +1,32 @@
; REQUIRES: asserts
; RUN: llc -mtriple=x86_64-unknown-unknown -debug-only=isel < %s -o /dev/null 2>&1 | FileCheck %s
; This tests the propagation of fast-math-flags from IR instructions to SDNodeFlags.
; FIXME: 'afn' and 'reassoc' were dropped. With 'fast', 'reassoc' got renamed to 'unsafe'.
; CHECK-LABEL: Initial selection DAG: %bb.0 'fmf_transfer:'
; CHECK: t5: f32 = fadd nsz t2, t4
; CHECK-NEXT: t6: f32 = fadd arcp t5, t4
; CHECK-NEXT: t7: f32 = fadd nnan t6, t4
; CHECK-NEXT: t8: f32 = fadd ninf t7, t4
; CHECK-NEXT: t9: f32 = fadd contract t8, t4
; CHECK-NEXT: t10: f32 = fadd t9, t4
; CHECK-NEXT: t11: f32 = fadd t10, t4
; CHECK-NEXT: t12: f32 = fadd unsafe nnan ninf nsz arcp contract t11, t4
; CHECK: Optimized lowered selection DAG: %bb.0 'fmf_transfer:'
define float @fmf_transfer(float %x, float %y) {
%f1 = fadd nsz float %x, %y
%f2 = fadd arcp float %f1, %y
%f3 = fadd nnan float %f2, %y
%f4 = fadd ninf float %f3, %y
%f5 = fadd contract float %f4, %y
%f6 = fadd afn float %f5, %y
%f7 = fadd reassoc float %f6, %y
%f8 = fadd fast float %f7, %y
ret float %f8
}