search

effekt-lang / effekt

A language with lexical effect handlers and lightweight effect polymorphism
https://effekt-lang.org
MIT License
334 stars 24 forks source link

Use splices in LLVM templates #587

Closed b-studios closed 2 months ago

b-studios commented 2 months ago

Note that we only splice the names of variables (e.g., %x17) and not their type (e.g., %Pos %x17). This is mostly due to instructions like

 %z = icmp sge %Int %x, %y

where generating

  %z = icmp sge %Int %x, %Int %y

would be wrong.

b-studios commented 2 months ago

@phischu I am aware that this will result in merge conflicts with #553, but at some point we need to bite the bullet.