Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών invariants

Invariants

• After the processing of an expression:
• The result of an expression is left on the top of the stack
• The remaining stack is left unchanged

• Does not modify %edi

• After the processing of a statement:
• The stack is left unchanged

• Does not modify %edi