From: Bill Wendling Date: Wed, 9 Nov 2011 19:33:56 +0000 (+0000) Subject: Reformat the quote and tag the math stuff with tags. X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0656e254a7a72e39a23fdc22c1b21e1efb50cff9;p=oota-llvm.git Reformat the quote and tag the math stuff with tags. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@144204 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/docs/LangRef.html b/docs/LangRef.html index 71a0a7d6c63..a9ec80069ae 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:

-

-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. -

+
+ +

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.

+ +

The maximum relative error may be any rational number. The metadata node shall consist of a pair of unsigned integers respectively representing