Lines Matching refs:Value
26 using Value = InductionVarRange::Value; typedef
44 void ExpectEqual(Value v1, Value v2) { in ExpectEqual()
199 Value GetMin(HInductionVarAnalysis::InductionInfo* info, in GetMin()
204 Value GetMax(HInductionVarAnalysis::InductionInfo* info, in GetMax()
209 Value GetMul(HInductionVarAnalysis::InductionInfo* info1, in GetMul()
215 Value GetDiv(HInductionVarAnalysis::InductionInfo* info1, in GetDiv()
233 Value AddValue(Value v1, Value v2) { return range_.AddValue(v1, v2); } in AddValue()
234 Value SubValue(Value v1, Value v2) { return range_.SubValue(v1, v2); } in SubValue()
235 Value MulValue(Value v1, Value v2) { return range_.MulValue(v1, v2); } in MulValue()
236 Value DivValue(Value v1, Value v2) { return range_.DivValue(v1, v2); } in DivValue()
237 Value MinValue(Value v1, Value v2) { return range_.MergeVal(v1, v2, true); } in MinValue()
238 Value MaxValue(Value v1, Value v2) { return range_.MergeVal(v1, v2, false); } in MaxValue()
310 ExpectEqual(Value(), GetMin(nullptr, nullptr)); in TEST_F()
311 ExpectEqual(Value(), GetMax(nullptr, nullptr)); in TEST_F()
315 ExpectEqual(Value(12), in TEST_F()
317 ExpectEqual(Value(22), in TEST_F()
319 ExpectEqual(Value(x_, 1, -20), in TEST_F()
321 ExpectEqual(Value(x_, 1, -10), in TEST_F()
323 ExpectEqual(Value(x_, 1, 10), in TEST_F()
325 ExpectEqual(Value(x_, 1, 20), in TEST_F()
327 ExpectEqual(Value(5), in TEST_F()
329 ExpectEqual(Value(19), in TEST_F()
334 ExpectEqual(Value(-18), in TEST_F()
336 ExpectEqual(Value(-8), in TEST_F()
338 ExpectEqual(Value(x_, 1, 10), in TEST_F()
340 ExpectEqual(Value(x_, 1, 20), in TEST_F()
342 ExpectEqual(Value(x_, -1, 10), in TEST_F()
344 ExpectEqual(Value(x_, -1, 20), in TEST_F()
346 ExpectEqual(Value(-25), in TEST_F()
348 ExpectEqual(Value(-11), in TEST_F()
353 ExpectEqual(Value(-20), GetMin(CreateInvariant('n', nullptr, CreateRange(10, 20)), nullptr)); in TEST_F()
354 ExpectEqual(Value(-10), GetMax(CreateInvariant('n', nullptr, CreateRange(10, 20)), nullptr)); in TEST_F()
355 ExpectEqual(Value(10), GetMin(CreateInvariant('n', nullptr, CreateRange(-20, -10)), nullptr)); in TEST_F()
356 ExpectEqual(Value(20), GetMax(CreateInvariant('n', nullptr, CreateRange(-20, -10)), nullptr)); in TEST_F()
357 ExpectEqual(Value(x_, -1, 0), GetMin(CreateInvariant('n', nullptr, CreateFetch(x_)), nullptr)); in TEST_F()
358 ExpectEqual(Value(x_, -1, 0), GetMax(CreateInvariant('n', nullptr, CreateFetch(x_)), nullptr)); in TEST_F()
362 ExpectEqual(Value(20), in TEST_F()
364 ExpectEqual(Value(40), in TEST_F()
369 ExpectEqual(Value(3), in TEST_F()
371 ExpectEqual(Value(5), in TEST_F()
376 ExpectEqual(Value(12345), GetMin(CreateConst(12345), nullptr)); in TEST_F()
377 ExpectEqual(Value(12345), GetMax(CreateConst(12345), nullptr)); in TEST_F()
381 ExpectEqual(Value(x_, 1, 0), GetMin(CreateFetch(x_), nullptr)); in TEST_F()
382 ExpectEqual(Value(x_, 1, 0), GetMax(CreateFetch(x_), nullptr)); in TEST_F()
386 ExpectEqual(Value(20), GetMin(CreateLinear(10, 20), CreateTripCount(100, true, true))); in TEST_F()
387 ExpectEqual(Value(1010), GetMax(CreateLinear(10, 20), CreateTripCount(100, true, true))); in TEST_F()
388 ExpectEqual(Value(-970), GetMin(CreateLinear(-10, 20), CreateTripCount(100, true, true))); in TEST_F()
389 ExpectEqual(Value(20), GetMax(CreateLinear(-10, 20), CreateTripCount(100, true, true))); in TEST_F()
393 ExpectEqual(Value(-5), GetMin(CreateWrapAround(-5, -1, 10), nullptr)); in TEST_F()
394 ExpectEqual(Value(10), GetMax(CreateWrapAround(-5, -1, 10), nullptr)); in TEST_F()
395 ExpectEqual(Value(-1), GetMin(CreateWrapAround(2, -1, 10), nullptr)); in TEST_F()
396 ExpectEqual(Value(10), GetMax(CreateWrapAround(2, -1, 10), nullptr)); in TEST_F()
397 ExpectEqual(Value(-1), GetMin(CreateWrapAround(20, -1, 10), nullptr)); in TEST_F()
398 ExpectEqual(Value(20), GetMax(CreateWrapAround(20, -1, 10), nullptr)); in TEST_F()
402 ExpectEqual(Value(-2), GetMin(CreateRange(-2, 99), nullptr)); in TEST_F()
403 ExpectEqual(Value(99), GetMax(CreateRange(-2, 99), nullptr)); in TEST_F()
407 ExpectEqual(Value(-14), GetMul(CreateConst(2), CreateRange(-7, 8), true)); in TEST_F()
408 ExpectEqual(Value(-16), GetMul(CreateConst(-2), CreateRange(-7, 8), true)); in TEST_F()
409 ExpectEqual(Value(-14), GetMul(CreateRange(-7, 8), CreateConst(2), true)); in TEST_F()
410 ExpectEqual(Value(-16), GetMul(CreateRange(-7, 8), CreateConst(-2), true)); in TEST_F()
411 ExpectEqual(Value(6), GetMul(CreateRange(2, 10), CreateRange(3, 5), true)); in TEST_F()
412 ExpectEqual(Value(-50), GetMul(CreateRange(2, 10), CreateRange(-5, -3), true)); in TEST_F()
413 ExpectEqual(Value(), GetMul(CreateRange(2, 10), CreateRange(-1, 1), true)); in TEST_F()
414 ExpectEqual(Value(-50), GetMul(CreateRange(-10, -2), CreateRange(3, 5), true)); in TEST_F()
415 ExpectEqual(Value(6), GetMul(CreateRange(-10, -2), CreateRange(-5, -3), true)); in TEST_F()
416 ExpectEqual(Value(), GetMul(CreateRange(-10, -2), CreateRange(-1, 1), true)); in TEST_F()
417 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(2, 10), true)); in TEST_F()
418 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-10, -2), true)); in TEST_F()
419 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-1, 1), true)); in TEST_F()
423 ExpectEqual(Value(16), GetMul(CreateConst(2), CreateRange(-7, 8), false)); in TEST_F()
424 ExpectEqual(Value(14), GetMul(CreateConst(-2), CreateRange(-7, 8), false)); in TEST_F()
425 ExpectEqual(Value(16), GetMul(CreateRange(-7, 8), CreateConst(2), false)); in TEST_F()
426 ExpectEqual(Value(14), GetMul(CreateRange(-7, 8), CreateConst(-2), false)); in TEST_F()
427 ExpectEqual(Value(50), GetMul(CreateRange(2, 10), CreateRange(3, 5), false)); in TEST_F()
428 ExpectEqual(Value(-6), GetMul(CreateRange(2, 10), CreateRange(-5, -3), false)); in TEST_F()
429 ExpectEqual(Value(), GetMul(CreateRange(2, 10), CreateRange(-1, 1), false)); in TEST_F()
430 ExpectEqual(Value(-6), GetMul(CreateRange(-10, -2), CreateRange(3, 5), false)); in TEST_F()
431 ExpectEqual(Value(50), GetMul(CreateRange(-10, -2), CreateRange(-5, -3), false)); in TEST_F()
432 ExpectEqual(Value(), GetMul(CreateRange(-10, -2), CreateRange(-1, 1), false)); in TEST_F()
433 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(2, 10), false)); in TEST_F()
434 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-10, -2), false)); in TEST_F()
435 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-1, 1), false)); in TEST_F()
439 ExpectEqual(Value(-5), GetDiv(CreateRange(-10, 20), CreateConst(2), true)); in TEST_F()
440 ExpectEqual(Value(-10), GetDiv(CreateRange(-10, 20), CreateConst(-2), true)); in TEST_F()
441 ExpectEqual(Value(10), GetDiv(CreateRange(40, 1000), CreateRange(2, 4), true)); in TEST_F()
442 ExpectEqual(Value(-500), GetDiv(CreateRange(40, 1000), CreateRange(-4, -2), true)); in TEST_F()
443 ExpectEqual(Value(), GetDiv(CreateRange(40, 1000), CreateRange(-1, 1), true)); in TEST_F()
444 ExpectEqual(Value(-500), GetDiv(CreateRange(-1000, -40), CreateRange(2, 4), true)); in TEST_F()
445 ExpectEqual(Value(10), GetDiv(CreateRange(-1000, -40), CreateRange(-4, -2), true)); in TEST_F()
446 ExpectEqual(Value(), GetDiv(CreateRange(-1000, -40), CreateRange(-1, 1), true)); in TEST_F()
447 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(40, 1000), true)); in TEST_F()
448 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1000, -40), true)); in TEST_F()
449 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1, 1), true)); in TEST_F()
453 ExpectEqual(Value(10), GetDiv(CreateRange(-10, 20), CreateConst(2), false)); in TEST_F()
454 ExpectEqual(Value(5), GetDiv(CreateRange(-10, 20), CreateConst(-2), false)); in TEST_F()
455 ExpectEqual(Value(500), GetDiv(CreateRange(40, 1000), CreateRange(2, 4), false)); in TEST_F()
456 ExpectEqual(Value(-10), GetDiv(CreateRange(40, 1000), CreateRange(-4, -2), false)); in TEST_F()
457 ExpectEqual(Value(), GetDiv(CreateRange(40, 1000), CreateRange(-1, 1), false)); in TEST_F()
458 ExpectEqual(Value(-10), GetDiv(CreateRange(-1000, -40), CreateRange(2, 4), false)); in TEST_F()
459 ExpectEqual(Value(500), GetDiv(CreateRange(-1000, -40), CreateRange(-4, -2), false)); in TEST_F()
460 ExpectEqual(Value(), GetDiv(CreateRange(-1000, -40), CreateRange(-1, 1), false)); in TEST_F()
461 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(40, 1000), false)); in TEST_F()
462 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1000, 40), false)); in TEST_F()
463 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1, 1), false)); in TEST_F()
467 ExpectEqual(Value(110), AddValue(Value(10), Value(100))); in TEST_F()
468 ExpectEqual(Value(-5), AddValue(Value(x_, 1, -4), Value(x_, -1, -1))); in TEST_F()
469 ExpectEqual(Value(x_, 3, -5), AddValue(Value(x_, 2, -4), Value(x_, 1, -1))); in TEST_F()
470 ExpectEqual(Value(), AddValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
471 ExpectEqual(Value(x_, 1, 23), AddValue(Value(x_, 1, 20), Value(3))); in TEST_F()
472 ExpectEqual(Value(y_, 1, 5), AddValue(Value(55), Value(y_, 1, -50))); in TEST_F()
474 ExpectEqual(Value(max_value), AddValue(Value(max_value - 5), Value(5))); in TEST_F()
475 ExpectEqual(Value(), AddValue(Value(max_value - 5), Value(6))); // unsafe in TEST_F()
479 ExpectEqual(Value(-90), SubValue(Value(10), Value(100))); in TEST_F()
480 ExpectEqual(Value(-3), SubValue(Value(x_, 1, -4), Value(x_, 1, -1))); in TEST_F()
481 ExpectEqual(Value(x_, 2, -3), SubValue(Value(x_, 3, -4), Value(x_, 1, -1))); in TEST_F()
482 ExpectEqual(Value(), SubValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
483 ExpectEqual(Value(x_, 1, 17), SubValue(Value(x_, 1, 20), Value(3))); in TEST_F()
484 ExpectEqual(Value(y_, -4, 105), SubValue(Value(55), Value(y_, 4, -50))); in TEST_F()
486 ExpectEqual(Value(min_value), SubValue(Value(min_value + 5), Value(5))); in TEST_F()
487 ExpectEqual(Value(), SubValue(Value(min_value + 5), Value(6))); // unsafe in TEST_F()
491 ExpectEqual(Value(1000), MulValue(Value(10), Value(100))); in TEST_F()
492 ExpectEqual(Value(), MulValue(Value(x_, 1, -4), Value(x_, 1, -1))); in TEST_F()
493 ExpectEqual(Value(), MulValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
494 ExpectEqual(Value(x_, 9, 60), MulValue(Value(x_, 3, 20), Value(3))); in TEST_F()
495 ExpectEqual(Value(y_, 55, -110), MulValue(Value(55), Value(y_, 1, -2))); in TEST_F()
496 ExpectEqual(Value(), MulValue(Value(90000), Value(-90000))); // unsafe in TEST_F()
504 ExpectEqual(Value(), MulValue(Value(min_value), Value(min_value))); in TEST_F()
505 ExpectEqual(Value(), MulValue(Value(min_value), Value(-1))); in TEST_F()
506 ExpectEqual(Value(), MulValue(Value(min_value), Value(max_value))); in TEST_F()
507 ExpectEqual(Value(), MulValue(Value(max_value), Value(max_value))); in TEST_F()
510 ExpectEqual(Value(min_value), MulValue(Value(min_value), Value(1))); in TEST_F()
511 ExpectEqual(Value(max_value), MulValue(Value(max_value), Value(1))); in TEST_F()
512 ExpectEqual(Value(-max_value), MulValue(Value(max_value), Value(-1))); in TEST_F()
513 ExpectEqual(Value(-1), MulValue(Value(1), Value(-1))); in TEST_F()
514 ExpectEqual(Value(1), MulValue(Value(-1), Value(-1))); in TEST_F()
518 ExpectEqual(Value(25), DivValue(Value(100), Value(4))); in TEST_F()
519 ExpectEqual(Value(), DivValue(Value(x_, 1, -4), Value(x_, 1, -1))); in TEST_F()
520 ExpectEqual(Value(), DivValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
521 ExpectEqual(Value(), DivValue(Value(x_, 12, 24), Value(3))); in TEST_F()
522 ExpectEqual(Value(), DivValue(Value(55), Value(y_, 1, -50))); in TEST_F()
523 ExpectEqual(Value(), DivValue(Value(1), Value(0))); // unsafe in TEST_F()
531 ExpectEqual(Value(), DivValue(Value(min_value), Value(-1))); in TEST_F()
534 ExpectEqual(Value(1), DivValue(Value(min_value), Value(min_value))); in TEST_F()
535 ExpectEqual(Value(1), DivValue(Value(max_value), Value(max_value))); in TEST_F()
536 ExpectEqual(Value(min_value), DivValue(Value(min_value), Value(1))); in TEST_F()
537 ExpectEqual(Value(max_value), DivValue(Value(max_value), Value(1))); in TEST_F()
538 ExpectEqual(Value(-max_value), DivValue(Value(max_value), Value(-1))); in TEST_F()
539 ExpectEqual(Value(-1), DivValue(Value(1), Value(-1))); in TEST_F()
540 ExpectEqual(Value(1), DivValue(Value(-1), Value(-1))); in TEST_F()
544 ExpectEqual(Value(10), MinValue(Value(10), Value(100))); in TEST_F()
545 ExpectEqual(Value(x_, 1, -4), MinValue(Value(x_, 1, -4), Value(x_, 1, -1))); in TEST_F()
546 ExpectEqual(Value(x_, 4, -4), MinValue(Value(x_, 4, -4), Value(x_, 4, -1))); in TEST_F()
547 ExpectEqual(Value(), MinValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
548 ExpectEqual(Value(), MinValue(Value(x_, 1, 20), Value(3))); in TEST_F()
549 ExpectEqual(Value(), MinValue(Value(55), Value(y_, 1, -50))); in TEST_F()
553 ExpectEqual(Value(100), MaxValue(Value(10), Value(100))); in TEST_F()
554 ExpectEqual(Value(x_, 1, -1), MaxValue(Value(x_, 1, -4), Value(x_, 1, -1))); in TEST_F()
555 ExpectEqual(Value(x_, 4, -1), MaxValue(Value(x_, 4, -4), Value(x_, 4, -1))); in TEST_F()
556 ExpectEqual(Value(), MaxValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
557 ExpectEqual(Value(), MaxValue(Value(x_, 1, 20), Value(3))); in TEST_F()
558 ExpectEqual(Value(), MaxValue(Value(55), Value(y_, 1, -50))); in TEST_F()
569 Value v1, v2; in TEST_F()
575 ExpectEqual(Value(0), v1); in TEST_F()
576 ExpectEqual(Value(1000), v2); in TEST_F()
582 ExpectEqual(Value(0), v1); in TEST_F()
583 ExpectEqual(Value(999), v2); in TEST_F()
587 ExpectEqual(Value(1), v1); in TEST_F()
588 ExpectEqual(Value(1000), v2); in TEST_F()
596 Value v1, v2; in TEST_F()
602 ExpectEqual(Value(0), v1); in TEST_F()
603 ExpectEqual(Value(1000), v2); in TEST_F()
609 ExpectEqual(Value(1), v1); in TEST_F()
610 ExpectEqual(Value(1000), v2); in TEST_F()
614 ExpectEqual(Value(0), v1); in TEST_F()
615 ExpectEqual(Value(999), v2); in TEST_F()
623 Value v1, v2; in TEST_F()
630 ExpectEqual(Value(0), v1); in TEST_F()
631 ExpectEqual(Value(), v2); in TEST_F()
637 ExpectEqual(Value(0), v1); in TEST_F()
638 ExpectEqual(Value(x_, 1, -1), v2); in TEST_F()
642 ExpectEqual(Value(1), v1); in TEST_F()
643 ExpectEqual(Value(x_, 1, 0), v2); in TEST_F()
693 Value v1, v2; in TEST_F()
700 ExpectEqual(Value(), v1); in TEST_F()
701 ExpectEqual(Value(1000), v2); in TEST_F()
707 ExpectEqual(Value(x_, 1, 1), v1); in TEST_F()
708 ExpectEqual(Value(1000), v2); in TEST_F()
712 ExpectEqual(Value(x_, 1, 0), v1); in TEST_F()
713 ExpectEqual(Value(999), v2); in TEST_F()