DISCLAIMER: These notes are from the defunct k8 project which precedes SquirrelJME. The notes for SquirrelJME start on 2016/02/26! The k8 project was effectively a Java SE 8 operating system and as such all of the notes are in the context of that scope. That project is no longer my goal as SquirrelJME is the spiritual successor to it.
Aha! My trouble code with the jumps and such may be due to append frame being incorrect. Append frame empties the stack whereas in my code I did not empty it. Such a thing was not truly detectable before however due to the complex SMT table of some earlier methods, however this one is quite simple.
UNDEFINED_REFERENCE will have to compact into REFERENCE since I get stuck on that happening, I already have it the other way around however.
And that fixes some things, so now I am at IF_ACMPNE.
46 operands remain.
BIPUSH and SIPUSH are constants, not from the stack. So math is not needed at all as the values are aleady sign extended when I read them into the argument list so all I need is to push a constant value.
With a SMT form of SFS1ASS1SS1SSSSSSSSSSASCASCSSCC and LONG LONG LONG with missing tops, it may be that parts of the SMT have IMPLICIT top declarations.
Appears chopframe also does it.
It would seem that ALL of the SMT values do it, so then what is the purpose of the top verification type? Perhaps just to fool values???
Will need to note to read 22.214.171.124 for handling of long and double along with rewriting the bulk SMT stuff to be better written.
Cannot figure this out.
Stack issues where due to getting next of the type, but solved that with a max value set.