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