Opcodes
PHP Manual

POST_DEC_OBJ

PHP code

<?php
/*
 * 
 * opcode number: 135
 */
$obj = new A();
$obj->num--;
?>

PHP opcodes

Function name: (null)

Compiled variables: !0=$obj

line#op fetchextreturn operands
60 ZEND_FETCH_CLASS   :0 'A'
 1 NEW   $1 :0
 2 DO_FCALL_BY_NAME  0   
 3 ASSIGN     !0,$1
74 ZEND_POST_DEC_OBJ   ~5 !0,'num'
 5 FREE     ~5
86 RETURN     1

Opcodes
PHP Manual