wasm i64 and f64 ops

wasm-i64-f64.md

i64, 29 ops

Op	Signature
i64.eqz	[i64] -> i32
i64.eq	[i64,i64] -> i32
i64.ne	[i64,i64] -> i32
i64.lt_s	[i64,i64] -> i32
i64.lt_u	[i64,i64] -> i32
i64.gt_s	[i64,i64] -> i32
i64.gt_u	[i64,i64] -> i32
i64.le_s	[i64,i64] -> i32
i64.le_u	[i64,i64] -> i32
i64.ge_s	[i64,i64] -> i32
i64.ge_u	[i64,i64] -> i32
i64.clz	[i64] -> i32
i64.ctz	[i64] -> i32
i64.popcnt	[i64] -> i32
i64.add	[i64,i64] -> i64
i64.sub	[i64,i64] -> i64
i64.mul	[i64,i64] -> i64
i64.div_s	[i64,i64] -> i64
i64.div_u	[i64,i64] -> i64
i64.rem_s	[i64,i64] -> i64
i64.rem_u	[i64,i64] -> i64
i64.and	[i64,i64] -> i64
i64.or	[i64,i64] -> i64
i64.xor	[i64,i64] -> i64
i64.shl	[i64,i64] -> i64
i64.shr_s	[i64,i64] -> i64
i64.shr_u	[i64,i64] -> i64
i64.rotl	[i64,i64] -> i64
i64.rotr	[i64,i64] -> i64

f64, 19 ops

Op	Signature
f64.eq	[f64,f64] -> i32
f64.ne	[f64,f64] -> i32
f64.lt	[f64,f64] -> i32
f64.gt	[f64,f64] -> i32
f64.le	[f64,f64] -> i32
f64.ge	[f64,f64] -> i32
f64.abs	[f64] -> f64
f64.neg	[f64] -> f64
f64.ceil	[f64] -> f64
f64.floor	[f64] -> f64
f64.trunc	[f64] -> f64
f64.nearest	[f64] -> f64
f64.sqrt	[f64] -> f64
f64.add	[f64,f64] -> f64
f64.sub	[f64,f64] -> f64
f64.mul	[f64,f64] -> f64
f64.div	[f64,f64] -> f64
f64.min	[f64,f64] -> f64
f64.max	[f64,f64] -> f64
f64.copysign	[f64,f64] -> f64

casting, 6 ops

Op	Signature
i64.trunc_f64_s	[f64] -> i64
i64.trunc_f64_u	[f64] -> i64
f64.convert_i64_s	[i64] -> f64
f64.convert_i64_u	[i64] -> f64
f64.reinterpret_i64	[i64] -> f64
i64.reinterpret_f64	[f64] -> i64

wasm minimal

unary, 8 ops

Op	i64	f64
EQZ	i64.eqz	?
CLZ	i64.clz	?
CTZ	i64.ctz	?
CNT	i64.popcnt	?
ABS	?	f64.abs
NEG	?	f64.neg
CNV	f64.convert_i64_s	i64.trunc_f64_u
CST	f64.reinterpret_i64	i64.reinterpret_f64

Binary ops, 22 ops

Op	i64,i64	f64,f64
EQL	i64.eq	f64.eq
NEQ	i64.ne	f64.ne
LTH	i64.lt_u	f64.lt
LTE	i64.le_u	f64.le
GTH	i64.gt_u	f64.ge
GTE	i64.ge_u	f64.gt
ADD	i64.add	f64.add
SUB	i64.sub	f64.sub
MUL	i64.mul	f64.mul
DIV	i64.div_u	f64.div
REM	i64.rem_u	?
AND	i64.add	?
ORR	i64.or	?
XOR	i64.xor	?
SHL	i64.shl_u	?
SHR	i64.shr	?
ROR	i64.rotr	?
ROL	i64.rotl	?
MIN	?	f64.min
MAX	?	f64.max
SGN	?	f64.copysign

RND

RND : [i64, f64] -> f64

RND -1 x = f64.floor
RND 0 x  = f64.nearest
RND 1 x  = f64.ceil

wasm minimaler

Op	Signature	Description
UNA	[i64, i64] -> i64	see UNA
UNA	[i64, f64] -> i64	see UNA
UNA	[i64, i64] -> f64	see UNA
UNA	[i64, f64] -> f64	see UNA
CMP	[i64,i64] -> f64	see CMP
CMP	[f64,f64] -> f64	see CMP
ADD	[i64,i64] -> i64	i64.add
ADD	[f64,f64] -> f64	f64.add
SUB	[i64,i64] -> i64	i64.add
SUB	[f64,f64] -> f64	f64.sub
MUL	[i64,i64] -> i64	i64.mul
MUL	[f64,f64] -> f64	f64.mul
DIV	[i64,i64] -> i64	i64.div_u
DIV	[f64,f64] -> f64	f64.div
MOD	[i64,i64] -> i64	i64.rem_u
AND	[i64,i64] -> i64	i64.add
ORR	[i64,i64] -> i64	i64.or
XOR	[i64,i64] -> i64	i64.xor

CMP

EQ = 0
LT = 1
GT = 2
NANA = 3
NANB = 4

CMP(a : i64, b : i64) : i64
  if   i64.eq a b then EQ
  elif i64.lt_u a then LT
  else GT

CMP(a : f64, b : f64) : i64
  if   f64.ne a a then NANA
  if   f64.ne b b then NANB
  elif f64.eq a b then EQ
  elif f64.lt a b then LT
  else GT

UNA

CODE	Signature	Description
ZERO	i64 -> i64	i64.eqz
CLZS	i64 -> i64	i64.clz
CTZS	i64 -> i64	i64.ctz
INAN	f64 -> f64	f64.ne x x
PCNT	i64 -> i64	i64.popcnt
ABSL	f64 -> f64	f64.abs
NEGA	f64 -> f64	f64.neg
NEGA	i64 -> i64	2s complement
CNVU	i64 -> f64	f64.convert_i64_u
CNVS	i64 -> f64	f64.convert_i64_s
TRNU	f64 -> i64	i64.trunc_f64_u
TRNS	f64 -> i64	i64.trunc_f64_s
CAST	f64 -> i64	i64.reinterpret_f64
CAST	i64 -> f64	f64.reinterpret_i64
TRNF	f64 -> f64	f64.trunc
FLOR	f64 -> f64	f64.floor
CEIL	f64 -> f64	f64.ceil
NRST	f64 -> f64	f64.nearest
SIGN	f64 -> f64	f64.copysign 1.0 x
SQRT	f64 -> f64	f64.sqrt
SHL1	i64 -> i64	i64.shl x 1
SHL2	i64 -> i64	i64.shl x 2
SHL3	i64 -> i64	i64.shl x 3
...	...	...
SHL63	i64 -> i64	i64.shl x 63
SHR1	i64 -> i64	i64.shr_u x 1
SHR2	i64 -> i64	i64.shr_u x 2
...	...	...
SHR63	i64 -> i64	i64.shr_u x 63
SAR1	i64 -> i64	i64.shr_s x 1
SAR2	i64 -> i64	i64.shr_s x 2
...	...	...
SAR63	i64 -> i64	i64.shr_s x 63
ROR1	i64 -> i64	i64.rotr x 1
ROR2	i64 -> i64	i64.rotr x 2
...	...	...
SAR63	i64 -> i64	i64.rotr x 63
ROL1	i64 -> i64	i64.rotl x 1
ROl2	i64 -> i64	i64.rotl x 2
...	...	...
ROL63	i64 -> i64	i64.rotl x 63

Possible UNA extensions

CODE	Signature	Description
F2X1	f64 -> f64	2^x -1
FLDE	f64 -> f64	x * e
FLDP	f64 -> f64	x * π
FL2X	f64 -> f64	ln(x)
FSIN	f64 -> f64	sin(x)
FCOS	f64 -> f64	cos(x)
FTAN	f64 -> f64	tan(x)
FATN	f64 -> f64	arctan(x)
FASN	f64 -> f64	arcsin(x)
FACS	f64 -> f64	arccos(x)

wasm minimalest

Op	Signature	Description
UNA	[i64, i64] -> i64	see UNA
UNA	[i64, f64] -> i64	see UNA
UNA	[i64, i64] -> f64	see UNA
UNA	[i64, f64] -> f64	see UNA
CMP	[i64,i64] -> f64	see CMP
CMP	[f64,f64] -> f64	see CMP
ADD	[i64,i64] -> i64	i64.add
ADD	[f64,f64] -> f64	f64.add
SUB	[i64,i64] -> i64	i64.add
SUB	[f64,f64] -> f64	f64.sub
MUL	[i64,i64] -> i64	i64.mul
MUL	[f64,f64] -> f64	f64.mul
DIV	[i64,i64] -> i64	i64.div_u
DIV	[f64,f64] -> f64	f64.div
NOR	[i64,i64] -> i64	i64.neg (i64.or x y)
XOR	[i64,i64] -> i64	i64.xor

CMP

EQ = 0
LT = 1
GT = 2
NANA = 3
NANB = 4

CMP(a : i64, b : i64) : i64
  if   i64.eq a b then EQ
  elif i64.lt_u a then LT
  else GT

CMP(a : f64, b : f64) : i64
  if   f64.ne a a then NANA
  if   f64.ne b b then NANB
  elif f64.eq a b then EQ
  elif f64.lt a b then LT
  else GT

UNA

CODE	Signature	Description
CNVU	i64 -> f64	f64.convert_i64_u
CNVS	i64 -> f64	f64.convert_i64_s
TRNU	f64 -> i64	i64.trunc_f64_u
TRNS	f64 -> i64	i64.trunc_f64_s
CAST	f64 -> i64	i64.reinterpret_f64
CAST	i64 -> f64	f64.reinterpret_i64
NRST	f64 -> f64	f64.nearest
SQRT	f64 -> f64	f64.sqrt
FEXP	f64 -> f64	e^x
FLOG	f64 -> f64	ln(x)