@@ -199,39 +199,23 @@ TVEqualityWithTwoCVTransform::TVEqualityWithTwoCVTransform() {
199
199
match_pattern->AddChild (r_eq);
200
200
}
201
201
202
- <<<<<<< Updated upstream
203
- int TransitiveSingleDepthTransform::Promise (GroupExprTemplate *group_expr, OptimizeContextTemplate *context) const {
204
- =======
205
202
int TVEqualityWithTwoCVTransform::Promise (GroupExprTemplate *group_expr, OptimizeContextTemplate *context) const {
206
- >>>>>>> Stashed changes
207
203
(void )group_expr;
208
204
(void )context;
209
205
return static_cast <int >(RulePriority::HIGH);
210
206
}
211
207
212
- <<<<<<< Updated upstream
213
- bool TransitiveSingleDepthTransform::Check (std::shared_ptr<AbsExpr_Expression> plan, OptimizeContextTemplate *context) const {
214
- =======
215
208
bool TVEqualityWithTwoCVTransform::Check (std::shared_ptr<AbsExpr_Expression> plan, OptimizeContextTemplate *context) const {
216
- >>>>>>> Stashed changes
217
209
(void )plan;
218
210
(void )context;
219
211
return true ;
220
212
}
221
213
222
- <<<<<<< Updated upstream
223
- void TransitiveSingleDepthTransform::Transform (std::shared_ptr<AbsExpr_Expression> input,
224
- std::vector<std::shared_ptr<AbsExpr_Expression>> &transformed,
225
- OptimizeContextTemplate *context) const {
226
- (void )context;
227
- // TODO(wz2): TransitiveClosureConstant should work beyond straight equality
228
- =======
229
214
void TVEqualityWithTwoCVTransform::Transform (std::shared_ptr<AbsExpr_Expression> input,
230
215
std::vector<std::shared_ptr<AbsExpr_Expression>> &transformed,
231
216
OptimizeContextTemplate *context) const {
232
217
(void )context;
233
218
// TODO(wz2): TVEqualityWithTwoCVTransform should work beyond straight equality
234
- >>>>>>> Stashed changes
235
219
236
220
// Asserting guarantees provided by the GroupExprBindingIterator
237
221
// Structure: (A.B = x) AND (A.B = y)
@@ -360,11 +344,7 @@ void TransitiveClosureConstantTransform::Transform(std::shared_ptr<AbsExpr_Expre
360
344
PELOTON_ASSERT (l_tv->Children ().size () == 0 );
361
345
PELOTON_ASSERT (l_cv->Children ().size () == 0 );
362
346
PELOTON_ASSERT (l_tv->Op ().GetType () == ExpressionType::VALUE_TUPLE);
363
- <<<<<<< Updated upstream
364
- PELOTON_ASSERT (l_tv->Op ().GetType () == ExpressionType::VALUE_CONSTANT);
365
- =======
366
347
PELOTON_ASSERT (l_cv->Op ().GetType () == ExpressionType::VALUE_CONSTANT);
367
- >>>>>>> Stashed changes
368
348
369
349
auto r_tv_l = r_eq->Children ()[0 ];
370
350
auto r_tv_r = r_eq->Children ()[1 ];
@@ -406,12 +386,7 @@ void TransitiveClosureConstantTransform::Transform(std::shared_ptr<AbsExpr_Expre
406
386
new_right_eq->PushChild (r_tv_r);
407
387
} else {
408
388
// At this stage, we have knowledge that A.B = E.F
409
- <<<<<<< Updated upstream
410
- new_right_eq->PushChild (r_tv_r);
411
- =======
412
389
new_right_eq->PushChild (r_tv_l);
413
- >>>>>>> Stashed changes
414
- new_right_eq->PushChild (right_val_copy);
415
390
}
416
391
417
392
// Create new root expression
0 commit comments