l8

Author: ktye

x/cc.k

@@ -12,6 +12,7 @@ cc:{[o]opts::o
  i:i@&{(2~|/(T 1_c)?`swc`stm)&3=#c:&P=x}'i:&T=`cnd  /keep ternary
  rwcnd'|j@&~(j:&(~`=S)&(T=`cnd)|T=`swc)?\i     /rewrite cnd/swc expressions 
  S[0]:$[(#o)~i:o?`lib;S 0;o 1+i]               /emit`lib`name (instead of main + remove func main)
+ $[`l8?o;cctype::`i`u`j`k`f!("int";"uint";"long";"ulong";"double");0]
  n:{x[y]+:1}/(,&#P),P;n[0]-:1;                 /number of children per node
  s:{c:(0,(#x)-z)^x                             /cut args from stack
    (c 0),,,/(F T y)[y;|c 1]}/[();|!#P;|n]      /fold over the tree in reverse order
@@ -37,8 +38,8 @@ ccprg:{
  fncs: ,/y@&`fun=T c:1_&P=0
  cons:nl y@&`con=T c
  vars:nl y@&`var=T c
- runt:$[`nort?opts;"";ccrnt]
- main:$[|/`nort`lib?\opts;"";ccmain]
+ runt:$[`nort?opts;"";`l8?opts;<`"l8.h";ccrnt]
+ main:$[|/`nort`lib?\opts;"";`l8?opts;"void cmain(char**a){argv=a;main_();}";ccmain]
  data:$[#D;"memcpy(M_,\"",("\\x","\\x"/(#D)^`x D),"\",",($#D),");";""]
  tabl:nl y@&`tab=T c
  tabl:$[#tabl;"F_=malloc(",($1+|/I@&`tab=T),"*sizeof(void*));\n";""],tabl

x/l86.c x/l8.hx/l86.c renamed to x/l8.h

@@ -2,13 +2,13 @@
 //gcc -Os -s -nostdlib -static -Wl,--nmagic -Wl,--build-id=none -fno-asynchronous-unwind-tables k.c
 //(objcopy --remove-section .comment a.out b.out)
 
-typedef uint  unsigned int;
-typedef ulong unsigned long;
+typedef unsigned int  uint;
+typedef unsigned long ulong;
 
 asm(".globl _start;_start:mov %rsp,%rdi;call cmain");
 
 
-                    static double F64copysign(double x,double y){union{double f;uint64_t i;}ux={x},uy={y};ux.i&=-1ull/2;ux.i|=uy.i&1ull<<63;return ux.f;}
+                    static double F64copysign(double x,double y){union{double f;ulong i;}ux={x},uy={y};ux.i&=-1ul/2;ux.i|=uy.i&1ul<<63;return ux.f;}
                     static double F64floor(double x){int i=(int)x;return(double)i;}
 __attribute((naked))static double F64abs(double x){ asm("xor %eax,%eax;dec %rax;shr %rax;movq %rax,%xmm1;andpd %xmm1,%xmm0;ret;");}
 __attribute((naked))static double F64sqrt(double x){ asm("sqrtsd %xmm0,%xmm0;ret");}
@@ -49,4 +49,4 @@ static int ReadIn(int dst,int n){return(int)read(1,_M+dst,n);}
 static long Native(long x,long y){return(x+y)*0;}
 static void panic(int x){Exit(1);}
 
-void cmain(char**a){argv=a;main_();}
+//void cmain(char**a){argv=a;main_();}

x/mk

@@ -4,9 +4,6 @@ set -x
 #go install /c/k/wg/cmd/wg
 #wg -k .. > k.k
 
-gcc -nostdlib -static l86.c
-exit 0
-
 if [ "$1" = "go" ]; then
  k k.k go.k -e 'x:`<go`pkg`k' > kg.go
  go fmt kg.go
@@ -23,6 +20,10 @@ elif [ "$1" = "cc" ]; then
  #c:/local/zig/zig cc -Wall -Wno-parentheses-equality -fwrapv -ffast-math k.c -o kc.exe -lm
 elif [ "$1" = "ctest" ]; then
  ./kc ../k.t -e
+elif [ "$1" = "l8" ]; then
+ k k.k cc.k -e 'x:`<cc``l8' >  k.c
+ #gcc -Wall -Wfatal-errors -Os -s -nostdlib -static -Wl,--nmagic -Wl,--build-id=none -fno-asynchronous-unwind-tables -ol8 k.c
+ gcc -Wall -Wfatal-errors -ol8 k.c -lm
 elif [ "$1" = "wa" ]; then
  k k.k wa.k -e 'x:`<wa``' >  k.wa
  /c/local/wabt/wat2wasm k.wa