diff options
author | Bill Wendling <isanbard@gmail.com> | 2011-11-09 19:33:56 +0000 |
---|---|---|
committer | Bill Wendling <isanbard@gmail.com> | 2011-11-09 19:33:56 +0000 |
commit | 0656e254a7a72e39a23fdc22c1b21e1efb50cff9 (patch) | |
tree | a2190e582cf412292eacd4bd69d0ba5e4653f225 /docs/LangRef.html | |
parent | 4cb5fff50b71ff9c2cebff09144c20f812529fc9 (diff) | |
download | external_llvm-0656e254a7a72e39a23fdc22c1b21e1efb50cff9.zip external_llvm-0656e254a7a72e39a23fdc22c1b21e1efb50cff9.tar.gz external_llvm-0656e254a7a72e39a23fdc22c1b21e1efb50cff9.tar.bz2 |
Reformat the quote and tag the math stuff with <tt> tags.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@144204 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/LangRef.html')
-rw-r--r-- | docs/LangRef.html | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 71a0a7d..a9ec800 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2976,12 +2976,15 @@ call void @llvm.dbg.value(metadata !24, i64 0, metadata !25) point type. It expresses the maximum relative error of the result of that instruction, in ULPs. ULP is defined as follows:</p> -<blockquote><p> -If x is a real number that lies between two finite consecutive floating-point -numbers a and b, without being equal to one of them, then ulp(x) = |b - a|, -otherwise ulp(x) is the distance between the two non-equal finite -floating-point numbers nearest x. Moreover, ulp(NaN) is NaN. -</p></blockquote> +<blockquote> + +<p>If <tt>x</tt> is a real number that lies between two finite consecutive + floating-point numbers <tt>a</tt> and <tt>b</tt>, without being equal to one + of them, then <tt>ulp(x) = |b - a|</tt>, otherwise <tt>ulp(x)</tt> is the + distance between the two non-equal finite floating-point numbers nearest + <tt>x</tt>. Moreover, <tt>ulp(NaN)</tt> is <tt>NaN</tt>.</p> + +</blockquote> <p>The maximum relative error may be any rational number. The metadata node shall consist of a pair of unsigned integers respectively representing |