Comments (2)
I've created a PR, #458, that resolves this problem by adding a new function attribute called "wedge" that takes a single 16-bit integer value, and alters the return lowering to use a TailJMP to force register saving, properly, etc.
from llvm-mos.
Ideally, I want my ISR to only save what is transitively calculated from other function calls that I make use of, and the compiler has that information.
At least right now, the compiler can't actually do that. Register allocation in LLVM isn't by default done in any particular order, so the set of registers used by a callee may not be available when the caller is being compiled. That means that the caller is forced to assume that the callee can touch any caller-saved register, and if it's an ISR, it has to save all of them on behalf of the interrupted routine.
That being said, there is an infrastructure in LLVM to do "interprocedural register allocation". This more or less amounts to performing codegen in as close to "callee-first" order as is possible, then propagating register usage information about call sites to callers. I wasn't easily able to get this working on llvm-mos though; the code was added for IBM System V (IIRC), and it looked either unfinished or atrophied last I tried it.
Even with interprocedural register allocation, a callee might misjudge the cost of using a caller-saved register, since it wouldn't know that it was called inside an interrupt and that such registers aren't free. The whole register allocator architecture basically assumes caller-saved registers are free; so implicitly implying an AXY calling convention to anything called within an interrupt seems prudent anyway.
This convention would make every imaginary register a callee-saved register. This doesn't mean they would actually ever need to be saved, since the zero page allocator will automatically "promote" callee-saved register uses to unique zero page locations when profitable. That would tend to produce the usual style for hand-written interrupt handlers: AXY used freely, and a portion of the zero page exclusively dedicated for use within the ISR.
from llvm-mos.
Related Issues (20)
- LLVM ERROR: Unable to legalize instruction HOT 3
- Support assembler sources in ca65 format
- Lower mem intrinsics to loops
- G_OR prevents selection of addressing mode HOT 1
- Don't copy single-use strings to the zero page
- rustc crash HOT 2
- Compilation failure on MacOS w. Apple silicon HOT 11
- Builder for Apple Silicon
- mos-sim crash HOT 1
- Triple selection doesn't accommodate mos-<platform>-<type>-<subtype> syntax
- [65C816, 65CE02] Long branch instructions not supported HOT 2
- ld.lld: error: undefined symbol: __rc4 to __rc24 HOT 3
- Missing G_SBC commutation for equality checks HOT 1
- [Assembler] Improved ergonomics for 65816 (and other) subtargets HOT 14
- [Assembler] .byte/.short don't support MOS expression parsing
- Redundant copy and spilling HOT 1
- Compiler crashes when try to access a member variable of a class through inline assembly HOT 5
- Declaration order of member variables has a big impact on code optimization HOT 1
- Surface error messages for inline assembly
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from llvm-mos.