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

[Corentin Jabot via Phabricator via cfe-commits]

cor3ntin added inline comments.


================
Comment at: clang/lib/CodeGen/CGStmt.cpp:723-727
+    case attr::Assume: {
+      llvm::Value *ArgValue = EmitScalarExpr(cast<AssumeAttr>(A)->getCond());
+      llvm::Function *FnAssume = CGM.getIntrinsic(llvm::Intrinsic::assume);
+      Builder.CreateCall(FnAssume, ArgValue);
+      break;
----------------
I'm not familiar with codegen. what makes the expression non-evaluated here?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D144334/new/

https://reviews.llvm.org/D144334