From dc77646577e9462e87634c38ae13eded78301189 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Tue, 14 Jul 2015 08:03:43 -0700 Subject: Add a new page about the JIT/Optimization library concept. This also obviates the need for the floating point library function section. --- FAQ.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'FAQ.md') diff --git a/FAQ.md b/FAQ.md index d5603ad..dfbc282 100644 --- a/FAQ.md +++ b/FAQ.md @@ -220,7 +220,7 @@ WebAssembly implementations run on the user side, so there is no opportunity for * Many of the important fast-math optimizations happen in the mid-level optimizer of a compiler, before WebAssembly code is emitted. For example, loop vectorization that depends on floating point reassociation can still be done at this level if the user applies the appropriate fast-math flags, so WebAssembly programs can still enjoy these benefits. As another example, compilers can replace floating point division with floating point multiplication by a reciprocal in WebAssembly programs just as they do for other platforms. - * Mid-level compiler optimizations may also be augmented by implementing them in a JIT library in WebAssembly. This would allow them to perform optimizations that benefit from having [information about the target](FeatureTest.md) and information about the source program semantics such as fast-math flags at the same time. For example, if SIMD types wider than 128-bit are added, it's expected that there would be feature tests allowing WebAssembly code to determine which SIMD types to use on a given platform. + * Mid-level compiler optimizations may also be augmented by implementing them in a [JIT library](JITLibrary.md) in WebAssembly. This would allow them to perform optimizations that benefit from having [information about the target](FeatureTest.md) and information about the source program semantics such as fast-math flags at the same time. For example, if SIMD types wider than 128-bit are added, it's expected that there would be feature tests allowing WebAssembly code to determine which SIMD types to use on a given platform. * When WebAssembly [adds an FMA operation](FutureFeatures.md#additional-floating-point-operations), folding multiply and add sequences into FMA operators will be possible. -- cgit v1.2.3