hey /prog/

improve my instruction set

1  - ALL -- Allocate
2  - FRE -- Free
3  - ADD -- Add
4  - SUB -- Subtract
5  - MUL -- Multiply
6  - DIV -- Divide
7  - WRT -- Write to memory
8  - MOV -- Move value
9  - SWP -- Swap values
10 - LAB -- Label
11 - GOT -- Goto
12 - CAL -- Call
13 - RET -- Return
14 - PUS -- Push stack
15 - POP -- Pop  stack
16 - MOD -- Modulo
17 - NOT -- Bitwise NOT
18 - AND -- Bitwise AND
19 - OR  -- Bitwise OR
20 - XOR -- Bitwise XOR
21 - LSH -- Left shift
22 - RLS -- Logical    Right Shift
23 - RAS -- Arithmetic Right Shift
24 - LCS -- Left  Circular Shift
25 - RCS -- Right Circular Shift
26 - CMP -- Compare two values (Binary)
27 - JMG -- Jump if the comparison register holds  1, or greater than
28 - JML -- Jump if the comparison register holds -1, or lesser than
29 - JME -- Jump if the comparison register holds  0, or equal to
30 - IRM -- Switch into indirect referencing mode
31 - DRM -- Switch into direct   referencing mode
32 - FAM -- Switch into floating arithmetic  mode
33 - IAM -- Switch into integral arithmetic  mode
34 - SPW -- Spawn a new thread
35 - WTF -- Wait for a  thread to finish executing
36 - DIE -- Kill the current thread of execution
37 - POS -- Size independant pop
38 - PEK -- Copy the first entry on the stack without removing it
39 - PKS -- Copy the first entry on the stack without removing it (Size sentisive)
40 - DUP -- Duplicated the first stack entry so that it occurs twice on the stack
41 - SSP -- Swaps the two first entries of the stack
42 - ROT -- Rotates the top of the stack
43 - PSB -- Push only the specified bytes onto the stack
44 - PPB -- Pop  only the specified bytes off  the stack
45 - ADF -- Add      floating point numbers
46 - SBF -- Subtract floating point numbers
47 - MLF -- Multiply floating point numbers
48 - DVF -- Divide   floating point numbers
49 - CMF -- Compare  floating point numbers
50 - INC -- Increment  the first stack entry (Integer)
51 - DEC -- Deccrement the first stack entry (Integer)
52 - ICF -- Increment  the first stack entry (Floating point)
53 - DCF -- Deccrement the first stack entry (Floating point)
54 - ITF -- Convert integer to floating point number
55 - FTI -- Convert float   to integer
56 - ITD -- Convert integer to double
57 - DTI -- Convert double  to integer
58 - FTD -- Convert float   to double
59 - DTF -- Convert double  to float

>>47
Provide said proof.
The absolute total proof is a bunch of statistical bullshit I pretty much pulled out of my ass just now. But this paper helps too. http://www.usenix.org/events/vee05/full_papers/p153-yunhe.pdf

>>49
Bullshit. A two stack machine is a Universal Turing Machine.
Check out that link, hotel browanda. Only pussies give a fuck about touring completeness, which you don't even need for about a million percent of certain kinds of purposes. I'm not an elected official but I know in the depths of my cold unfeeling heart that what programmers really want is that magic nexus of unfettered performance and user interface sanity that some ancient Greek dudes told all those weird stories about before they got buried under a load of volcano jizz. If you wanna lie down with them in a mesopotamian volcano grave then go for it. Meanwhile I'll be busy not giving a shit about mathematical equivalence and flying off the handle with all my totally sick codes that run way faster than yours ever would.