Address feedback on comments

Author: mmha

clang/include/clang/CIR/Dialect/IR/CIROps.td

@@ -1477,6 +1477,10 @@ def TernaryOp : CIR_Op<"ternary",
     since each region is one block sized and the `cir.yield` closing the block
     scope should have one argument.
 
+    `cir.ternary` also represents the GNU binary conditional operator ?: which
+    reuses the parent operation for both the condition and the true branch to
+    evaluate it only once.
+
     Example:
 
     ```mlir

clang/lib/CIR/Dialect/IR/CIRDialect.cpp

@@ -1191,7 +1191,7 @@ LogicalResult cir::BinOp::verify() {
 // TernaryOp
 //===----------------------------------------------------------------------===//
 
-/// Given the region at `index`, or the parent operation if `index` is None,
+/// Given the region at `point`, or the parent operation if `point` is None,
 /// return the successor regions. These are the regions that may be selected
 /// during the flow of control. `operands` is a set of optional attributes that
 /// correspond to a constant value for each operand, or null if that operand is
@@ -1204,7 +1204,8 @@ void cir::TernaryOp::getSuccessorRegions(
     return;
   }
 
-  // If the condition isn't constant, both regions may be executed.
+  // When branching from the parent operation, both the true and false
+  // regions are considered possible successors
   regions.push_back(RegionSuccessor(&getTrueRegion()));
   regions.push_back(RegionSuccessor(&getFalseRegion()));
 }