Comments (7)
The assembler doesn't have typed constants. So 0x800 is 0x00000800 which is not valid for addi. RV32i has 32-bit constants, so 0xFFFFF800 is valid, and so is 0sFFFFFFFF FFFFF800. RV64i has 64-bit constants, so 0x00000000fffff800 is not valid, and 0xFFFFFFFF FFFFF800 is valid.
Another way to look at this is to try decimal constants. If someone writes "addi x0, x0, 4095" should we interpret that as "addi x0, x0, -1"? That would just be silly. Similarly, if someone writes "addi x0, x0, 0xfff" it would be wrong to treat that as -1 because 0xfff is 4095.
Another way to look at this is that humans tend to make mistakes when writing assembly language code, so we should not assume that something was intentional when it is ambiguous. 0x800 is ambiguous as it could be 2048 or -2048, so we don't accept it. 0xFFFFF800 is unambiguous for rv32i so we do accept it.
from riscv-asm-manual.
Another way to look at this is to try decimal constants. If someone writes "addi x0, x0, 4095" should we interpret that as "addi x0, x0, -1"? That would just be silly. Similarly, if someone writes "addi x0, x0, 0xfff" it would be wrong to treat that as -1 because 0xfff is 4095.
Well,
addi x0, x0, 4294965248
is interpreted as
addi x0, x0, -2048
on RV32I, and is illegal on RV64I. I think that's a bit silly too.
from riscv-asm-manual.
Perceived silliness aside, I'm not asking for any change in behavior. I'm just raising this issue to see if there is consensus around a case for documenting this behavior.
from riscv-asm-manual.
rv32 has 32-bit constants. So treating 4294965248 as -2048 is consistent with everything else.
from riscv-asm-manual.
llvm treat hexadecimal value as unsigned value. So, 0xfff is 4095 and 0xfffff800 is 4294965248. Both are out of range for addi.
from riscv-asm-manual.
I started a PR to address this then stumbled across what you just mentioned, that LLVM doesn't support this behavior. So my question really should have included, is GNU's behavior a language extension? Without an agreed-upon language spec, this is hard to answer.
from riscv-asm-manual.
You can document the subset that both GNU and LLVM toolchains accept.
from riscv-asm-manual.
Related Issues (20)
- Change branch from "master" to "main" HOT 1
- ELF question HOT 2
- Will the "tail" pseudo instruction always get transformed to the "jalr" instruction? HOT 9
- Pseudoinstruction examples don't work for RV64 HOT 2
- Cover more pseudoinstructions, as it was done in riscv-spec-v2.2 HOT 3
- Typos HOT 4
- how does `%hi` work for RISC-V 64? HOT 6
- Missing LICENSE file HOT 2
- Proposal for a common convention for synonyms for register ABI names in hand-coded assembler HOT 8
- wrong instruction generation
- `.option (no)?relax` and label differences HOT 1
- Linker relaxation ignores .option norvc HOT 6
- Compile-time rounding-mode specification in [inline] assembly HOT 1
- Z*inx should require Zicsr
- Code size reduction specification (`C`, `Zca`, `Zcd`, `Zcf` and other `Zc*` extensions) HOT 11
- manual does not mention unsigned load insn, l{b|h|w}u HOT 2
- enhancement request: please could a pdf version, or pdf frindlier version be created? HOT 2
- Nothing can be found except the readme and license file. HOT 1
- Two suggested improvements to the pseudo instruction table HOT 3
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 riscv-asm-manual.