testdata/verify/branch_riscv64.s

// Copyright (c) 2026 Petr Balvín <opensource@petrbalvin.org> (https://petrbalvin.org)
// SPDX-License-Identifier: BSD-3-Clause

#include "textflag.h"

TEXT ·branches(SB), NOSPLIT, $0
	ADDI $1, X10, X10
	BEQ  X10, X11, beq_done
	ADDI $2, X10, X10

beq_done:
	BNE  X10, X11, bne_done
	ADDI $3, X10, X10

bne_done:
	BLT  X10, X11, blt_done
	ADDI $4, X10, X10

blt_done:
	BGE  X10, X11, bge_done
	ADDI $5, X10, X10

bge_done:
	BLTU X10, X11, bltu_done
	ADDI $6, X10, X10

bltu_done:
	BGEU X10, X11, bgeu_done
	ADDI $7, X10, X10

bgeu_done:
	RET

TEXT ·jumps(SB), NOSPLIT, $0
	JMP  done
	ADDI $1, X10, X10

done:
	JAL  X11, skip
	ADDI $2, X10, X10

skip:
	RET
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`// Copyright (c) 2026 Petr Balvín <opensource@petrbalvin.org> (https://petrbalvin.org)`
			`// SPDX-License-Identifier: BSD-3-Clause`

			`#include "textflag.h"`

			`TEXT ·branches(SB), NOSPLIT, $0`
			`ADDI $1, X10, X10`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00			`BEQ X10, X11, beq_done`
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`ADDI $2, X10, X10`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`beq_done:`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00			`BNE X10, X11, bne_done`
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`ADDI $3, X10, X10`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`bne_done:`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00			`BLT X10, X11, blt_done`
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`ADDI $4, X10, X10`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`blt_done:`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00			`BGE X10, X11, bge_done`
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`ADDI $5, X10, X10`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`bge_done:`
			`BLTU X10, X11, bltu_done`
			`ADDI $6, X10, X10`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`bltu_done:`
			`BGEU X10, X11, bgeu_done`
			`ADDI $7, X10, X10`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`bgeu_done:`
			`RET`

			`TEXT ·jumps(SB), NOSPLIT, $0`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00			`JMP done`
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`ADDI $1, X10, X10`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`done:`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00			`JAL X11, skip`
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`ADDI $2, X10, X10`
style: put the repository assembly in gasm fmt canonical form 2026-09-17 20:33:18 +02:00
fix(asm): match RISC-V branch and jump encodings 2026-08-13 17:57:10 +02:00			`skip:`
			`RET`