| Index: src/virtual-frame-ia32.h
|
| ===================================================================
|
| --- src/virtual-frame-ia32.h (revision 1040)
|
| +++ src/virtual-frame-ia32.h (working copy)
|
| @@ -385,6 +385,11 @@
|
| // frame).
|
| void Push(Result* result);
|
|
|
| + // Nip removes zero or more elements from immediately below the top
|
| + // of the frame, leaving the previous top-of-frame value on top of
|
| + // the frame. Nip(k) is equivalent to x = Pop(), Drop(k), Push(x).
|
| + void Nip(int num_dropped);
|
| +
|
| #ifdef DEBUG
|
| bool IsSpilled();
|
| #endif
|
|
|