commit a88677edc0792534ba3157bf7d7a1b98e470f2fb
author Yusuke MINATO <minato.yusuke@fujitsu.com> Tue Dec 10 16:26:53 2024 +0900
committer GitHub <noreply@github.com> Tue Dec 10 16:26:53 2024 +0900
tree 14d8fe7f58ae9c4c866fc540c471ee75e65a4bd6
parent 411196b9bb1953372726348deb1bc77abfa7d900

Reland "[flang] Integrate the option -flang-experimental-integer-overflow into -fno-wrapv" (#118933)

This relands #110063.
The performance issue on 503.bwaves_r is found not to be related to the
patch, and is resolved by fbd89bcc when LTO is enabled.

flang/lib/Lower/Bridge.cpp

diff --git a/flang/lib/Lower/Bridge.cpp b/flang/lib/Lower/Bridge.cpp
index 292b078..ce8e18b 100644
--- a/flang/lib/Lower/Bridge.cpp
+++ b/flang/lib/Lower/Bridge.cpp
@@ -2330,7 +2330,7 @@
     assert(!incrementLoopNestInfo.empty() && "empty loop nest");
     mlir::Location loc = toLocation();
     mlir::arith::IntegerOverflowFlags flags{};
-    if (getLoweringOptions().getNSWOnLoopVarInc())
+    if (!getLoweringOptions().getIntegerWrapAround())
       flags = bitEnumSet(flags, mlir::arith::IntegerOverflowFlags::nsw);
     auto iofAttr = mlir::arith::IntegerOverflowFlagsAttr::get(
         builder->getContext(), flags);