[PATCH] D144334: [Clang] Add C++2b attribute [[assume(expression)]]
Nikita Popov via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Feb 20 01:20:54 PST 2023
nikic resigned from this revision.
nikic added a comment.
(not a clang reviewer)
================
Comment at: clang/test/CodeGenCXX/cxx2b-assume.cpp:55
+// CHECK-OPT-NEXT: tail call void @llvm.assume(i1 %[[CMP]])
+// CHECK-OPT-NEXT: ret i32 43
+//
----------------
Isn't the assume expression supposed to be unevaluated?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D144334/new/
https://reviews.llvm.org/D144334
More information about the cfe-commits
mailing list