44     StoreManager &SManager = Eng.getStoreManager();  in performTest()  local
46     MemRegionManager &MRManager = SManager.getRegionManager();  in performTest()
66     Store StInit = SManager.getInitialStore(SFC).getStore();  in performTest()
72     Store StX0 = SManager.Bind(StInit, LX0, Zero).getStore();  in performTest()
73     EXPECT_EQ(Zero, SManager.getBinding(StX0, LX0, ASTCtxt.IntTy));  in performTest()
77         SManager.BindDefaultInitial(StInit, LY0.getAsRegion(), Zero).getStore();  in performTest()
78     EXPECT_EQ(Zero, SManager.getBinding(StY0, LY0, ASTCtxt.IntTy));  in performTest()
79     EXPECT_EQ(Zero, *SManager.getDefaultBinding(StY0, LY0.getAsRegion()));  in performTest()
82     Store StZ0 = SManager.BindDefaultZero(StInit, LZ0.getAsRegion()).getStore();  in performTest()
86     EXPECT_EQ(Zero, SManager.getBinding(StZ0, LZ0, ASTCtxt.IntTy));  in performTest()
87     EXPECT_EQ(NarrowZero, *SManager.getDefaultBinding(StZ0, LZ0.getAsRegion()));  in performTest()
90     Store StX1 = SManager.Bind(StInit, LX1, One).getStore();  in performTest()
91     EXPECT_EQ(One, SManager.getBinding(StX1, LX1, ASTCtxt.IntTy));  in performTest()
95         SManager.BindDefaultInitial(StInit, LY1.getAsRegion(), One).getStore();  in performTest()
96     EXPECT_EQ(One, SManager.getBinding(StY1, LY1, ASTCtxt.IntTy));  in performTest()
97     EXPECT_EQ(One, *SManager.getDefaultBinding(StY1, LY1.getAsRegion()));  in performTest()
112     StoreManager &SManager = Eng.getStoreManager();  in performTest()  local
114     MemRegionManager &MRManager = SManager.getRegionManager();  in performTest()
134     Store StInit = SManager.getInitialStore(SFC).getStore();  in performTest()
137     Store StX = SManager.Bind(StInit, ZeroElement, One).getStore();  in performTest()
140     EXPECT_EQ(One, SManager.getBinding(StX, ZeroElement, Int));  in performTest()