From a023760364ed5bd39ba6698a051db62eb7404c79 Mon Sep 17 00:00:00 2001 From: "Peter S. Housel" Date: Wed, 19 Jun 2024 12:42:25 -0700 Subject: [PATCH] documentation: Note if-expression optimization in release notes * documentation/source/release-notes/2024.2.rst: Add entry to Compiler section. --- documentation/source/release-notes/2024.2.rst | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/documentation/source/release-notes/2024.2.rst b/documentation/source/release-notes/2024.2.rst index 2d7715a16..258fb9f6a 100644 --- a/documentation/source/release-notes/2024.2.rst +++ b/documentation/source/release-notes/2024.2.rst @@ -26,6 +26,19 @@ Compiler * The build rules for unified executables now properly depend on copying included run-time libraries such as libunwind. +* Optimizations that allow the type of ``if`` expressions to be more + accurately estimated have been improved. For example, in this + function: + + .. code-block:: + + define function if-example (arg :: false-or()) => (result :: ); + min(arg | 20, 30) + end; + + the comparison can now be properly inlined because the first + argument to :drm:`min` is known to be an :drm:``. + Tools =====