From 0656e254a7a72e39a23fdc22c1b21e1efb50cff9 Mon Sep 17 00:00:00 2001 From: Bill Wendling Date: Wed, 9 Nov 2011 19:33:56 +0000 Subject: 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 --- docs/LangRef.html | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) (limited to 'docs/LangRef.html') 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:

-

-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 -- cgit v1.1