522   auto AR = AC.assumptionsFor(F->getArg(3));  in TEST()  local
523   ASSERT_EQ(AR.size(), 0u);  in TEST()
524   AR = AC.assumptionsFor(F->getArg(1));  in TEST()
525   ASSERT_EQ(AR.size(), 1u);  in TEST()
526   ASSERT_EQ(AR[0].Index, 0u);  in TEST()
527   ASSERT_EQ(AR[0].Assume, &*Second);  in TEST()
528   AR = AC.assumptionsFor(F->getArg(2));  in TEST()
529   ASSERT_EQ(AR.size(), 1u);  in TEST()
530   ASSERT_EQ(AR[0].Index, 1u);  in TEST()
531   ASSERT_EQ(AR[0].Assume, &*First);  in TEST()
532   AR = AC.assumptionsFor(F->getArg(0));  in TEST()
533   ASSERT_EQ(AR.size(), 3u);  in TEST()
534   llvm::sort(AR,  in TEST()
536   ASSERT_EQ(AR[0].Assume, &*First);  in TEST()
537   ASSERT_EQ(AR[0].Index, 0u);  in TEST()
538   ASSERT_EQ(AR[1].Assume, &*Second);  in TEST()
539   ASSERT_EQ(AR[1].Index, 1u);  in TEST()
540   ASSERT_EQ(AR[2].Assume, &*First);  in TEST()
541   ASSERT_EQ(AR[2].Index, 2u);  in TEST()
542   AR = AC.assumptionsFor(F->getArg(4));  in TEST()
543   ASSERT_EQ(AR.size(), 1u);  in TEST()
544   ASSERT_EQ(AR[0].Assume, &*Second);  in TEST()
545   ASSERT_EQ(AR[0].Index, AssumptionCache::ExprResultIdx);  in TEST()
547   AR = AC.assumptionsFor(F->getArg(1));  in TEST()
548   ASSERT_EQ(AR.size(), 0u);  in TEST()
549   AR = AC.assumptionsFor(F->getArg(0));  in TEST()
550   ASSERT_EQ(AR.size(), 3u);  in TEST()
551   llvm::sort(AR,  in TEST()
553   ASSERT_EQ(AR[0].Assume, &*First);  in TEST()
554   ASSERT_EQ(AR[0].Index, 0u);  in TEST()
555   ASSERT_EQ(AR[1].Assume, nullptr);  in TEST()
556   ASSERT_EQ(AR[1].Index, 1u);  in TEST()
557   ASSERT_EQ(AR[2].Assume, &*First);  in TEST()
558   ASSERT_EQ(AR[2].Index, 2u);  in TEST()
559   AR = AC.assumptionsFor(F->getArg(2));  in TEST()
560   ASSERT_EQ(AR.size(), 1u);  in TEST()
561   ASSERT_EQ(AR[0].Index, 1u);  in TEST()
562   ASSERT_EQ(AR[0].Assume, &*First);  in TEST()