6502.org Forum  Projects  Code  Documents  Tools  Forum
It is currently Thu Nov 14, 2024 5:19 pm

All times are UTC




Post new topic Reply to topic  [ 11 posts ] 
Author Message
 Post subject: LLVM-MOS Toolchain
PostPosted: Fri Feb 25, 2022 7:09 pm 
Offline

Joined: Sun Jan 10, 2021 11:25 pm
Posts: 64
The last few months, I've been spending a considerable portion of my off hours hacking away on snippets of code generated by LLVM-MOS, trying to make them less weird. LLVM-MOS still emits weird code, despite my best efforts. I had a long list of TODO items before the first release, "make this weird thing never happen," and it seemed like the list was getting perpetually longer.

Well, that list isn't empty, and LLVM-MOS still emits weird code. If you open up any large compiled binary, there will be some weird code in it. But this is my perfectionism speaking. LLVM can emit great code, and it does emit great code often enough to be very useful. I can and will spend the next N years playing wackamole with the code generator until there aren't any moles left, but that personal vendetta isn't a good reason to hold up releasing the thing.

I've been using LLVM-MOS to build a C64 dots-and-boxes game in C++. Despite my best efforts to write horrible, inoptimal, modern C++11, as naively as possible, the thing has been hovering around 2K, which is way way under my code budget. The compiler is tremendously usable; it has great error messages, modern features, it's easy to invoke, relatively fast, etc. It's now fairly silly that we don't have a binary release.

So, without further ado, I'd like to announce the first LLVM-MOS compiler and SDK release, v0.1.0.

A huge thanks to everyone who contributed to this project. Without you, it wouldn't be anywhere near where it is today.

https://github.com/llvm-mos/llvm-mos-sdk/releases/tag/v0.1.0

Documentation for getting started.

What you get
  • Code generation for the Commodore 64, Atari 800, and an included 6502 simulator.
  • The high and low-level optimizations expected of a young-ish LLVM backend
    • Sophisticated register allocation over A, X, Y, and a field of 16 2-byte zero-page (imaginary) registers
    • The imaginary registers can be placed anywhere and need not be contiguous.
    • The calling convention passes through registers whenever possible.
    • Loop optimizations to select 6502 addressing modes
  • Whole program "static stack" optimization
    • Automatically identifies non-reentrant functions and allocates their frames as static globals
    • Programs without recursion or complex function pointers may not need a soft stack at all.
    • No manual annotations required
  • Link time inlining and optimization across the whole program
    • Includes SDK libraries. Library calls can be often optimized away completely!
  • Broad C99 and C++11 freestanding standards compatibility
    • Interrupt handling
    • C++ templates
    • C++ virtual functions
    • C++ new/delete
    • C++ Run-Time Type Information (dynamic_cast, typeid)
    • C++ static constructors/destructors (run before and after main)
    • C++ "magic" function local static constructors/destructors
  • Excellent compiler usability
    • Clang's world-class error messages
    • IDE integration through the included custom clangd's Language Server Protocol
    • Straigtforward invocations to compile for various targets: mos-c64-clang++ -Os -o game.prg game.cc
  • A small standard library sufficient to provide the above and a few extras
    • Simple printf
    • Simple malloc/free
    • exit, _Exit, and atexit
  • An ELF file format implementation
    • All the usual POSIX tools for working with object files: readelf, nm, etc.
    • A GAS-compatible assembler for the 6502 with a complete macro system
  • A lld linker implementation for the 6502
    • Link-time garbage collection
    • Symbol map exports
    • Linker scripts
    • GCC ld compatibility

What you don't get
  • C99 requires supporting 64KiB locals, sorry, no can do.
  • A hosted C with all the standard library bells and whistles.
  • Float/double
  • C++ Exceptions


Top
 Profile  
Reply with quote  
 Post subject: Re: LLVM-MOS Toolchain
PostPosted: Fri Feb 25, 2022 8:02 pm 
Offline
User avatar

Joined: Thu Dec 11, 2008 1:28 pm
Posts: 10977
Location: England
> ... tremendously usable...
> ... announce the first LLVM-MOS compiler and SDK release...

Excellent! Well done, and absolutely agreed, some remaining possibilities of weird code are no reason not to release.


Top
 Profile  
Reply with quote  
 Post subject: Re: LLVM-MOS Toolchain
PostPosted: Fri Feb 25, 2022 11:38 pm 
Offline
User avatar

Joined: Mon Apr 23, 2012 12:28 am
Posts: 760
Location: Huntsville, AL
Been following this project with interest. Congratulations on a major contribution that should prove very useful to many fans of the 6502/65C02 processors.

_________________
Michael A.


Top
 Profile  
Reply with quote  
 Post subject: Re: LLVM-MOS Toolchain
PostPosted: Sat Feb 26, 2022 6:54 pm 
Offline

Joined: Sat Sep 05, 2020 3:12 pm
Posts: 22
Wow, big congratulations, mysterymath, and my deepest admiration for your perseverance. The 6502 community is really lucky to have someone chase this next level of power in the compiler landscape to the point where it is now a reality and useful and available! I'm really excited!


Top
 Profile  
Reply with quote  
 Post subject: Re: LLVM-MOS Toolchain
PostPosted: Sun Feb 27, 2022 2:05 am 
Offline

Joined: Thu Apr 11, 2019 12:31 pm
Posts: 33
Nice! A special thank you for the MacOS binary release.


Top
 Profile  
Reply with quote  
 Post subject: Re: LLVM-MOS Toolchain
PostPosted: Sun Apr 03, 2022 4:51 pm 
Offline

Joined: Sun Apr 03, 2022 4:49 pm
Posts: 1
mysterymath wrote:
What you don't get
  • C99 requires supporting 64KiB locals, sorry, no can do.

This isn't required for freestanding compliance, is it?


Top
 Profile  
Reply with quote  
 Post subject: Re: LLVM-MOS Toolchain
PostPosted: Wed Apr 06, 2022 5:23 am 
Offline

Joined: Sun Jan 10, 2021 11:25 pm
Posts: 64
leo60228 wrote:
mysterymath wrote:
What you don't get
  • C99 requires supporting 64KiB locals, sorry, no can do.

This isn't required for freestanding compliance, is it?


Yeah, but we do eventually intend to offer a hosted implementation for platforms with OSes (Atari, C64, etc). We're not right now, but we can basically never support this, so I've been keeping it as an explicit call-out.


Top
 Profile  
Reply with quote  
 Post subject: Re: LLVM-MOS Toolchain
PostPosted: Fri Apr 15, 2022 1:14 pm 
Offline
User avatar

Joined: Tue Aug 11, 2020 3:45 am
Posts: 311
Location: A magnetic field
mysterymath on Fri 25 Feb 2022 wrote:
  • An ELF file format implementation


I'm highly curious about the 16 bit ELF processor architecture field. According to the Wikipedia page for ELF, all processor architectures have value $00xx except 65816 which is $0101. I suspect this isn't official. 6502 is not defined but $0100 would be the logical choice.

_________________
Modules | Processors | Boards | Boxes | Beep, Beep! I'm a sheep!


Top
 Profile  
Reply with quote  
 Post subject: Re: LLVM-MOS Toolchain
PostPosted: Wed Apr 20, 2022 3:54 pm 
Offline

Joined: Mon May 01, 2017 7:13 am
Posts: 83
Sheep64 wrote:
mysterymath on Fri 25 Feb 2022 wrote:
  • An ELF file format implementation


I'm highly curious about the 16 bit ELF processor architecture field. According to the Wikipedia page for ELF, all processor architectures have value $00xx except 65816 which is $0101. I suspect this isn't official. 6502 is not defined but $0100 would be the logical choice.


Here's your detailed documentation: https://llvm-mos.org/wiki/ELF_specification


Top
 Profile  
Reply with quote  
 Post subject: Re: LLVM-MOS Toolchain
PostPosted: Thu Apr 21, 2022 10:35 am 
Offline

Joined: Fri Sep 01, 2017 6:20 pm
Posts: 6
You should request an official ELF machine ID, not "6502".


Top
 Profile  
Reply with quote  
 Post subject: Re: LLVM-MOS Toolchain
PostPosted: Thu Apr 21, 2022 10:42 am 
Offline

Joined: Fri Sep 01, 2017 6:20 pm
Posts: 6
No, there is already:

#define EM_MCS6502 254 /* MOS Technology MCS 6502 processor */

I guess you need to find out who reserved that, and work together with him to have compatible subfields.


Top
 Profile  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 11 posts ] 

All times are UTC


Who is online

Users browsing this forum: No registered users and 4 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to: