internal/evm: add stack effects of TRON opcodes

Author: fjl

internal/evm/ops.go

@@ -366,23 +366,22 @@ var oplist = []*Op{
 	{Name: "LOG4", Code: 0xa4, in: stack{"memOffset", "length", "topic1", "topic2", "topic3", "topic4"}},
 
 	// TRON-specific opcodes
-	// TODO: stack effects
-	{Name: "CALLTOKEN", Code: 0xd0},
-	{Name: "TOKENBALANCE", Code: 0xd1},
-	{Name: "CALLTOKENVALUE", Code: 0xd2},
-	{Name: "CALLTOKENID", Code: 0xd3},
-	{Name: "ISCONTRACT", Code: 0xd4},
-	{Name: "FREEZE", Code: 0xd5},
-	{Name: "UNFREEZE", Code: 0xd6},
-	{Name: "FREEZEEXPIRETIME", Code: 0xd7},
-	{Name: "VOTEWITNESS", Code: 0xd8},
-	{Name: "WITHDRAWREWARD", Code: 0xd9},
-	{Name: "FREEZEBALANCEV2", Code: 0xda},
-	{Name: "UNFREEZEBALANCEV2", Code: 0xdb},
-	{Name: "CANCELALLUNFREEZEV2", Code: 0xdc},
-	{Name: "WITHDRAWEXPIREUNFREEZE", Code: 0xdd},
-	{Name: "DELEGATERESOURCE", Code: 0xde},
-	{Name: "UNDELEGATERESOURCE", Code: 0xdf},
+	{Name: "CALLTOKEN", Code: 0xd0, in: stack{"gas", "address", "value", "tokenId", "argOffset", "argLength", "returnOffset", "returnLength"}, out: stack{"ok"}},
+	{Name: "TOKENBALANCE", Code: 0xd1, in: stack{"tokenId", "address"}, out: stack{"balance"}},
+	{Name: "CALLTOKENVALUE", Code: 0xd2, out: stack{"value"}},
+	{Name: "CALLTOKENID", Code: 0xd3, out: stack{"tokenId"}},
+	{Name: "ISCONTRACT", Code: 0xd4, in: stack{"address"}, out: stack{"isContract"}},
+	{Name: "FREEZE", Code: 0xd5, in: stack{"resourceType", "frozenBalance", "receiverAddress"}, out: stack{"ok"}},
+	{Name: "UNFREEZE", Code: 0xd6, in: stack{"resourceType", "targetAddress"}, out: stack{"ok"}},
+	{Name: "FREEZEEXPIRETIME", Code: 0xd7, in: stack{"resourceType", "targetAddress"}, out: stack{"expireTime"}},
+	{Name: "VOTEWITNESS", Code: 0xd8, in: stack{"amountArrayLength", "amountArrayOffset", "witnessArrayLength", "witnessArrayOffset"}, out: stack{"ok"}},
+	{Name: "WITHDRAWREWARD", Code: 0xd9, out: stack{"withdrawReward"}},
+	{Name: "FREEZEBALANCEV2", Code: 0xda, in: stack{"resourceType", "frozenBalance"}, out: stack{"ok"}},
+	{Name: "UNFREEZEBALANCEV2", Code: 0xdb, in: stack{"resourceType", "unfreezeBalance"}, out: stack{"ok"}},
+	{Name: "CANCELALLUNFREEZEV2", Code: 0xdc, out: stack{"ok"}},
+	{Name: "WITHDRAWEXPIREUNFREEZE", Code: 0xdd, out: stack{"ok"}},
+	{Name: "DELEGATERESOURCE", Code: 0xde, in: stack{"resourceType", "delegateBalance", "receiverAddress"}, out: stack{"ok"}},
+	{Name: "UNDELEGATERESOURCE", Code: 0xdf, in: stack{"resourceType", "unDelegateBalance", "receiverAddress"}, out: stack{"ok"}},
 
 	// Call family
 	{