runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
34 stars 19 forks source link

Apply backwards-compatible changes for LLVM 18 #1068

Closed Baltoli closed 1 month ago

Baltoli commented 1 month ago

This PR makes a series of small housekeeping changes to the backend that allow us to build against LLVM 18, which we will need soon to support Ubuntu 24.04.

The changes required are all self-contained and can be reviewed commit-by commit:

Note that we're not yet running CI against LLVM 18; that will require a Nixpkgs update which I'll handle in a separate PR. This PR is just backwards compatible changes that allow us to adopt 18 with no extra work.

Baltoli commented 1 month ago

I have added a comment explaining why the explicitly set element types are necessary.