(gbc) | The Go B Compiler

]~/Documents/TrulyMine/gbc@ ./gbc --help
 Copyright (c) 2025: xplshn and contributors
 For more details refer to <https://github.com/xplshn/gbc>
 Synopsis
 gbc <options> <input.b> ...
 Description
 A compiler for the B programming language with modern extensions. Like stepping into a time machine, but with better error messages.
 Options
 -C <arg>, --compiler-arg <arg> Pass a compiler-specific argument (e.g., -C linker_args='-s').
 -d, --dump-ir Dump the intermediate representation and exit.
 -h, --help Display this information
 -I <path>, --include <path> Add a directory to the include path.
 -L <arg>, --linker-arg <arg> Pass an argument to the linker.
 -o <file>, --output <file> Place the output into <file>. |a.out|
 --pedantic Issue all warnings demanded by the current B std.
 --std=std Specify language standard (B, Bx) |Bx|
 -t <backend/target>, --target <backend/target> Set the backend and target ABI. |qbe|
 Feature Flags
 -F<feature flag> Enable a specific feature flag
 -Fno-<feature flag> Disable a specific feature flag
 Available feature flags:
 allow-uninitialized Allow declarations without an initializer (`var;` or `auto var;`) |x|
 asm Allow `__asm__` blocks for inline assembly |x|
 b-esc Recognize B-style '*' character escapes |-|
 b-ops Recognize B-style assignment operators like '=+' |-|
 bx-decl Enable Bx-style `auto name = val` declarations |x|
 c-comments Recognize C-style '//' line comments |x|
 c-esc Recognize C-style '\' character escapes |x|
 c-ops Recognize C-style assignment operators like '+=' |x|
 continue Allow the Bx keyword `continue` to be used |x|
 extrn Allow the 'extrn' keyword |x|
 float Enable support for floating-point numbers |x|
 no-directives Disable `// [b]:` directives |-|
 prom-types Enable type promotions - promote untyped literals to compatible types |-|
 short-decl Enable Bx-style short declaration `:=` |x|
 strict-decl Require all declarations to be initialized |-|
 strict-types Disallow all incompatible type operations |-|
 typed Enable the Bx opt-in & backwards-compatible type system |x|
 Warning Flags
 -W<warning flag> Enable a specific warning flag
 -Wno-<warning flag> Disable a specific warning flag
 Available Warning Flags:
 b-esc Warn on usage of B-style '*' escapes |x|
 b-ops Warn on usage of B-style assignment operators like '=+' |x|
 c-comments Warn on usage of non-standard C-style '//' comments |-|
 c-esc Warn on usage of C-style '\' escapes |-|
 c-ops Warn on usage of C-style assignment operators like '+=' |-|
 debug-comp Debug warning for type promotions and conversions |-|
 extra Enable extra miscellaneous warnings |x|
 float Warn when floating-point numbers are used |-|
 implicit-decl Warn about implicit function or variable declarations |x|
 local-address Warn when the address of a local variable is returned |x|
 long-char-const Warn when a multi-character constant is too long for a word |x|
 overflow Warn when an integer constant is out of range for its type |x|
 pedantic Issue all warnings demanded by the strict standard |-|
 prom-types Warn when type promotions occur |x|
 truncated-char Warn when a character escape value is truncated |x|
 u-esc Warn on unrecognized character escape sequences |x|
 unreachable-code Warn about code that will never be executed |x|
]~/Documents/TrulyMine/gbc@

Progress Report:

Demo

TODO: GIFs showcasing things properly

Contributions are hyper-mega welcome

Acknowledgments

References

Not B-related, but I did find these helpful for learning how to write the compiler:

Cool stuff used by this project:

I'm a poor and broke Argentinian highschool student, send money!