changeset 3268 | f034e0c86895 |
parent 670 | ddf3e9583f2f |
child 3795 | 6227ff014cfe |
3267:519fbe71f995 | 3268:f034e0c86895 |
---|---|
448 add_users_to_worklist(old); |
448 add_users_to_worklist(old); |
449 hash_delete(old); |
449 hash_delete(old); |
450 subsume_node(old, nn); |
450 subsume_node(old, nn); |
451 } |
451 } |
452 |
452 |
453 bool delay_transform() const { return _delay_transform; } |
|
454 |
|
453 void set_delay_transform(bool delay) { |
455 void set_delay_transform(bool delay) { |
454 _delay_transform = delay; |
456 _delay_transform = delay; |
455 } |
457 } |
456 |
458 |
457 #ifndef PRODUCT |
459 #ifndef PRODUCT |