neo-project / neo-devpack-dotnet / 11538317604

74%

push

github

UseNz, UseIsNull & FoldNotInJmp to handle if(a==null), if(a==0) (#1213)

* UseIsNull & FoldNotInJmp to handle if(a==null)

* fix oldAddr in debugInfo

* skip NZ before JMPIF

* UseNz

* Revert "UseNz"

This reverts commit 792c2994c.
PUSH0 EQUAL -> NOT and PUSH0 NOTEQUAL -> NZ are both wrong because of null

* cancel NZ JMPIF -> JMPIF

* PUSH0 NUMNOTEQUAL -> NZ

* artifacts and gas

* FoldNotInEqual

* update gas

---------

Co-authored-by: Jimmy <jimmy@r3e.network>

4709 of 6894 branches covered (68.31%)

Branch coverage included in aggregate %.

255 of 261 new or added lines in 2 files covered. (97.7%)

12687 of 16506 relevant lines covered (76.86%)

16944.3 hits per line