Division with integer literals gives wrong result about selfie HOT 5 CLOSED

Should we forbid this specific case?

from selfie.

In the branch elf I had to handle theses cases like you suggest, so that selfie can be executed on the qemu emulator. Negative Operands are first converted to positive before Division and converted back to negative after division. But this seemed to cause issues with clang vs. gcc. Still investigating that issue

from selfie.

@ChristianMoesl I am not sure why this happens. We do use / for implementing the DIVU instruction and thus for implementing / in turn, right?

from selfie.

@ckirsch A integer literal in C -1 or 1 has a signed integer type. Therefore signed division is used when calculating with literals, before they were casted to a uint64_t type (because of the assignment).
In Selfie every integer literal gets immediately "converted" into a a uint64_t type and afterwards calculated.

from selfie.

Interesting! Please create a filesemantics.md on root level for gathering all cases of C* semantics that are different from C semantics. This one should be the first but there is probably more.

from selfie.