Skip to content

fix: crash on SHL with bool expressions #941

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
boriel merged 1 commit into from
Dec 30, 2024
Merged

fix: crash on SHL with bool expressions #941

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/arch/z80/visitor/translator_inst_visitor.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -226,7 +226,7 @@ def ic_shl(self, type_: TYPE | sym.BASICTYPE, t, t1, t2) -> None:
self.emit(f"shl{self._no_bool(type_)}", t, t1, t2)

def ic_shr(self, type_: TYPE | sym.BASICTYPE, t, t1, t2) -> None:
self.emit("shr" + self.TSUFFIX(type_), t, t1, t2)
self.emit(f"shr{self._no_bool(type_)}", t, t1, t2)

def ic_store(self, type_: TYPE | sym.BASICTYPE, t1, t2) -> None:
self.emit("store" + self.TSUFFIX(type_), t1, t2)
Expand Down
44 changes: 44 additions & 0 deletions tests/functional/arch/zx48k/shri16.asm
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,39 @@ _b:
xor a
ld l, a
ld h, 0
ld (_a), hl
ld de, (_a)
ld hl, (_a)
call .core.__EQ16
push af
ld a, (_b)
pop hl
or a
ld b, a
ld a, h
jr z, .LABEL.__LABEL7
.LABEL.__LABEL6:
srl a
djnz .LABEL.__LABEL6
.LABEL.__LABEL7:
ld l, a
ld h, 0
ld (_a), hl
ld de, (_a)
ld hl, (_a)
call .core.__EQ16
sub 1
sbc a, a
inc a
ld b, a
ld hl, (_a)
or a
jr z, .LABEL.__LABEL9
.LABEL.__LABEL8:
sra h
rr l
djnz .LABEL.__LABEL8
.LABEL.__LABEL9:
ld (_a), hl
ld hl, 0
ld b, h
Expand All @@ -60,4 +93,15 @@ _b:
ei
ret
;; --- end of user code ---
#line 1 "/zxbasic/src/lib/arch/zx48k/runtime/cmp/eq16.asm"
push namespace core
__EQ16: ; Test if 16bit values HL == DE
; Returns result in A: 0 = False, FF = True
xor a ; Reset carry flag
sbc hl, de
ret nz
inc a
ret
pop namespace
#line 71 "arch/zx48k/shri16.bas"
END
3 changes: 3 additions & 0 deletions tests/functional/arch/zx48k/shri16.bas
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,6 @@ a = a >> b
a = a >> 1
a = a >> 0
a = 0 >> b
a = (a = a) >> b
a = a >> (a = a)

75 changes: 73 additions & 2 deletions tests/functional/arch/zx48k/shri32.asm
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,51 @@ _b:
ld h, 0
ld e, h
ld d, h
ld (_a), hl
ld (_a + 2), de
ld hl, (_a + 2)
push hl
ld hl, (_a)
push hl
ld hl, (_a)
ld de, (_a + 2)
call .core.__EQ32
push af
ld a, (_b)
pop hl
or a
ld b, a
ld a, h
jr z, .LABEL.__LABEL3
.LABEL.__LABEL2:
srl a
djnz .LABEL.__LABEL2
.LABEL.__LABEL3:
ld l, a
ld h, 0
ld e, h
ld d, h
ld (_a), hl
ld (_a + 2), de
ld hl, (_a + 2)
push hl
ld hl, (_a)
push hl
ld hl, (_a)
ld de, (_a + 2)
call .core.__EQ32
sub 1
sbc a, a
inc a
ld b, a
ld hl, (_a)
ld de, (_a + 2)
or a
jr z, .LABEL.__LABEL5
.LABEL.__LABEL4:
call .core.__SHRA32
djnz .LABEL.__LABEL4
.LABEL.__LABEL5:
ld (_a), hl
ld (_a + 2), de
ld hl, 0
Expand All @@ -68,7 +113,7 @@ _b:
ei
ret
;; --- end of user code ---
#line 1 "/zxbasic/src/lib/arch/zx48k/runtime/shra32.asm"
#line 1 "/zxbasic/src/lib/arch/zx48k/runtime/bitwise/shra32.asm"
push namespace core
__SHRA32: ; Right Arithmetical Shift 32 bits
sra d
Expand All @@ -77,5 +122,31 @@ __SHRA32: ; Right Arithmetical Shift 32 bits
rr l
ret
pop namespace
#line 46 "arch/zx48k/shri32.bas"
#line 91 "arch/zx48k/shri32.bas"
#line 1 "/zxbasic/src/lib/arch/zx48k/runtime/cmp/eq32.asm"
push namespace core
__EQ32: ; Test if 32bit value HLDE equals top of the stack
; Returns result in A: 0 = False, FF = True
exx
pop bc ; Return address
exx
xor a ; Reset carry flag
pop bc
sbc hl, bc ; Low part
ex de, hl
pop bc
sbc hl, bc ; High part
exx
push bc ; CALLEE
exx
ld a, h
or l
or d
or e ; a = 0 and Z flag set only if HLDE = 0
ld a, 1
ret z
xor a
ret
pop namespace
#line 92 "arch/zx48k/shri32.bas"
END
3 changes: 3 additions & 0 deletions tests/functional/arch/zx48k/shri32.bas
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,6 @@ a = a >> b
a = a >> 1
a = a >> 0
a = 0 >> b
a = (a = a) >> b
a = a >> (a = a)

33 changes: 33 additions & 0 deletions tests/functional/arch/zx48k/shri8.asm
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,39 @@ _b:
ld (_a), a
ld a, (_b)
xor a
ld (_a), a
ld hl, (_a - 1)
ld a, (_a)
sub h
sub 1
sbc a, a
push af
ld a, (_b)
pop hl
or a
ld b, a
ld a, h
jr z, .LABEL.__LABEL3
.LABEL.__LABEL2:
srl a
djnz .LABEL.__LABEL2
.LABEL.__LABEL3:
ld (_a), a
ld hl, (_a - 1)
ld a, (_a)
sub h
sub 1
sbc a, a
neg
ld hl, (_a - 1)
or a
ld b, a
ld a, h
jr z, .LABEL.__LABEL5
.LABEL.__LABEL4:
sra a
djnz .LABEL.__LABEL4
.LABEL.__LABEL5:
ld (_a), a
ld hl, 0
ld b, h
Expand Down
3 changes: 3 additions & 0 deletions tests/functional/arch/zx48k/shri8.bas
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,6 @@ a = a >> b
a = a >> 1
a = a >> 0
a = 0 >> b
a = (a = a) >> b
a = a >> (a = a)

44 changes: 44 additions & 0 deletions tests/functional/arch/zx48k/shru16.asm
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,6 +44,39 @@ _b:
xor a
ld l, a
ld h, 0
ld (_a), hl
ld de, (_a)
ld hl, (_a)
call .core.__EQ16
push af
ld a, (_b)
pop hl
or a
ld b, a
ld a, h
jr z, .LABEL.__LABEL7
.LABEL.__LABEL6:
srl a
djnz .LABEL.__LABEL6
.LABEL.__LABEL7:
ld l, a
ld h, 0
ld (_a), hl
ld de, (_a)
ld hl, (_a)
call .core.__EQ16
sub 1
sbc a, a
inc a
ld b, a
ld hl, (_a)
or a
jr z, .LABEL.__LABEL9
.LABEL.__LABEL8:
srl h
rr l
djnz .LABEL.__LABEL8
.LABEL.__LABEL9:
ld (_a), hl
ld hl, 0
ld b, h
Expand All @@ -60,4 +93,15 @@ _b:
ei
ret
;; --- end of user code ---
#line 1 "/zxbasic/src/lib/arch/zx48k/runtime/cmp/eq16.asm"
push namespace core
__EQ16: ; Test if 16bit values HL == DE
; Returns result in A: 0 = False, FF = True
xor a ; Reset carry flag
sbc hl, de
ret nz
inc a
ret
pop namespace
#line 71 "arch/zx48k/shru16.bas"
END
3 changes: 3 additions & 0 deletions tests/functional/arch/zx48k/shru16.bas
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,6 @@ a = a >> b
a = a >> 1
a = a >> 0
a = 0 >> b
a = (a = a) >> b
a = a >> (a = a)

75 changes: 73 additions & 2 deletions tests/functional/arch/zx48k/shru32.asm
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,51 @@ _b:
ld h, 0
ld e, h
ld d, h
ld (_a), hl
ld (_a + 2), de
ld hl, (_a + 2)
push hl
ld hl, (_a)
push hl
ld hl, (_a)
ld de, (_a + 2)
call .core.__EQ32
push af
ld a, (_b)
pop hl
or a
ld b, a
ld a, h
jr z, .LABEL.__LABEL3
.LABEL.__LABEL2:
srl a
djnz .LABEL.__LABEL2
.LABEL.__LABEL3:
ld l, a
ld h, 0
ld e, h
ld d, h
ld (_a), hl
ld (_a + 2), de
ld hl, (_a + 2)
push hl
ld hl, (_a)
push hl
ld hl, (_a)
ld de, (_a + 2)
call .core.__EQ32
sub 1
sbc a, a
inc a
ld b, a
ld hl, (_a)
ld de, (_a + 2)
or a
jr z, .LABEL.__LABEL5
.LABEL.__LABEL4:
call .core.__SHRL32
djnz .LABEL.__LABEL4
.LABEL.__LABEL5:
ld (_a), hl
ld (_a + 2), de
ld hl, 0
Expand All @@ -68,7 +113,7 @@ _b:
ei
ret
;; --- end of user code ---
#line 1 "/zxbasic/src/lib/arch/zx48k/runtime/shrl32.asm"
#line 1 "/zxbasic/src/lib/arch/zx48k/runtime/bitwise/shrl32.asm"
push namespace core
__SHRL32: ; Right Logical Shift 32 bits
srl d
Expand All @@ -77,5 +122,31 @@ __SHRL32: ; Right Logical Shift 32 bits
rr l
ret
pop namespace
#line 46 "arch/zx48k/shru32.bas"
#line 91 "arch/zx48k/shru32.bas"
#line 1 "/zxbasic/src/lib/arch/zx48k/runtime/cmp/eq32.asm"
push namespace core
__EQ32: ; Test if 32bit value HLDE equals top of the stack
; Returns result in A: 0 = False, FF = True
exx
pop bc ; Return address
exx
xor a ; Reset carry flag
pop bc
sbc hl, bc ; Low part
ex de, hl
pop bc
sbc hl, bc ; High part
exx
push bc ; CALLEE
exx
ld a, h
or l
or d
or e ; a = 0 and Z flag set only if HLDE = 0
ld a, 1
ret z
xor a
ret
pop namespace
#line 92 "arch/zx48k/shru32.bas"
END
3 changes: 3 additions & 0 deletions tests/functional/arch/zx48k/shru32.bas
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,6 @@ a = a >> b
a = a >> 1
a = a >> 0
a = 0 >> b
a = (a = a) >> b
a = a >> (a = a)

Loading
Loading