madisongh / blissc Goto Github PK

View Code? Open in Web Editor NEW

36.0 8.0 6.0 1.34 MB

BLISS-M compiler

License: BSD 2-Clause "Simplified" License

C 97.68% C++ 0.17% Python 0.78% Makefile 0.41% M4 0.27% CMake 0.68%

blissc's Introduction

README for the BLISS-M Compiler

This is the source package for the BLISS-M compiler, a portable cross-compiler for the BLISS programming language.

What is BLISS?

The BLISS language was developed at Carnegie-Mellon University in the 1970's for systems programming. It was adopted and used extensively by Digital Equipment Corporation for development of systems software across their 16-bit, 32-bit, 36-bit, and 64-bit systems. It is a typeless, block-structured, language with an extensive lexical processing (macro) facility. See the Wikipedia article on BLISS for more information about the language.

Current Status

Work in progress. The front-end is mostly complete, with a fully functioning parser and macro facility. Back-end support is currently limited to LLVM and x86 CPUs (32- or 64-bit), with a limited amount of machine-specific support.

Prerequisites

Recent-vintage C compiler
Recent version LLVM
CMake 3.13 or later, or a recent version of autotools

Recent development and testing has been on Ubuntu 22.04 with gcc 11 and LLVM 12.0.

Building the compiler

First, clone the repository.

Using Autotools

cd to the top-level source directory and run autoreconf -i.
If you want to build outside the source tree, cd to your build directory.
Run the configure script that was generated in step 2. If llvm-config is not in your PATH, use the --with-llvm-config option on configure to specify its location.
Run make to build the compiler.
Run make check to test the built compiler.

Using CMake

Create a directory for the build.
Run cmake <path-to-sources> to generate the build files. CMake will attempt to locate a usable copy of LLVM automatically, but you can specify -DLLVM_CONFIG= to force it to use a particular installation of LLVM.
Run make to build the compiler.

Running the compiler

The build will produce a program called blissc in your build directory. Run ./blissc --help for a description of the arguments and options.

License

All sources are released under the BSD 2-clause license. See the LICENSE.TXT file for the license text.

blissc's People

Contributors

Stargazers

Watchers

Forkers

sysman-one tesneddon sts-q donfanning schwabischesbauernbrot sergev

blissc's Issues

REF auto-fetch

Need to get a definitive answer on whether the automatic fetch of REF names is supposed to be done even in the absence of a structure reference.

For example

ROUTINE x (param : REF VECTOR) =
BEGIN
LOCAL y;
y = .param;
END;

Does 'y' get the address of the first element of the vector, or the contents?

Using a label without declaring it causes infinite loop

Labeling a block without first declaring the label causes the compiler to loop infinitely.

Unable to Make

I'm having some trouble making bliss. I have LLVM 3.9 and unfortunately can't remove it to install llvm35 due to it being a dependency for other applications. I'm not sure if this is the reason why. I have llvm-config on my path. (arch linux (Antergos)

make
Making all in tests
make[1]: Entering directory '/home/drifter/dev/blissc'
  CCLD     blissc
libllvmgen.a(libllvmgen_a-llvm_machines.o): In function `machine_init':
/home/drifter/dev/blissc/lib/llvmgen/llvm_machines.c:54: undefined reference to `LLVM_NATIVE_ASMPARSER'
collect2: error: ld returned 1 exit status
make[1]: *** [Makefile:735: blissc] Error 1
make[1]: Leaving directory '/home/drifter/dev/blissc'
make: *** [Makefile:948: all-recursive] Error 1
[drifter@drifterpc blissc]$

make check
Making check in tests
make[1]: Entering directory '/home/drifter/dev/blissc/tests'
../blissc --library -o testharness.lib ../tests/testharness.req
python "../tests/runtests.py" --blissc="../blissc" --cc="cc" "../tests"
  File "../tests/runtests.py", line 29
    **print "Processing: {}".format(testfile)
                         ^
SyntaxError: invalid syntax**
make[1]: *** [Makefile:17: check] Error 1
make[1]: Leaving directory '/home/drifter/dev/blissc/tests'
make: *** [Makefile:948: check-recursive] Error 1

BINDs to structures may be incorrect

Example:

OWN
vec : VECTOR [4,LONG];

BIND
firstlong = vec : LONG;
...
x = .firstlong;

'x' ends up with the address of 'vec', rather than the contents.

%ASCID literals not supported

The %ASCID prefix for string literals is not recognized.

Field handling

Field stores involving bit shifting are using fullword stores when the target data segment may not be a fullword in size.