[llvm] [RFC] implement convergence control in MIR using SelectionDAG (PR #71785)

Sameer Sahasrabuddhe via llvm-commits llvm-commits at lists.llvm.org
Mon Nov 20 03:00:24 PST 2023


================
@@ -8351,7 +8382,8 @@ void SelectionDAGBuilder::LowerCallTo(const CallBase &CB, SDValue Callee,
       .setConvergent(CB.isConvergent())
       .setIsPreallocated(
           CB.countOperandBundlesOfType(LLVMContext::OB_preallocated) != 0)
-      .setCFIType(CFIType);
+      .setCFIType(CFIType)
+      .setConvergenceControlToken(ConvControlToken);
----------------
ssahasra wrote:

The TD pattern for SI_CALL_ISEL always expects a non-null token, and it is applied independent of whether the call is convergent.

https://github.com/llvm/llvm-project/pull/71785


More information about the llvm-commits mailing list