d5c95302b9
These flags are usable on floating point arithmetic, as well as call, select, and phi instructions whose resulting type is floating point, or a vector of, or an array of, a valid type. Whether or not the flags are valid for a given instruction can be checked with the new LLVMCanValueUseFastMathFlags function. These are exposed using a new LLVMFastMathFlags type, which is an alias for unsigned. An anonymous enum defines the bit values for it. Tests are added in echo.ll for select/phil/call, and the floating point types in the new float_ops.ll bindings test. Select and the floating point arithmetic instructions were not implemented in llvm-c-test/echo.cpp, so they were added as well.
157 lines
3.8 KiB
LLVM
157 lines
3.8 KiB
LLVM
; RUN: llvm-as < %s | llvm-dis > %t.orig
|
|
; RUN: llvm-as < %s | llvm-c-test --echo > %t.echo
|
|
; RUN: diff -w %t.orig %t.echo
|
|
;
|
|
source_filename = "/test/Bindings/float_ops.ll"
|
|
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
|
|
|
|
|
|
define float @float_ops_f32(float %a, float %b) {
|
|
%1 = fneg float %a
|
|
|
|
%2 = fadd float %a, %b
|
|
%3 = fsub float %a, %b
|
|
%4 = fmul float %a, %b
|
|
%5 = fdiv float %a, %b
|
|
%6 = frem float %a, %b
|
|
|
|
ret float %1
|
|
}
|
|
|
|
define double @float_ops_f64(double %a, double %b) {
|
|
%1 = fneg double %a
|
|
|
|
%2 = fadd double %a, %b
|
|
%3 = fsub double %a, %b
|
|
%4 = fmul double %a, %b
|
|
%5 = fdiv double %a, %b
|
|
%6 = frem double %a, %b
|
|
|
|
ret double %1
|
|
}
|
|
|
|
define void @float_cmp_f32(float %a, float %b) {
|
|
%1 = fcmp oeq float %a, %b
|
|
%2 = fcmp ogt float %a, %b
|
|
%3 = fcmp olt float %a, %b
|
|
%4 = fcmp ole float %a, %b
|
|
%5 = fcmp one float %a, %b
|
|
|
|
%6 = fcmp ueq float %a, %b
|
|
%7 = fcmp ugt float %a, %b
|
|
%8 = fcmp ult float %a, %b
|
|
%9 = fcmp ule float %a, %b
|
|
%10 = fcmp une float %a, %b
|
|
|
|
%11 = fcmp ord float %a, %b
|
|
%12 = fcmp false float %a, %b
|
|
%13 = fcmp true float %a, %b
|
|
|
|
ret void
|
|
}
|
|
|
|
define void @float_cmp_f64(double %a, double %b) {
|
|
%1 = fcmp oeq double %a, %b
|
|
%2 = fcmp ogt double %a, %b
|
|
%3 = fcmp olt double %a, %b
|
|
%4 = fcmp ole double %a, %b
|
|
%5 = fcmp one double %a, %b
|
|
|
|
%6 = fcmp ueq double %a, %b
|
|
%7 = fcmp ugt double %a, %b
|
|
%8 = fcmp ult double %a, %b
|
|
%9 = fcmp ule double %a, %b
|
|
%10 = fcmp une double %a, %b
|
|
|
|
%11 = fcmp ord double %a, %b
|
|
%12 = fcmp false double %a, %b
|
|
%13 = fcmp true double %a, %b
|
|
|
|
ret void
|
|
}
|
|
|
|
define void @float_cmp_fast_f32(float %a, float %b) {
|
|
%1 = fcmp fast oeq float %a, %b
|
|
%2 = fcmp nsz ogt float %a, %b
|
|
%3 = fcmp nsz nnan olt float %a, %b
|
|
%4 = fcmp contract ole float %a, %b
|
|
%5 = fcmp nnan one float %a, %b
|
|
|
|
%6 = fcmp nnan ninf nsz ueq float %a, %b
|
|
%7 = fcmp arcp ugt float %a, %b
|
|
%8 = fcmp fast ult float %a, %b
|
|
%9 = fcmp fast ule float %a, %b
|
|
%10 = fcmp fast une float %a, %b
|
|
|
|
%11 = fcmp fast ord float %a, %b
|
|
%12 = fcmp nnan ninf false float %a, %b
|
|
%13 = fcmp nnan ninf true float %a, %b
|
|
|
|
ret void
|
|
}
|
|
|
|
define void @float_cmp_fast_f64(double %a, double %b) {
|
|
%1 = fcmp fast oeq double %a, %b
|
|
%2 = fcmp nsz ogt double %a, %b
|
|
%3 = fcmp nsz nnan olt double %a, %b
|
|
%4 = fcmp contract ole double %a, %b
|
|
%5 = fcmp nnan one double %a, %b
|
|
|
|
%6 = fcmp nnan ninf nsz ueq double %a, %b
|
|
%7 = fcmp arcp ugt double %a, %b
|
|
%8 = fcmp fast ult double %a, %b
|
|
%9 = fcmp fast ule double %a, %b
|
|
%10 = fcmp fast une double %a, %b
|
|
|
|
%11 = fcmp fast ord double %a, %b
|
|
%12 = fcmp nnan ninf false double %a, %b
|
|
%13 = fcmp nnan ninf true double %a, %b
|
|
|
|
ret void
|
|
}
|
|
|
|
define float @float_ops_fast_f32(float %a, float %b) {
|
|
%1 = fneg nnan float %a
|
|
|
|
%2 = fadd ninf float %a, %b
|
|
%3 = fsub nsz float %a, %b
|
|
%4 = fmul arcp float %a, %b
|
|
%5 = fdiv contract float %a, %b
|
|
%6 = frem afn float %a, %b
|
|
|
|
%7 = fadd reassoc float %a, %b
|
|
%8 = fadd reassoc float %7, %b
|
|
|
|
%9 = fadd fast float %a, %b
|
|
%10 = fadd nnan nsz float %a, %b
|
|
%11 = frem nnan nsz float %a, %b
|
|
%12 = fdiv nnan nsz arcp float %a, %b
|
|
%13 = fmul nnan nsz ninf contract float %a, %b
|
|
%14 = fmul nnan nsz ninf arcp contract afn reassoc float %a, %b
|
|
|
|
ret float %1
|
|
}
|
|
|
|
define double @float_ops_fast_f64(double %a, double %b) {
|
|
%1 = fneg nnan double %a
|
|
|
|
%2 = fadd ninf double %a, %b
|
|
%3 = fsub nsz double %a, %b
|
|
%4 = fmul arcp double %a, %b
|
|
%5 = fdiv contract double %a, %b
|
|
%6 = frem afn double %a, %b
|
|
|
|
%7 = fadd reassoc double %a, %b
|
|
%8 = fadd reassoc double %7, %b
|
|
|
|
%9 = fadd fast double %a, %b
|
|
%10 = fadd nnan nsz double %a, %b
|
|
%11 = frem nnan nsz double %a, %b
|
|
%12 = fdiv nnan nsz arcp double %a, %b
|
|
%13 = fmul nnan nsz ninf contract double %a, %b
|
|
%14 = fmul nnan nsz ninf arcp contract afn reassoc double %a, %b
|
|
|
|
ret double %1
|
|
}
|
|
|