[PATCH] D91075: [clang] Fix ForStmt mustprogress handling
Atmn Patel via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Nov 9 08:38:35 PST 2020
This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
Closed by commit rGfd3cad7a6016: [clang] Fix ForStmt mustprogress handling (authored by atmnpatel).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D91075/new/
https://reviews.llvm.org/D91075
Files:
clang/lib/CodeGen/CGStmt.cpp
clang/test/CodeGen/attr-mustprogress-1.c
clang/test/CodeGen/attr-mustprogress-1.cpp
Index: clang/test/CodeGen/attr-mustprogress-1.cpp
===================================================================
--- clang/test/CodeGen/attr-mustprogress-1.cpp
+++ clang/test/CodeGen/attr-mustprogress-1.cpp
@@ -7,6 +7,16 @@
int a = 0;
int b = 0;
+// CHECK: Function Attrs: noinline nounwind optnone
+// CHECK-LABEL: @_Z2f0v(
+// CHECK-NEXT: entry:
+// CHECK-NEXT: br label [[FOR_COND:%.*]]
+// CHECK: for.cond:
+// CHECK-NOT: br label [[FOR_COND]], !llvm.loop !{{.*}}
+void f0() {
+ for (; ;) ;
+}
+
// CHECK: Function Attrs: noinline nounwind optnone
// CHECK-LABEL: @_Z2f1v(
// CHECK-NEXT: entry:
Index: clang/test/CodeGen/attr-mustprogress-1.c
===================================================================
--- clang/test/CodeGen/attr-mustprogress-1.c
+++ clang/test/CodeGen/attr-mustprogress-1.c
@@ -7,6 +7,17 @@
int a = 0;
int b = 0;
+// CHECK: Function Attrs: noinline nounwind optnone
+// CHECK-LABEL: @f0(
+// CHECK-NEXT: entry:
+// CHECK-NEXT: br label [[FOR_COND:%.*]]
+// CHECK: for.cond:
+// CHECK-NOT: br label [[FOR_COND]], !llvm.loop !{{.*}}
+//
+void f0() {
+ for (; ;) ;
+}
+
// CHECK: Function Attrs: noinline nounwind optnone
// CHECK-LABEL: @f1(
// CHECK-NEXT: entry:
Index: clang/lib/CodeGen/CGStmt.cpp
===================================================================
--- clang/lib/CodeGen/CGStmt.cpp
+++ clang/lib/CodeGen/CGStmt.cpp
@@ -947,7 +947,6 @@
Expr::EvalResult Result;
if (LanguageRequiresProgress()) {
if (!S.getCond()) {
- LoopMustProgress = true;
FnIsMustProgress = false;
} else if (!S.getCond()->EvaluateAsInt(Result, getContext())) {
LoopMustProgress = true;
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D91075.303890.patch
Type: text/x-patch
Size: 1688 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20201109/23883bf5/attachment-0001.bin>
More information about the cfe-commits
mailing list