Mark all yield values as live

Author: nhat-nguyen

mlir/lib/Analysis/DataFlow/LivenessAnalysis.cpp

@@ -49,8 +49,8 @@ ChangeResult Liveness::meet(const AbstractSparseLattice &other) {
 /// For every value, liveness analysis determines whether or not it is "live".
 ///
 /// A value is considered "live" iff it:
-///   (1) has memory effects
-///   (2) is returned by a public function
+///   (1) has memory effects OR
+///   (2) is returned by a public function OR
 ///   (3) is used to compute a value of type (1) or (2) OR
 ///   (4) is returned by a return-like op whose parent isn't a callable
 ///       (e.g.: linalg.yield, gpu.yield,...) These ops have their own