ecbe4d1e36
This consists of: * Make these instructions part of FPMathOperator. * Adjust bitcode/ir readers/writers to expect fast math flags on these instructions. * Make IRBuilder set the fast math flags on these instructions. * Update langref and release notes. * Update a bunch of tests. Some of these are due to InstCombineCasts incorrectly adding fast math flags to fptrunc, which will be fixed in a later patch.
269 lines
10 KiB
LLVM
269 lines
10 KiB
LLVM
; RUN: llvm-as < %s | llvm-dis | FileCheck -strict-whitespace %s
|
|
; RUN: opt -S < %s | FileCheck -strict-whitespace %s
|
|
; RUN: verify-uselistorder %s
|
|
|
|
@addr = external global i64
|
|
@select = external global i1
|
|
@vec = external global <3 x float>
|
|
@arr = external global [3 x float]
|
|
|
|
declare float @foo(float)
|
|
|
|
define float @none(float %x, float %y) {
|
|
entry:
|
|
; CHECK: %vec = load <3 x float>, ptr @vec
|
|
%vec = load <3 x float>, ptr @vec
|
|
; CHECK: %select = load i1, ptr @select
|
|
%select = load i1, ptr @select
|
|
; CHECK: %arr = load [3 x float], ptr @arr
|
|
%arr = load [3 x float], ptr @arr
|
|
; CHECK: %scalable = load <vscale x 3 x float>, ptr @vec
|
|
%scalable = load <vscale x 3 x float>, ptr @vec
|
|
|
|
; CHECK: %a = fadd float %x, %y
|
|
%a = fadd float %x, %y
|
|
; CHECK: %a_vec = fadd <3 x float> %vec, %vec
|
|
%a_vec = fadd <3 x float> %vec, %vec
|
|
; CHECK: %b = fsub float %x, %y
|
|
%b = fsub float %x, %y
|
|
; CHECK: %b_vec = fsub <3 x float> %vec, %vec
|
|
%b_vec = fsub <3 x float> %vec, %vec
|
|
; CHECK: %c = fmul float %x, %y
|
|
%c = fmul float %x, %y
|
|
; CHECK: %c_vec = fmul <3 x float> %vec, %vec
|
|
%c_vec = fmul <3 x float> %vec, %vec
|
|
; CHECK: %d = fdiv float %x, %y
|
|
%d = fdiv float %x, %y
|
|
; CHECK: %d_vec = fdiv <3 x float> %vec, %vec
|
|
%d_vec = fdiv <3 x float> %vec, %vec
|
|
; CHECK: %e = frem float %x, %y
|
|
%e = frem float %x, %y
|
|
; CHECK: %e_vec = frem <3 x float> %vec, %vec
|
|
%e_vec = frem <3 x float> %vec, %vec
|
|
; CHECK: %f = fneg float %x
|
|
%f = fneg float %x
|
|
; CHECK: %f_vec = fneg <3 x float> %vec
|
|
%f_vec = fneg <3 x float> %vec
|
|
; CHECK: %g = fpext float %x to double
|
|
%g = fpext float %x to double
|
|
; CHECK: %g_vec = fpext <3 x float> %vec to <3 x double>
|
|
%g_vec = fpext <3 x float> %vec to <3 x double>
|
|
; CHECK: %g_scalable = fpext <vscale x 3 x float> %scalable to <vscale x 3 x double>
|
|
%g_scalable = fpext <vscale x 3 x float> %scalable to <vscale x 3 x double>
|
|
; CHECK: %h = fptrunc float %x to half
|
|
%h = fptrunc float %x to half
|
|
; CHECK: %h_vec = fptrunc <3 x float> %vec to <3 x half>
|
|
%h_vec = fptrunc <3 x float> %vec to <3 x half>
|
|
; CHECK: %h_scalable = fptrunc <vscale x 3 x float> %scalable to <vscale x 3 x half>
|
|
%h_scalable = fptrunc <vscale x 3 x float> %scalable to <vscale x 3 x half>
|
|
; CHECK: ret float %f
|
|
ret float %f
|
|
}
|
|
|
|
; CHECK: no_nan
|
|
define float @no_nan(float %x, float %y) {
|
|
entry:
|
|
; CHECK: %vec = load <3 x float>, ptr @vec
|
|
%vec = load <3 x float>, ptr @vec
|
|
; CHECK: %select = load i1, ptr @select
|
|
%select = load i1, ptr @select
|
|
; CHECK: %arr = load [3 x float], ptr @arr
|
|
%arr = load [3 x float], ptr @arr
|
|
; CHECK: %scalable = load <vscale x 3 x float>, ptr @vec
|
|
%scalable = load <vscale x 3 x float>, ptr @vec
|
|
|
|
; CHECK: %a = fadd nnan float %x, %y
|
|
%a = fadd nnan float %x, %y
|
|
; CHECK: %a_vec = fadd nnan <3 x float> %vec, %vec
|
|
%a_vec = fadd nnan <3 x float> %vec, %vec
|
|
; CHECK: %b = fsub nnan float %x, %y
|
|
%b = fsub nnan float %x, %y
|
|
; CHECK: %b_vec = fsub nnan <3 x float> %vec, %vec
|
|
%b_vec = fsub nnan <3 x float> %vec, %vec
|
|
; CHECK: %c = fmul nnan float %x, %y
|
|
%c = fmul nnan float %x, %y
|
|
; CHECK: %c_vec = fmul nnan <3 x float> %vec, %vec
|
|
%c_vec = fmul nnan <3 x float> %vec, %vec
|
|
; CHECK: %d = fdiv nnan float %x, %y
|
|
%d = fdiv nnan float %x, %y
|
|
; CHECK: %d_vec = fdiv nnan <3 x float> %vec, %vec
|
|
%d_vec = fdiv nnan <3 x float> %vec, %vec
|
|
; CHECK: %e = frem nnan float %x, %y
|
|
%e = frem nnan float %x, %y
|
|
; CHECK: %e_vec = frem nnan <3 x float> %vec, %vec
|
|
%e_vec = frem nnan <3 x float> %vec, %vec
|
|
; CHECK: %f = fneg nnan float %x
|
|
%f = fneg nnan float %x
|
|
; CHECK: %f_vec = fneg nnan <3 x float> %vec
|
|
%f_vec = fneg nnan <3 x float> %vec
|
|
; CHECK: %g = fpext nnan float %x to double
|
|
%g = fpext nnan float %x to double
|
|
; CHECK: %g_vec = fpext nnan <3 x float> %vec to <3 x double>
|
|
%g_vec = fpext nnan <3 x float> %vec to <3 x double>
|
|
; CHECK: %g_scalable = fpext nnan <vscale x 3 x float> %scalable to <vscale x 3 x double>
|
|
%g_scalable = fpext nnan <vscale x 3 x float> %scalable to <vscale x 3 x double>
|
|
; CHECK: %h = fptrunc nnan float %x to half
|
|
%h = fptrunc nnan float %x to half
|
|
; CHECK: %h_vec = fptrunc nnan <3 x float> %vec to <3 x half>
|
|
%h_vec = fptrunc nnan <3 x float> %vec to <3 x half>
|
|
; CHECK: %h_scalable = fptrunc nnan <vscale x 3 x float> %scalable to <vscale x 3 x half>
|
|
%h_scalable = fptrunc nnan <vscale x 3 x float> %scalable to <vscale x 3 x half>
|
|
; CHECK: ret float %f
|
|
ret float %f
|
|
}
|
|
|
|
; CHECK: @contract(
|
|
define float @contract(float %x, float %y) {
|
|
entry:
|
|
; CHECK: %a = fsub contract float %x, %y
|
|
%a = fsub contract float %x, %y
|
|
; CHECK: %b = fadd contract float %x, %y
|
|
%b = fadd contract float %x, %y
|
|
; CHECK: %c = fmul contract float %a, %b
|
|
%c = fmul contract float %a, %b
|
|
; CHECK: %d = fpext contract float %x to double
|
|
%d = fpext contract float %x to double
|
|
; CHECK: %e = fptrunc contract float %x to half
|
|
%e = fptrunc contract float %x to half
|
|
ret float %c
|
|
}
|
|
|
|
; CHECK: @reassoc(
|
|
define float @reassoc(float %x, float %y) {
|
|
; CHECK: %a = fsub reassoc float %x, %y
|
|
%a = fsub reassoc float %x, %y
|
|
; CHECK: %b = fmul reassoc float %x, %y
|
|
%b = fmul reassoc float %x, %y
|
|
; CHECK: %c = call reassoc float @foo(float %b)
|
|
%c = call reassoc float @foo(float %b)
|
|
; CHECK: %d = fpext reassoc float %x to double
|
|
%d = fpext reassoc float %x to double
|
|
; CHECK: %e = fptrunc reassoc float %x to half
|
|
%e = fptrunc reassoc float %x to half
|
|
ret float %c
|
|
}
|
|
|
|
; CHECK: @afn(
|
|
define float @afn(float %x, float %y) {
|
|
; CHECK: %a = fdiv afn float %x, %y
|
|
%a = fdiv afn float %x, %y
|
|
; CHECK: %b = frem afn float %x, %y
|
|
%b = frem afn float %x, %y
|
|
; CHECK: %c = call afn float @foo(float %b)
|
|
%c = call afn float @foo(float %b)
|
|
ret float %c
|
|
}
|
|
|
|
; CHECK: no_nan_inf
|
|
define float @no_nan_inf(float %x, float %y) {
|
|
entry:
|
|
; CHECK: %vec = load <3 x float>, ptr @vec
|
|
%vec = load <3 x float>, ptr @vec
|
|
; CHECK: %select = load i1, ptr @select
|
|
%select = load i1, ptr @select
|
|
; CHECK: %arr = load [3 x float], ptr @arr
|
|
%arr = load [3 x float], ptr @arr
|
|
; CHECK: %scalable = load <vscale x 3 x float>, ptr @vec
|
|
%scalable = load <vscale x 3 x float>, ptr @vec
|
|
|
|
; CHECK: %a = fadd nnan ninf float %x, %y
|
|
%a = fadd ninf nnan float %x, %y
|
|
; CHECK: %a_vec = fadd nnan <3 x float> %vec, %vec
|
|
%a_vec = fadd nnan <3 x float> %vec, %vec
|
|
; CHECK: %b = fsub nnan float %x, %y
|
|
%b = fsub nnan float %x, %y
|
|
; CHECK: %b_vec = fsub nnan ninf <3 x float> %vec, %vec
|
|
%b_vec = fsub ninf nnan <3 x float> %vec, %vec
|
|
; CHECK: %c = fmul nnan float %x, %y
|
|
%c = fmul nnan float %x, %y
|
|
; CHECK: %c_vec = fmul nnan <3 x float> %vec, %vec
|
|
%c_vec = fmul nnan <3 x float> %vec, %vec
|
|
; CHECK: %d = fdiv nnan ninf float %x, %y
|
|
%d = fdiv ninf nnan float %x, %y
|
|
; CHECK: %d_vec = fdiv nnan <3 x float> %vec, %vec
|
|
%d_vec = fdiv nnan <3 x float> %vec, %vec
|
|
; CHECK: %e = frem nnan float %x, %y
|
|
%e = frem nnan float %x, %y
|
|
; CHECK: %e_vec = frem nnan ninf <3 x float> %vec, %vec
|
|
%e_vec = frem ninf nnan <3 x float> %vec, %vec
|
|
; CHECK: %f = fpext nnan ninf float %x to double
|
|
%f = fpext ninf nnan float %x to double
|
|
; CHECK: %f_vec = fpext nnan ninf <3 x float> %vec to <3 x double>
|
|
%f_vec = fpext ninf nnan <3 x float> %vec to <3 x double>
|
|
; CHECK: %f_scalable = fpext nnan ninf <vscale x 3 x float> %scalable to <vscale x 3 x double>
|
|
%f_scalable = fpext ninf nnan <vscale x 3 x float> %scalable to <vscale x 3 x double>
|
|
; CHECK: %g = fptrunc nnan ninf float %x to half
|
|
%g = fptrunc ninf nnan float %x to half
|
|
; CHECK: %g_vec = fptrunc nnan ninf <3 x float> %vec to <3 x half>
|
|
%g_vec = fptrunc ninf nnan <3 x float> %vec to <3 x half>
|
|
; CHECK: %g_scalable = fptrunc nnan ninf <vscale x 3 x float> %scalable to <vscale x 3 x half>
|
|
%g_scalable = fptrunc ninf nnan <vscale x 3 x float> %scalable to <vscale x 3 x half>
|
|
; CHECK: ret float %e
|
|
ret float %e
|
|
}
|
|
|
|
; CHECK: mixed_flags
|
|
define float @mixed_flags(float %x, float %y) {
|
|
entry:
|
|
; CHECK: %vec = load <3 x float>, ptr @vec
|
|
%vec = load <3 x float>, ptr @vec
|
|
; CHECK: %select = load i1, ptr @select
|
|
%select = load i1, ptr @select
|
|
; CHECK: %arr = load [3 x float], ptr @arr
|
|
%arr = load [3 x float], ptr @arr
|
|
|
|
; CHECK: %a = fadd nnan ninf afn float %x, %y
|
|
%a = fadd ninf nnan afn float %x, %y
|
|
; CHECK: %a_vec = fadd reassoc nnan <3 x float> %vec, %vec
|
|
%a_vec = fadd reassoc nnan <3 x float> %vec, %vec
|
|
; CHECK: %b = fsub fast float %x, %y
|
|
%b = fsub nnan nsz fast float %x, %y
|
|
; CHECK: %b_vec = fsub nnan <3 x float> %vec, %vec
|
|
%b_vec = fsub nnan <3 x float> %vec, %vec
|
|
; CHECK: %c = fmul fast float %x, %y
|
|
%c = fmul nsz fast arcp float %x, %y
|
|
; CHECK: %c_vec = fmul nsz <3 x float> %vec, %vec
|
|
%c_vec = fmul nsz <3 x float> %vec, %vec
|
|
; CHECK: %d = fdiv nnan ninf arcp float %x, %y
|
|
%d = fdiv arcp ninf nnan float %x, %y
|
|
; CHECK: %d_vec = fdiv fast <3 x float> %vec, %vec
|
|
%d_vec = fdiv fast nnan arcp <3 x float> %vec, %vec
|
|
; CHECK: %e = frem nnan nsz float %x, %y
|
|
%e = frem nnan nsz float %x, %y
|
|
; CHECK: %e_vec = frem nnan <3 x float> %vec, %vec
|
|
%e_vec = frem nnan <3 x float> %vec, %vec
|
|
; CHECK: %f = fneg nnan nsz float %x
|
|
%f = fneg nnan nsz float %x
|
|
; CHECK: %f_vec = fneg fast <3 x float> %vec
|
|
%f_vec = fneg fast <3 x float> %vec
|
|
; CHECK: ret float %f
|
|
ret float %f
|
|
}
|
|
|
|
; CHECK: @fmf_calls(
|
|
define float @fmf_calls(float %x, float %y) {
|
|
entry:
|
|
; CHECK: %vec = load <3 x float>, ptr @vec
|
|
%vec = load <3 x float>, ptr @vec
|
|
; CHECK: %select = load i1, ptr @select
|
|
%select = load i1, ptr @select
|
|
; CHECK: %arr = load [3 x float], ptr @arr
|
|
%arr = load [3 x float], ptr @arr
|
|
|
|
; CHECK: %a = call nnan ninf afn float @extfunc(float %x, float %y)
|
|
%a = call ninf nnan afn float @extfunc(float %x, float %y)
|
|
; CHECK: %a_vec = call reassoc nnan <3 x float> @extfunc_vec(<3 x float> %vec, <3 x float> %vec)
|
|
%a_vec = call reassoc nnan <3 x float> @extfunc_vec(<3 x float> %vec, <3 x float> %vec)
|
|
; CHECK: %b = call nnan ninf afn float (...) @var_extfunc(float %x, float %y)
|
|
%b = call ninf nnan afn float (...) @var_extfunc(float %x, float %y)
|
|
; CHECK: %b_vec = call reassoc nnan <3 x float> (...) @var_extfunc_vec(<3 x float> %vec, <3 x float> %vec)
|
|
%b_vec = call reassoc nnan <3 x float> (...) @var_extfunc_vec(<3 x float> %vec, <3 x float> %vec)
|
|
; CHECK: ret float %a
|
|
ret float %a
|
|
}
|
|
|
|
declare float @extfunc(float, float)
|
|
declare <3 x float> @extfunc_vec(<3 x float>, <3 x float>)
|
|
declare float @var_extfunc(...)
|
|
declare <3 x float> @var_extfunc_vec(...)
|