265   EXPECT_STREQ("((1) * i + (0)):Int32", GetInductionInfo(store->InputAt(1), 0).c_str());  in TEST_F()
269   EXPECT_FALSE(HaveSameInduction(store->InputAt(1), increment_[0]));  in TEST_F()
329                GetInductionInfo(store1->InputAt(1), 0).c_str());  in TEST_F()
331                GetInductionInfo(store2->InputAt(1), 0).c_str());  in TEST_F()
364   EXPECT_STREQ("((1) * i + (1)):Int32", GetInductionInfo(store->InputAt(1), 0).c_str());  in TEST_F()
367   EXPECT_TRUE(HaveSameInduction(store->InputAt(1), inc1));  in TEST_F()
368   EXPECT_TRUE(HaveSameInduction(store->InputAt(1), inc2));  in TEST_F()
395   EXPECT_STREQ("((1) * i + (1)):Int32", GetInductionInfo(store->InputAt(1), 0).c_str());  in TEST_F()
398   EXPECT_TRUE(HaveSameInduction(store->InputAt(1), inc1));  in TEST_F()
399   EXPECT_TRUE(HaveSameInduction(store->InputAt(1), inc2));  in TEST_F()
738                GetInductionInfo(store->InputAt(1), 0).c_str());  in TEST_F()
765                GetInductionInfo(store->InputAt(1), 0).c_str());  in TEST_F()
839   EXPECT_STREQ("periodic((0), (100)):Int32", GetInductionInfo(store1->InputAt(1), 0).c_str());  in TEST_F()
840   EXPECT_STREQ("periodic((100), (0)):Int32", GetInductionInfo(store2->InputAt(1), 0).c_str());  in TEST_F()
860   EXPECT_STREQ("periodic((0), (1)):Int32", GetInductionInfo(store->InputAt(1), 0).c_str());  in TEST_F()
881   EXPECT_STREQ("periodic((0), (1)):Int32", GetInductionInfo(store->InputAt(1), 0).c_str());  in TEST_F()
1072       EXPECT_TRUE(std::regex_match(GetInductionInfo(store->InputAt(1), d), r));  in TEST_F()
1074       EXPECT_STREQ("", GetInductionInfo(store->InputAt(1), d).c_str());  in TEST_F()
1097   EXPECT_STREQ("((1) * i + (0)):Int8", GetInductionInfo(store1->InputAt(1), 0).c_str());  in TEST_F()
1098   EXPECT_STREQ("((1) * i + (0)):Int32",  GetInductionInfo(store2->InputAt(1), 0).c_str());  in TEST_F()
1102   EXPECT_TRUE(IsNarrowingLinear(store1->InputAt(1)));  in TEST_F()
1103   EXPECT_FALSE(IsNarrowingLinear(store2->InputAt(1)));  in TEST_F()
1106   EXPECT_FALSE(HaveSameInduction(store1->InputAt(1), store2->InputAt(1)));  in TEST_F()
1132   EXPECT_STREQ("((1) * i + (0)):Int8", GetInductionInfo(store1->InputAt(1), 0).c_str());  in TEST_F()
1133   EXPECT_STREQ("", GetInductionInfo(store2->InputAt(1), 0).c_str());  in TEST_F()
1136   EXPECT_TRUE(IsNarrowingLinear(store1->InputAt(1)));  in TEST_F()
1137   EXPECT_FALSE(IsNarrowingLinear(store2->InputAt(1)));  // works for null  in TEST_F()