diff --git a/docs/LangRef.html b/docs/LangRef.html index 15ecf86d4f8..eb36f093de7 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -4751,8 +4751,8 @@ entry:
Example:
-  %X = fpext float 3.1415 to double        ; yields double:3.1415
-  %Y = fpext float 1.0 to float            ; yields float:1.0 (no-op)
+  %X = fpext float 3.125 to double         ; yields double:3.125000e+00
+  %Y = fpext double %X to fp128            ; yields fp128:0xL00000000000000004000900000000000