search for: __divdf3

...ingle i32 register class. I'm wanting all floating point operations to be lowered to library function calls. For the most part LLVM seems to get this right. For example define double @div(double %a, double %b) { %result = fdiv double %a, %b ret double %result } is expanded to a ISD::CALL of __divdf3 which is then lowered via the LowerOperation hook of my backend. However I run into problems with fcmp. With the following code: define i1 @fmp(double %a) { %result = fcmp uno double %a, 0.000000e+00 ret i1 %result } the fcmp is expanded to the a call to __unorddf2 which is then lowered via th...

...all > floating point operations to be lowered to library function calls. For > the most part LLVM seems to get this right. For example > > define double @div(double %a, double %b) { > %result = fdiv double %a, %b > ret double %result > } > > is expanded to a ISD::CALL of __divdf3 which is then lowered via the > LowerOperation hook of my backend. > > However I run into problems with fcmp. With the following code: > > define i1 @fmp(double %a) { > %result = fcmp uno double %a, 0.000000e+00 > ret i1 %result > } > > the fcmp is expanded to the a ca...

...ons to be lowered to library function calls. For >> the most part LLVM seems to get this right. For example >> >> define double @div(double %a, double %b) { >> %result = fdiv double %a, %b >> ret double %result >> } >> >> is expanded to a ISD::CALL of __divdf3 which is then lowered via the >> LowerOperation hook of my backend. >> >> However I run into problems with fcmp. With the following code: >> >> define i1 @fmp(double %a) { >> %result = fcmp uno double %a, 0.000000e+00 >> ret i1 %result >> } >> &...

...>>> For >>> the most part LLVM seems to get this right. For example >>> >>> define double @div(double %a, double %b) { >>> %result = fdiv double %a, %b >>> ret double %result >>> } >>> >>> is expanded to a ISD::CALL of __divdf3 which is then lowered via the >>> LowerOperation hook of my backend. >>> >>> However I run into problems with fcmp. With the following code: >>> >>> define i1 @fmp(double %a) { >>> %result = fcmp uno double %a, 0.000000e+00 >>> ret i1 %...

...; the most part LLVM seems to get this right. For example >>>> >>>> define double @div(double %a, double %b) { >>>> %result = fdiv double %a, %b >>>> ret double %result >>>> } >>>> >>>> is expanded to a ISD::CALL of __divdf3 which is then lowered via the >>>> LowerOperation hook of my backend. >>>> >>>> However I run into problems with fcmp. With the following code: >>>> >>>> define i1 @fmp(double %a) { >>>> %result = fcmp uno double %a, 0.000000e+...

...that an operation involving a signaling NaN should deliver a quiet NaN as its result but I don't know if conversion from float to double qualifies as an operation. So I am not sure what is the correct result here. Next to these issues the TestFloat division tests fail because the __divsf3 and __divdf3 implementations currently flush denormals to zero. So I might want to have a go at trying to implement gradual underflow with correct rounding, but I am not a floating point emulation expert so any pointers on how to do that would be appreciated! Jordy [1] http://www.jhauser.us/arithmetic/TestFlo...

...o get this right. For example >>>>> >>>>> define double @div(double %a, double %b) { >>>>> %result = fdiv double %a, %b >>>>> ret double %result >>>>> } >>>>> >>>>> is expanded to a ISD::CALL of __divdf3 which is then lowered via >>>>> the >>>>> LowerOperation hook of my backend. >>>>> >>>>> However I run into problems with fcmp. With the following code: >>>>> >>>>> define i1 @fmp(double %a) { >>>&g...

...e >>>>>> >>>>>> define double @div(double %a, double %b) { >>>>>> %result = fdiv double %a, %b >>>>>> ret double %result >>>>>> } >>>>>> >>>>>> is expanded to a ISD::CALL of __divdf3 which is then lowered via >>>>>> the >>>>>> LowerOperation hook of my backend. >>>>>> >>>>>> However I run into problems with fcmp. With the following code: >>>>>> >>>>>> define i1 @fmp(dou...