Skip to content
/ 99c Public
forked from cznic/99c

Command 99c is a c99 compiler targeting a virtual machine.

License

Notifications You must be signed in to change notification settings

mattn/99c

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

99c

Command 99c is a c99 compiler targeting a virtual machine.

Changelog

2017-01-07: Initial public release.

Installation

To install or update the compiler and the virtual machine

 $ go get [-u] github.com/cznic/99c github.com/cznic/99c/99run

Online documentation: godoc.org/github.com/cznic/99c

Supported platforms and operating systems

See: https://godoc.org/github.com/cznic/ccir#hdr-Supported_platforms_and_architectures

At the time of this writing, in GOOS_GOARCH form

 linux_386
 linux_amd64
 windows_386
 windows_amd64

Porting to other platforms/architectures is considered not difficult.

Options

Output of 99c -h

 Usage of 99c:
   -99lib
     	Library link mode.
   -E	Copy C-language source files to standard output, executing all
   	preprocessor directives; no compilation shall be performed. If any
   	operand is not a text file, the effects are unspecified.
   -c	Suppress the link-edit phase of the compilation, and do not
   	remove any object files that are produced.
   -o string
     	Use the specified pathname, instead of the default a.out, for
     	the executable file produced. If the -o option is present with
     	-c or -E, the result is unspecified.

Rest of the input is a list of file names, either C (.c) files or object (.o) files.

Project status

Both the compiler and the C runtime library implementation are known to be incomplete. Missing pieces are added as needed. Please fill an issue when you run into problems and be patient. Only limited resources can be allocated to this project and to the related parts of the tool chain.

Also, contributions are welcome.

Executing compiled programs

Running a binary on Linux

 $ ./a.out
 hello world
 $

Running a binary on Windows

 C:\> 99run a.out
 hello world
 C:\>

A simple program

All in just a single C file.

 $ cd examples/hello/
 $ cat hello.c
 #include <stdio.h>

 int main() {
 	printf("hello world\n");
 }
 $ 99c hello.c && ./a.out
 hello world
 $

Setting the output file name

If the output is a single file, use -o to set its name. (POSIX option)

 $ cd examples/hello/
 $ cat hello.c
 #include <stdio.h>

 int main() {
 	printf("hello world\n");
 }
 $ 99c -o hello hello.c && ./hello
 hello world
 $

Obtaining the preprocessor output

Use -E to produce the cpp results. (POSIX option)

 $ cd examples/hello/
 /home/jnml/src/github.com/cznic/99c/examples/hello
 $ 99c -E hello.c
 # 24 "/home/jnml/src/github.com/cznic/ccir/libc/predefined.h"
 typedef   char   * __builtin_va_list ;
 # 41 "/home/jnml/src/github.com/cznic/ccir/libc/builtin.h"
 typedef   __builtin_va_list   __gnuc_va_list ;
 ...
 extern   void   flockfile ( FILE   *   __stream ) ;
 extern   int   ftrylockfile ( FILE   *   __stream ) ;
 extern   void   funlockfile ( FILE   *   __stream ) ;
 # 5 "hello.c"
 int   main ( )   {
 printf ( "hello world\n" ) ;
 }
 # 7 "/home/jnml/src/github.com/cznic/ccir/libc/crt0.c"
 int   main ( ) ;
 __FILE_TYPE__   __stdfiles [ 3 ] ;
 void   * stdin   =   & __stdfiles [ 0 ] ,   * stdout   =   & __stdfiles [ 1 ] ,   * stderr   =   & __stdfiles [ 2 ] ;
 void   _start ( int   argc ,   char   * * argv )
 {
 __register_stdfiles ( stdin ,   stdout ,   stderr ) ;
 __builtin_exit ( ( ( int   ( * ) ( ) ) main )   ( argc ,   argv ) ) ;
 }
 $

Multiple C files projects

A translation unit may consist of multiple source files.

 $ cd examples/multifile/
 /home/jnml/src/github.com/cznic/99c/examples/multifile
 $ cat main.c
 char *hello();

 #include <stdio.h>
 int main() {
 	printf("%s\n", hello());
 }
 $ cat hello.c
 char *hello() {
 	return "hello world";
 }
 $ 99c main.c hello.c && ./a.out
 hello world
 $

Using object files

Use -c to output object files. (POSIX option)

 $ cd examples/multifile/
 /home/jnml/src/github.com/cznic/99c/examples/multifile
 $ 99c -c hello.c main.c
 $ 99c hello.o main.o && ./a.out
 hello world
 $ 99c hello.o main.c && ./a.out
 hello world
 $ 99c hello.c main.o && ./a.out
 hello world
 $

Stack traces

If the program source(s) are available at the same location(s) as when the program was compiled, then any stack trace produced is annotated using the source code lines.

 $ cd examples/stack/
 /home/jnml/src/github.com/cznic/99c/examples/stack
 $ cat stack.c
 void f(int n) {
 	if (n) {
 		f(n-1);
 		return;
 	}

 	*(char *)n;
 }

 int main() {
 	f(4);
 }
 $ 99c stack.c && ./a.out
 panic: runtime error: invalid memory address or nil pointer dereference [recovered]
 	panic: runtime error: invalid memory address or nil pointer dereference
 stack.c.f(0x0)
 	stack.c:7:1	0x0002c		load8          0x0	; -	// *(char *)n;
 stack.c.f(0x1)
 	stack.c:3:1	0x00028		call           0x21	; -	// f(n-1);
 stack.c.f(0x2)
 	stack.c:3:1	0x00028		call           0x21	; -	// f(n-1);
 stack.c.f(0x3)
 	stack.c:3:1	0x00028		call           0x21	; -	// f(n-1);
 stack.c.f(0x7f3400000004)
 	stack.c:3:1	0x00028		call           0x21	; -	// f(n-1);
 stack.c.main(0x7f3400000001, 0x7f34c9400030)
 	stack.c:11:1	0x0001d		call           0x21	; -	// f(4);
 /home/jnml/src/github.com/cznic/ccir/libc/crt0.c._start(0x1, 0x7f34c9400030)
 	/home/jnml/src/github.com/cznic/ccir/libc/crt0.c:15:1	0x0000d		call           0x16	; -	// __builtin_exit(((int (*)())main) (argc, argv));

 [signal SIGSEGV: segmentation violation code=0x1 addr=0x0 pc=0x511e46]

 goroutine 1 [running]:
 github.com/cznic/virtual.(*cpu).run.func1(0xc42009e2a0)
 	/home/jnml/src/github.com/cznic/virtual/cpu.go:222 +0x26e
 panic(0x555340, 0x66a270)
 	/home/jnml/go/src/runtime/panic.go:491 +0x283
 github.com/cznic/virtual.readI8(...)
 	/home/jnml/src/github.com/cznic/virtual/cpu.go:74
 github.com/cznic/virtual.(*cpu).run(0xc42009e2a0, 0x2, 0x0, 0x0, 0x0)
 	/home/jnml/src/github.com/cznic/virtual/cpu.go:993 +0x2116
 github.com/cznic/virtual.New(0xc4201d2000, 0xc42000a090, 0x1, 0x1, 0x656540, 0xc42000c010, 0x656580, 0xc42000c018, 0x656580, 0xc42000c020, ...)
 	/home/jnml/src/github.com/cznic/virtual/virtual.go:73 +0x2be
 github.com/cznic/virtual.Exec(0xc4201d2000, 0xc42000a090, 0x1, 0x1, 0x656540, 0xc42000c010, 0x656580, 0xc42000c018, 0x656580, 0xc42000c020, ...)
 	/home/jnml/src/github.com/cznic/virtual/virtual.go:84 +0xe9
 main.main()
 	/home/jnml/src/github.com/cznic/99c/99run/main.go:37 +0x382
 $

Argument passing

Command line arguments are passed the standard way.

 $ cd examples/args/
 /home/jnml/src/github.com/cznic/99c/examples/args
 $ cat args.c
 #include <stdio.h>

 int main(int argc, char **argv) {
 	for (int i = 0; i < argc; i++) {
 		printf("%i: %s\n", i, argv[i]);
 	}
 }
 $ 99c args.c && ./a.out foo bar -x -y - qux
 0: ./a.out
 1: foo
 2: bar
 3: -x
 4: -y
 5: -
 6: qux
 $

Executing a C program embedded in a Go program

This example requires installation of additional tools

 $ go get -u github.com/cznic/assets github.com/cznic/httpfs
 $ cd examples/embedding/
 /home/jnml/src/github.com/cznic/99c/examples/embedding
 $ ls *
 main.c  main.go

 assets:
 keepdir
 $ cat main.c
 // +build ignore

 #include <stdio.h>

 int main() {
 	int c;
 	while ((c = getc(stdin)) != EOF) {
 		printf("%c", c >= 'a' && c <= 'z' ? c^' ' : c);
 	}
 }
 $ cat main.go
 //go:generate 99c -o assets/a.out main.c
 //go:generate assets

 package main

 import (
 	"bytes"
 	"fmt"
 	"strings"
 	"time"

 	"github.com/cznic/httpfs"
 	"github.com/cznic/virtual"
 )

 func main() {
 	fs := httpfs.NewFileSystem(assets, time.Now())
 	f, err := fs.Open("/a.out")
 	if err != nil {
 		panic(err)
 	}

 	var bin virtual.Binary
 	if _, err := bin.ReadFrom(f); err != nil {
 		panic(err)
 	}

 	var out bytes.Buffer
 	exitCode, err := virtual.Exec(&bin, nil, strings.NewReader("Foo Bar"), &out, &out, 0, 1<<20, "")
 	if err != nil {
 		panic(err)
 	}

 	fmt.Printf("%s\n%v\n", out.Bytes(), exitCode)
 }
 $ go generate && go build && ./embedding
 FOO BAR
 0
 $

Calling into an embedded C library from Go

It's possible to call individual C functions from Go.

This example requires installation of additional tools

 $ go get -u github.com/cznic/assets github.com/cznic/httpfs
 $ cd examples/ffi/
 /home/jnml/src/github.com/cznic/99c/examples/ffi
 $ ls *
 lib42.c  main.go

 assets:
 keepdir
 $ cat lib42.c
 // +build ignore

 static int answer;

 int main() {
 	// Any library initialization comes here.
 	answer = 42;
 }

 // Use the -99lib option to prevent the linker from eliminating this function.
 int f42(int arg) {
 	return arg*answer;
 }
 $ cat main.go
 //go:generate 99c -99lib -o assets/a.out lib42.c
 //go:generate assets

 package main

 import (
 	"fmt"
 	"time"

 	"github.com/cznic/httpfs"
 	"github.com/cznic/ir"
 	"github.com/cznic/virtual"
 	"github.com/cznic/xc"
 )

 func main() {
 	fs := httpfs.NewFileSystem(assets, time.Now())
 	f, err := fs.Open("/a.out")
 	if err != nil {
 		panic(err)
 	}

 	var bin virtual.Binary
 	if _, err := bin.ReadFrom(f); err != nil {
 		panic(err)
 	}

 	m, _, err := virtual.New(&bin, nil, nil, nil, nil, 0, 1<<10, "")
 	if err != nil {
 		panic(err)
 	}

 	defer m.Close()

 	pc, ok := bin.Sym[ir.NameID(xc.Dict.SID("f42"))]
 	if !ok {
 		panic("symbol not found")
 	}

 	t, err := m.NewThread(1 << 10)
 	if err != nil {
 		panic(err)
 	}

 	for _, v := range []int{-1, 0, 1} {
 		var y int32
 		_, err := t.FFI1(pc, virtual.Int32Result{&y}, virtual.Int32(int32(v)))
 		if err != nil {
 			panic(err)
 		}

 		fmt.Println(y)
 	}
 }
 $ go generate && go build && ./ffi
 -42
 0
 42
 $

Loading C plugins at run-time

It's possible to load C plugins at run-time.

 $ cd examples/plugin/
 /home/jnml/src/github.com/cznic/99c/examples/plugin
 $ ls *
 lib42.c  main.go
 $ cat lib42.c
 // +build ignore

 static int answer;

 int main() {
 	// Any library initialization comes here.
 	answer = 42;
 }

 // Use the -99lib option to prevent the linker from eliminating this function.
 int f42(int arg) {
 	return arg*answer;
 }
 $ cat main.go
 //go:generate 99c -99lib lib42.c

 package main

 import (
 	"fmt"
 	"os"

 	"github.com/cznic/ir"
 	"github.com/cznic/virtual"
 	"github.com/cznic/xc"
 )

 func main() {
 	f, err := os.Open("a.out")
 	if err != nil {
 		panic(err)
 	}

 	var bin virtual.Binary
 	if _, err := bin.ReadFrom(f); err != nil {
 		panic(err)
 	}

 	m, _, err := virtual.New(&bin, nil, nil, nil, nil, 0, 1<<10, "")
 	if err != nil {
 		panic(err)
 	}

 	defer m.Close()

 	pc, ok := bin.Sym[ir.NameID(xc.Dict.SID("f42"))]
 	if !ok {
 		panic("symbol not found")
 	}

 	t, err := m.NewThread(1 << 10)
 	if err != nil {
 		panic(err)
 	}

 	for _, v := range []int{1, 2, 3} {
 		var y int32
 		_, err := t.FFI1(pc, virtual.Int32Result{&y}, virtual.Int32(int32(v)))
 		if err != nil {
 			panic(err)
 		}

 		fmt.Println(y)
 	}
 }
 $ go generate && go run main.go
 42
 84
 126
 $

TODOs

Implement -I, -D options. However, they're not compatible with the Go stdlib flag package.  

About

Command 99c is a c99 compiler targeting a virtual machine.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Sponsor this project

 

Packages

No packages published

Languages

  • Go 87.3%
  • Makefile 12.7%