Searched refs:IsProvablyOutsideOfLoopBounds (Results 1 – 8 of 8) sorted by relevance
1534 EXPECT_TRUE(analysis.IsProvablyOutsideOfLoopBounds( in TEST()1564 EXPECT_FALSE(analysis.IsProvablyOutsideOfLoopBounds( in TEST()1614 EXPECT_FALSE(analysis.IsProvablyOutsideOfLoopBounds( in TEST()1643 EXPECT_FALSE(analysis.IsProvablyOutsideOfLoopBounds( in TEST()1693 EXPECT_FALSE(analysis.IsProvablyOutsideOfLoopBounds( in TEST()1722 EXPECT_FALSE(analysis.IsProvablyOutsideOfLoopBounds( in TEST()1772 EXPECT_FALSE(analysis.IsProvablyOutsideOfLoopBounds( in TEST()1801 EXPECT_FALSE(analysis.IsProvablyOutsideOfLoopBounds( in TEST()2106 EXPECT_FALSE(analysis.IsProvablyOutsideOfLoopBounds( in TEST()2136 EXPECT_FALSE(analysis.IsProvablyOutsideOfLoopBounds( in TEST()[all …]
364 bool IsProvablyOutsideOfLoopBounds(const Loop* loop, SENode* distance,
137 bool LoopDependenceAnalysis::IsProvablyOutsideOfLoopBounds( in IsProvablyOutsideOfLoopBounds() function in spvtools::opt::LoopDependenceAnalysis
678 if (IsProvablyOutsideOfLoopBounds(subscript_loop, source_destination_delta, in SymbolicStrongSIVTest()