dstepanov-yadro/neoneo-go
1
0
Fork 0
forked from TrueCloudLab/neoneo-go
Code Pull requests Activity

Merge pull request #827 from nspcc-dev/fix/shl

Browse source 
vm: handle negative arguments in SHL/SHR
This commit is contained in:
Roman Khimov 2020-04-06 10:50:47 +03:00 committed by GitHub
commit b2c767e356
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 24 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
pkg/vm/vm.go
View file

@ -806,8 +806,17 @@ func (v *VM) execute(ctx *Context, op opcode.Opcode, parameter []byte) (err erro
a := v.estack.Pop().BigInt()
v.checkBigIntSize(a)
newOp := op
if b < 0 {
b = -b
if op == opcode.SHR {
newOp = opcode.SHL
} else {
newOp = opcode.SHR
}
}
var item big.Int
if op == opcode.SHL {
if newOp == opcode.SHL {
item.Lsh(a, uint(b))
} else {
item.Rsh(a, uint(b))

15
pkg/vm/vm_test.go
View file

@ -844,7 +844,7 @@ func TestMULBigResult(t *testing.T) {
checkVMFailed(t, vm)
}
func TestDivMod(t *testing.T) {
func TestArithNegativeArguments(t *testing.T) {
runCase := func(op opcode.Opcode, p, q, result int64) func(t *testing.T) {
return func(t *testing.T) {
vm := load(makeProgram(op))
@ -869,6 +869,19 @@ func TestDivMod(t *testing.T) {
t.Run("negative/negative", runCase(opcode.MOD, -5, -2, -1))
})
t.Run("SHR", func(t *testing.T) {
t.Run("positive/positive", runCase(opcode.SHR, 5, 2, 1))
t.Run("positive/negative", runCase(opcode.SHR, 5, -2, 20))
t.Run("negative/positive", runCase(opcode.SHR, -5, 2, -2))
t.Run("negative/negative", runCase(opcode.SHR, -5, -2, -20))
})
t.Run("SHL", func(t *testing.T) {
t.Run("positive/positive", runCase(opcode.SHL, 5, 2, 20))
t.Run("positive/negative", runCase(opcode.SHL, 5, -2, 1))
t.Run("negative/positive", runCase(opcode.SHL, -5, 2, -20))
t.Run("negative/negative", runCase(opcode.SHL, -5, -2, -2))
})
}
func TestSub(t *testing.T) {