round.stdout.exp

来自「The Valgrind distribution has multiple t」· EXP 代码 · 共 942 行 · 第 1/5 页

EXP
942 行
字号
12345
-------------------------- test denormalized convert --------------------------near:PASSED:(double)(0x1p-148            ) =           0x1.cp-149near:PASSED:(double)(0x1p-149            ) =           0x1.4p-149zero:PASSED:(double)(0x1p-149            ) =           0x1.cp-149zero:PASSED:(double)(0x1p-149            ) =           0x1.4p-149+inf:PASSED:(double)(0x1p-148            ) =           0x1.cp-149+inf:PASSED:(double)(0x1p-148            ) =           0x1.4p-149-inf:PASSED:(double)(0x1p-149            ) =           0x1.cp-149-inf:PASSED:(double)(0x1p-149            ) =           0x1.4p-149-------------------------- test normalized convert --------------------------near:PASSED:(double)(0x1.000004p-126     ) =     0x1.0000038p-126near:PASSED:(double)(0x1.000002p-126     ) =     0x1.0000028p-126zero:PASSED:(double)(0x1.000002p-126     ) =     0x1.0000038p-126zero:PASSED:(double)(0x1.000002p-126     ) =     0x1.0000028p-126+inf:PASSED:(double)(0x1.000004p-126     ) =     0x1.0000038p-126+inf:PASSED:(double)(0x1.000004p-126     ) =     0x1.0000028p-126-inf:PASSED:(double)(0x1.000002p-126     ) =     0x1.0000038p-126-inf:PASSED:(double)(0x1.000002p-126     ) =     0x1.0000028p-126-------------------------- test (float)int convert --------------------------near:PASSED:(float)( int) 67047421 =  67047420.0near:PASSED:(float)( int) 67047423 =  67047424.0zero:PASSED:(float)( int) 67047421 =  67047420.0zero:PASSED:(float)( int) 67047423 =  67047420.0+inf:PASSED:(float)( int) 67047421 =  67047424.0+inf:PASSED:(float)( int) 67047423 =  67047424.0-inf:PASSED:(float)( int) 67047421 =  67047420.0-inf:PASSED:(float)( int) 67047423 =  67047420.0near:PASSED:(float)( int)-67047421 = -67047420.0near:PASSED:(float)( int)-67047423 = -67047424.0zero:PASSED:(float)( int)-67047421 = -67047420.0zero:PASSED:(float)( int)-67047423 = -67047420.0+inf:PASSED:(float)( int)-67047421 = -67047420.0+inf:PASSED:(float)( int)-67047423 = -67047420.0-inf:PASSED:(float)( int)-67047421 = -67047424.0-inf:PASSED:(float)( int)-67047423 = -67047424.0-------------------------- test (float)int convert --------------------------near:PASSED:(float)( int) 67047421 =  67047420.0near:PASSED:(float)( int) 67047423 =  67047424.0zero:PASSED:(float)( int) 67047421 =  67047420.0zero:PASSED:(float)( int) 67047423 =  67047420.0+inf:PASSED:(float)( int) 67047421 =  67047424.0+inf:PASSED:(float)( int) 67047423 =  67047424.0-inf:PASSED:(float)( int) 67047421 =  67047420.0-inf:PASSED:(float)( int) 67047423 =  67047420.0near:PASSED:(float)( int)-67047421 = -67047420.0near:PASSED:(float)( int)-67047423 = -67047424.0zero:PASSED:(float)( int)-67047421 = -67047420.0zero:PASSED:(float)( int)-67047423 = -67047420.0+inf:PASSED:(float)( int)-67047421 = -67047420.0+inf:PASSED:(float)( int)-67047423 = -67047420.0-inf:PASSED:(float)( int)-67047421 = -67047424.0-inf:PASSED:(float)( int)-67047423 = -67047424.0-------------------------- test rounding of float operators without guard bits --------------------------near:PASSED:fadds(-0x1p-149    , -0x1p-151    ) = -0x1p-149    near:PASSED:fadds(-0x1p-149    , -0x1.8p-150  ) = -0x1p-148    near:PASSED:fadds(0x1p-149     , 0x1p-151     ) = 0x1p-149     near:PASSED:fadds(0x1p-149     , 0x1.8p-150   ) = 0x1p-148     zero:PASSED:fadds(-0x1p-149    , -0x1p-151    ) = -0x1p-149    zero:PASSED:fadds(-0x1p-149    , -0x1.8p-150  ) = -0x1p-149    zero:PASSED:fadds(0x1p-149     , 0x1p-151     ) = 0x1p-149     zero:PASSED:fadds(0x1p-149     , 0x1.8p-150   ) = 0x1p-149     +inf:PASSED:fadds(-0x1p-149    , -0x1p-151    ) = -0x1p-149    +inf:PASSED:fadds(-0x1p-149    , -0x1.8p-150  ) = -0x1p-149    +inf:PASSED:fadds(0x1p-149     , 0x1p-151     ) = 0x1p-148     +inf:PASSED:fadds(0x1p-149     , 0x1.8p-150   ) = 0x1p-148     -inf:PASSED:fadds(-0x1p-149    , -0x1p-151    ) = -0x1p-148    -inf:PASSED:fadds(-0x1p-149    , -0x1.8p-150  ) = -0x1p-148    -inf:PASSED:fadds(0x1p-149     , 0x1p-151     ) = 0x1p-149     -inf:PASSED:fadds(0x1p-149     , 0x1.8p-150   ) = 0x1p-149     near:PASSED:fsubs(-0x1p-148    , -0x1.8p-150  ) = -0x1p-149    near:PASSED:fsubs(-0x1p-148    , -0x1p-151    ) = -0x1p-148    near:PASSED:fsubs(0x1p-148     , 0x1.8p-150   ) = 0x1p-149     near:PASSED:fsubs(0x1p-148     , 0x1p-151     ) = 0x1p-148     zero:PASSED:fsubs(-0x1p-148    , -0x1.8p-150  ) = -0x1p-149    zero:PASSED:fsubs(-0x1p-148    , -0x1p-151    ) = -0x1p-149    zero:PASSED:fsubs(0x1p-148     , 0x1.8p-150   ) = 0x1p-149     zero:PASSED:fsubs(0x1p-148     , 0x1p-151     ) = 0x1p-149     +inf:PASSED:fsubs(-0x1p-148    , -0x1.8p-150  ) = -0x1p-149    +inf:PASSED:fsubs(-0x1p-148    , -0x1p-151    ) = -0x1p-149    +inf:PASSED:fsubs(0x1p-148     , 0x1.8p-150   ) = 0x1p-148     +inf:PASSED:fsubs(0x1p-148     , 0x1p-151     ) = 0x1p-148     -inf:PASSED:fsubs(-0x1p-148    , -0x1.8p-150  ) = -0x1p-148    -inf:PASSED:fsubs(-0x1p-148    , -0x1p-151    ) = -0x1p-148    -inf:PASSED:fsubs(0x1p-148     , 0x1.8p-150   ) = 0x1p-149     -inf:PASSED:fsubs(0x1p-148     , 0x1p-151     ) = 0x1p-149     near:PASSED:fmuls(0x1p-1       , -0x1.4p-148  ) = -0x1p-149    near:PASSED:fmuls(0x1p-1       , -0x1.cp-148  ) = -0x1p-148    near:PASSED:fmuls(0x1p-1       , 0x1.4p-148   ) = 0x1p-149     near:PASSED:fmuls(0x1p-1       , 0x1.cp-148   ) = 0x1p-148     zero:PASSED:fmuls(0x1p-1       , -0x1.4p-148  ) = -0x1p-149    zero:PASSED:fmuls(0x1p-1       , -0x1.cp-148  ) = -0x1p-149    zero:PASSED:fmuls(0x1p-1       , 0x1.4p-148   ) = 0x1p-149     zero:PASSED:fmuls(0x1p-1       , 0x1.cp-148   ) = 0x1p-149     +inf:PASSED:fmuls(0x1p-1       , -0x1.4p-148  ) = -0x1p-149    +inf:PASSED:fmuls(0x1p-1       , -0x1.cp-148  ) = -0x1p-149    +inf:PASSED:fmuls(0x1p-1       , 0x1.4p-148   ) = 0x1p-148     +inf:PASSED:fmuls(0x1p-1       , 0x1.cp-148   ) = 0x1p-148     -inf:PASSED:fmuls(0x1p-1       , -0x1.4p-148  ) = -0x1p-148    -inf:PASSED:fmuls(0x1p-1       , -0x1.cp-148  ) = -0x1p-148    -inf:PASSED:fmuls(0x1p-1       , 0x1.4p-148   ) = 0x1p-149     -inf:PASSED:fmuls(0x1p-1       , 0x1.cp-148   ) = 0x1p-149     near:PASSED:fdivs(-0x1.4p-148  , 0x1p+1       ) = -0x1p-149    near:PASSED:fdivs(-0x1.cp-148  , 0x1p+1       ) = -0x1p-148    near:PASSED:fdivs(0x1.4p-148   , 0x1p+1       ) = 0x1p-149     near:PASSED:fdivs(0x1.cp-148   , 0x1p+1       ) = 0x1p-148     zero:PASSED:fdivs(-0x1.4p-148  , 0x1p+1       ) = -0x1p-149    zero:PASSED:fdivs(-0x1.cp-148  , 0x1p+1       ) = -0x1p-149    zero:PASSED:fdivs(0x1.4p-148   , 0x1p+1       ) = 0x1p-149     zero:PASSED:fdivs(0x1.cp-148   , 0x1p+1       ) = 0x1p-149     +inf:PASSED:fdivs(-0x1.4p-148  , 0x1p+1       ) = -0x1p-149    +inf:PASSED:fdivs(-0x1.cp-148  , 0x1p+1       ) = -0x1p-149    +inf:PASSED:fdivs(0x1.4p-148   , 0x1p+1       ) = 0x1p-148     +inf:PASSED:fdivs(0x1.cp-148   , 0x1p+1       ) = 0x1p-148     -inf:PASSED:fdivs(-0x1.4p-148  , 0x1p+1       ) = -0x1p-148    -inf:PASSED:fdivs(-0x1.cp-148  , 0x1p+1       ) = -0x1p-148    -inf:PASSED:fdivs(0x1.4p-148   , 0x1p+1       ) = 0x1p-149     -inf:PASSED:fdivs(0x1.cp-148   , 0x1p+1       ) = 0x1p-149     -------------------------- test rounding of float operators with guard bits --------------------------near:PASSED:fadds(-1.000000    , -0x1p-3      ) = -0x1.2p+0    near:PASSED:fadds(-1.000000    , -0x1.000002p-3) = -0x1.2p+0    near:PASSED:fadds(-1.000000    , -0x1.000004p-3) = -0x1.2p+0    near:PASSED:fadds(-1.000000    , -0x1.000006p-3) = -0x1.2p+0    near:PASSED:fadds(-1.000000    , -0x1.000008p-3) = -0x1.2p+0    near:PASSED:fadds(-1.000000    , -0x1.00000ap-3) = -0x1.200002p+0near:PASSED:fadds(-1.000000    , -0x1.00000cp-3) = -0x1.200002p+0near:PASSED:fadds(-1.000000    , -0x1.00000ep-3) = -0x1.200002p+0near:PASSED:fadds(-1.000000    , -0x1.00001p-3) = -0x1.200002p+0near:PASSED:fadds(-1.000000    , -0x1.000012p-3) = -0x1.200002p+0near:PASSED:fadds(-1.000000    , -0x1.000014p-3) = -0x1.200002p+0near:PASSED:fadds(-1.000000    , -0x1.000016p-3) = -0x1.200002p+0near:PASSED:fadds(-1.000000    , -0x1.000018p-3) = -0x1.200004p+0near:PASSED:fadds(-1.000000    , -0x1.00001ap-3) = -0x1.200004p+0near:PASSED:fadds(-1.000000    , -0x1.00001cp-3) = -0x1.200004p+0near:PASSED:fadds(-1.000000    , -0x1.00001ep-3) = -0x1.200004p+0near:PASSED:fadds(1.000000     , 0x1p-3       ) = 0x1.2p+0     near:PASSED:fadds(1.000000     , 0x1.000002p-3) = 0x1.2p+0     near:PASSED:fadds(1.000000     , 0x1.000004p-3) = 0x1.2p+0     near:PASSED:fadds(1.000000     , 0x1.000006p-3) = 0x1.2p+0     near:PASSED:fadds(1.000000     , 0x1.000008p-3) = 0x1.2p+0     near:PASSED:fadds(1.000000     , 0x1.00000ap-3) = 0x1.200002p+0near:PASSED:fadds(1.000000     , 0x1.00000cp-3) = 0x1.200002p+0near:PASSED:fadds(1.000000     , 0x1.00000ep-3) = 0x1.200002p+0near:PASSED:fadds(1.000000     , 0x1.00001p-3 ) = 0x1.200002p+0near:PASSED:fadds(1.000000     , 0x1.000012p-3) = 0x1.200002p+0near:PASSED:fadds(1.000000     , 0x1.000014p-3) = 0x1.200002p+0near:PASSED:fadds(1.000000     , 0x1.000016p-3) = 0x1.200002p+0near:PASSED:fadds(1.000000     , 0x1.000018p-3) = 0x1.200004p+0near:PASSED:fadds(1.000000     , 0x1.00001ap-3) = 0x1.200004p+0near:PASSED:fadds(1.000000     , 0x1.00001cp-3) = 0x1.200004p+0near:PASSED:fadds(1.000000     , 0x1.00001ep-3) = 0x1.200004p+0zero:PASSED:fadds(-1.000000    , -0x1p-3      ) = -0x1.2p+0    zero:PASSED:fadds(-1.000000    , -0x1.000002p-3) = -0x1.2p+0    zero:PASSED:fadds(-1.000000    , -0x1.000004p-3) = -0x1.2p+0    zero:PASSED:fadds(-1.000000    , -0x1.000006p-3) = -0x1.2p+0    zero:PASSED:fadds(-1.000000    , -0x1.000008p-3) = -0x1.2p+0    zero:PASSED:fadds(-1.000000    , -0x1.00000ap-3) = -0x1.2p+0    zero:PASSED:fadds(-1.000000    , -0x1.00000cp-3) = -0x1.2p+0    zero:PASSED:fadds(-1.000000    , -0x1.00000ep-3) = -0x1.2p+0    zero:PASSED:fadds(-1.000000    , -0x1.00001p-3) = -0x1.200002p+0zero:PASSED:fadds(-1.000000    , -0x1.000012p-3) = -0x1.200002p+0zero:PASSED:fadds(-1.000000    , -0x1.000014p-3) = -0x1.200002p+0zero:PASSED:fadds(-1.000000    , -0x1.000016p-3) = -0x1.200002p+0zero:PASSED:fadds(-1.000000    , -0x1.000018p-3) = -0x1.200002p+0zero:PASSED:fadds(-1.000000    , -0x1.00001ap-3) = -0x1.200002p+0zero:PASSED:fadds(-1.000000    , -0x1.00001cp-3) = -0x1.200002p+0zero:PASSED:fadds(-1.000000    , -0x1.00001ep-3) = -0x1.200002p+0zero:PASSED:fadds(1.000000     , 0x1p-3       ) = 0x1.2p+0     zero:PASSED:fadds(1.000000     , 0x1.000002p-3) = 0x1.2p+0     zero:PASSED:fadds(1.000000     , 0x1.000004p-3) = 0x1.2p+0     zero:PASSED:fadds(1.000000     , 0x1.000006p-3) = 0x1.2p+0     zero:PASSED:fadds(1.000000     , 0x1.000008p-3) = 0x1.2p+0     zero:PASSED:fadds(1.000000     , 0x1.00000ap-3) = 0x1.2p+0     zero:PASSED:fadds(1.000000     , 0x1.00000cp-3) = 0x1.2p+0     zero:PASSED:fadds(1.000000     , 0x1.00000ep-3) = 0x1.2p+0     zero:PASSED:fadds(1.000000     , 0x1.00001p-3 ) = 0x1.200002p+0zero:PASSED:fadds(1.000000     , 0x1.000012p-3) = 0x1.200002p+0zero:PASSED:fadds(1.000000     , 0x1.000014p-3) = 0x1.200002p+0zero:PASSED:fadds(1.000000     , 0x1.000016p-3) = 0x1.200002p+0zero:PASSED:fadds(1.000000     , 0x1.000018p-3) = 0x1.200002p+0zero:PASSED:fadds(1.000000     , 0x1.00001ap-3) = 0x1.200002p+0zero:PASSED:fadds(1.000000     , 0x1.00001cp-3) = 0x1.200002p+0zero:PASSED:fadds(1.000000     , 0x1.00001ep-3) = 0x1.200002p+0+inf:PASSED:fadds(-1.000000    , -0x1p-3      ) = -0x1.2p+0    +inf:PASSED:fadds(-1.000000    , -0x1.000002p-3) = -0x1.2p+0    +inf:PASSED:fadds(-1.000000    , -0x1.000004p-3) = -0x1.2p+0    +inf:PASSED:fadds(-1.000000    , -0x1.000006p-3) = -0x1.2p+0    +inf:PASSED:fadds(-1.000000    , -0x1.000008p-3) = -0x1.2p+0    +inf:PASSED:fadds(-1.000000    , -0x1.00000ap-3) = -0x1.2p+0    +inf:PASSED:fadds(-1.000000    , -0x1.00000cp-3) = -0x1.2p+0
12345

round.stdout.exp - 源码说明

本页面展示了「The Valgrind distribution has multiple tools. The most popular is the memory checking tool (called M」中的 round.stdout.exp 源码文件，采用 EXP 编程语言编写，共 942 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫开发者社区收录了大量与Valgrind相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?