[PATCH] D144334: [Clang] Add C++2b attribute [[assume(expression)]]

[Nikita Popov via Phabricator via cfe-commits]

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