vm/c1/c1_RangeCheckElimination.cpp

105     _bound = new Bound(value, NULL, value, NULL);
120       _bound = new Bound(0, NULL, constant, NULL);
134   Bound *bound = NULL;
177     Bound *v_bound = _rce->get_bound(v);
178     Bound *cur_bound;
187       cur_bound = new Bound(cur_constant, cur_value, cur_constant, cur_value);
213     _bound = new Bound();
224     Bound* x_bound = _rce->get_bound(x);
225     Bound* y_bound = _rce->get_bound(y);
227       _bound = new Bound(0, NULL, -1, y);
229       _bound = new Bound();
250         Bound * bound = _rce->get_bound(y);
258             Bound *newBound = new Bound(new_lower, bound->lower_instr(), new_upper, bound->upper_instr());
262             _bound = new Bound();
265           _bound = new Bound();
268         _bound = new Bound();
271       Bound *bound = _rce->get_bound(x);
274           _bound = new Bound(Instruction::geq, NULL, bound->lower());
276           _bound = new Bound();
279         _bound = new Bound();
297     _bound = new Bound(min, NULL, max, NULL);
302 RangeCheckEliminator::Bound *RangeCheckEliminator::get_bound(Value v) {
313     Bound *bound = _visitor.bound();
319       _bounds.at(v->id())->push(new Bound());
323     return new Bound();
339   Bound *bound = new Bound(cond, value, constant);
351 void RangeCheckEliminator::update_bound(IntegerStack &pushed, Value v, Bound *bound) {
360   Bound *top = NULL;
789     Bound *index_bound = get_bound(ai->index());
798     Bound *array_bound;
919     Bound *new_index_bound = new Bound(0, NULL, cur_constant, cur_value);
962         Bound *b = get_bound(ai->index());
1021                        Bound *bound = bound_stack->top();
1036           Bound *bound = bound_stack->top();
1199 // Bound
1200 RangeCheckEliminator::Bound::~Bound() {
1203 // Bound constructor
1204 RangeCheckEliminator::Bound::Bound() {
1212 // Bound constructor
1213 RangeCheckEliminator::Bound::Bound(int lower, Value lower_instr, int upper, Value upper_instr) {
1223 // Bound constructor
1224 RangeCheckEliminator::Bound::Bound(Instruction::Condition cond, Value v, int constant) {
1263 void RangeCheckEliminator::Bound::set_lower(int value, Value v) {
1270 void RangeCheckEliminator::Bound::set_upper(int value, Value v) {
1277 void RangeCheckEliminator::Bound::add_constant(int value) {
1283 void RangeCheckEliminator::Bound::init() {
1287 void RangeCheckEliminator::Bound::or_op(Bound *b) {
1306 void RangeCheckEliminator::Bound::and_op(Bound *b) {
1338 bool RangeCheckEliminator::Bound::has_upper() {
1343 bool RangeCheckEliminator::Bound::is_smaller(Bound *b) {
1351 bool RangeCheckEliminator::Bound::has_lower() {
1356 bool RangeCheckEliminator::in_array_bound(Bound *bound, Value array){
1370 void RangeCheckEliminator::Bound::remove_lower() {
1376 void RangeCheckEliminator::Bound::remove_upper() {
1382 int RangeCheckEliminator::Bound::upper() {
1387 int RangeCheckEliminator::Bound::lower() {
1392 Value RangeCheckEliminator::Bound::upper_instr() {
1397 Value RangeCheckEliminator::Bound::lower_instr() {
1402 void RangeCheckEliminator::Bound::print() {
1436 RangeCheckEliminator::Bound *RangeCheckEliminator::Bound::copy() {
1437   Bound *b = new Bound();
1447 void RangeCheckEliminator::Bound::add_assertion(Instruction *instruction, Instruction *position, int i, Value instr, Instruction::Condition cond) {
1511 void RangeCheckEliminator::add_assertions(Bound *bound, Instruction *instruction, Instruction *position) {