yetanotherco · fmoletta · Dec 12, 2025 · Dec 10, 2025 · Dec 10, 2025 · Dec 10, 2025
diff --git a/vm/Makefile b/vm/Makefile
@@ -12,9 +12,9 @@ RUST_PROGRAM_DIRS := $(dir $(wildcard $(RUST_PROGRAMS_DIR)/*/Cargo.toml))
 RUST_PROGRAMS := $(notdir $(basename $(RUST_PROGRAM_DIRS:%/=%)))
 RUST_ARTIFACTS := $(addprefix $(RUST_ARTIFACTS_DIR)/, $(addsuffix .elf, $(RUST_PROGRAMS)))
 
-compile-programs-asm: clean $(ARTIFACTS_ASM)
+compile-programs-asm: clean-asm $(ARTIFACTS_ASM)
 
-compile-programs-rust: clean $(RUST_ARTIFACTS)
+compile-programs-rust: clean-rust $(RUST_ARTIFACTS)
 
 compile-programs: compile-programs-asm compile-programs-rust
 
@@ -36,12 +36,16 @@ $(RUST_ARTIFACTS_DIR)/%.elf: $(RUST_PROGRAMS_DIR)/%/Cargo.toml
 	cp $(RUST_PROGRAMS_DIR)/$*/target/riscv32im-unknown-none-elf/debug/$* $@
 	rm -rf $(RUST_PROGRAMS_DIR)/$*/target
 
-clean:
+clean-asm:
 	-rm -rf $(ASM_ARTIFACTS_DIR)
 	mkdir -p $(ASM_ARTIFACTS_DIR)
+
+clean-rust:
 	-rm -rf $(RUST_ARTIFACTS_DIR)
 	mkdir -p $(RUST_ARTIFACTS_DIR)
 
+clean: clean-asm clean-rust
+
 test: compile-programs test-no-compile
 
 test-asm: compile-programs-asm

diff --git a/vm/program_artifacts/asm/add.elf b/vm/program_artifacts/asm/add.elf
diff --git a/vm/program_artifacts/asm/add_max.elf b/vm/program_artifacts/asm/add_max.elf
diff --git a/vm/program_artifacts/asm/add_max_plus_one.elf b/vm/program_artifacts/asm/add_max_plus_one.elf
diff --git a/vm/program_artifacts/asm/add_min.elf b/vm/program_artifacts/asm/add_min.elf
diff --git a/vm/program_artifacts/asm/add_min_minus_one.elf b/vm/program_artifacts/asm/add_min_minus_one.elf
diff --git a/vm/program_artifacts/asm/add_neg.elf b/vm/program_artifacts/asm/add_neg.elf
diff --git a/vm/program_artifacts/asm/addi_255.elf b/vm/program_artifacts/asm/addi_255.elf
diff --git a/vm/program_artifacts/asm/addi_max.elf b/vm/program_artifacts/asm/addi_max.elf
diff --git a/vm/program_artifacts/asm/addi_min.elf b/vm/program_artifacts/asm/addi_min.elf
diff --git a/vm/program_artifacts/asm/addi_minus_one.elf b/vm/program_artifacts/asm/addi_minus_one.elf
diff --git a/vm/program_artifacts/asm/addi_one.elf b/vm/program_artifacts/asm/addi_one.elf
diff --git a/vm/program_artifacts/asm/addi_reg.elf b/vm/program_artifacts/asm/addi_reg.elf
diff --git a/vm/program_artifacts/asm/addi_reg_max.elf b/vm/program_artifacts/asm/addi_reg_max.elf
diff --git a/vm/program_artifacts/asm/addi_reg_min.elf b/vm/program_artifacts/asm/addi_reg_min.elf
diff --git a/vm/program_artifacts/asm/andi.elf b/vm/program_artifacts/asm/andi.elf
diff --git a/vm/program_artifacts/asm/andi_max.elf b/vm/program_artifacts/asm/andi_max.elf
diff --git a/vm/program_artifacts/asm/andi_one.elf b/vm/program_artifacts/asm/andi_one.elf
diff --git a/vm/program_artifacts/asm/andi_one_and_two.elf b/vm/program_artifacts/asm/andi_one_and_two.elf
diff --git a/vm/program_artifacts/asm/andi_one_and_zero.elf b/vm/program_artifacts/asm/andi_one_and_zero.elf
diff --git a/vm/program_artifacts/asm/ori.elf b/vm/program_artifacts/asm/ori.elf
diff --git a/vm/program_artifacts/asm/ori_five_and_four.elf b/vm/program_artifacts/asm/ori_five_and_four.elf
diff --git a/vm/program_artifacts/asm/ori_max.elf b/vm/program_artifacts/asm/ori_max.elf
diff --git a/vm/program_artifacts/asm/ori_one.elf b/vm/program_artifacts/asm/ori_one.elf
diff --git a/vm/program_artifacts/asm/ori_one_and_one.elf b/vm/program_artifacts/asm/ori_one_and_one.elf
diff --git a/vm/program_artifacts/asm/ori_three_and_five.elf b/vm/program_artifacts/asm/ori_three_and_five.elf
diff --git a/vm/program_artifacts/asm/ori_two_and_one.elf b/vm/program_artifacts/asm/ori_two_and_one.elf
diff --git a/vm/program_artifacts/asm/slli.elf b/vm/program_artifacts/asm/slli.elf
diff --git a/vm/program_artifacts/asm/slli_ff_four.elf b/vm/program_artifacts/asm/slli_ff_four.elf
diff --git a/vm/program_artifacts/asm/slli_max.elf b/vm/program_artifacts/asm/slli_max.elf
diff --git a/vm/program_artifacts/asm/slli_max_half.elf b/vm/program_artifacts/asm/slli_max_half.elf
diff --git a/vm/program_artifacts/asm/slli_max_max.elf b/vm/program_artifacts/asm/slli_max_max.elf
diff --git a/vm/program_artifacts/asm/slli_one.elf b/vm/program_artifacts/asm/slli_one.elf
diff --git a/vm/program_artifacts/asm/slli_one_one.elf b/vm/program_artifacts/asm/slli_one_one.elf
diff --git a/vm/program_artifacts/asm/slli_one_zero.elf b/vm/program_artifacts/asm/slli_one_zero.elf
diff --git a/vm/program_artifacts/asm/slti.elf b/vm/program_artifacts/asm/slti.elf
diff --git a/vm/program_artifacts/asm/slti_minus_one.elf b/vm/program_artifacts/asm/slti_minus_one.elf
diff --git a/vm/program_artifacts/asm/slti_negative.elf b/vm/program_artifacts/asm/slti_negative.elf
diff --git a/vm/program_artifacts/asm/slti_negative_minus.elf b/vm/program_artifacts/asm/slti_negative_minus.elf
diff --git a/vm/program_artifacts/asm/slti_one.elf b/vm/program_artifacts/asm/slti_one.elf
diff --git a/vm/program_artifacts/asm/sltiu.elf b/vm/program_artifacts/asm/sltiu.elf
diff --git a/vm/program_artifacts/asm/sltiu_negative.elf b/vm/program_artifacts/asm/sltiu_negative.elf
diff --git a/vm/program_artifacts/asm/sltiu_one.elf b/vm/program_artifacts/asm/sltiu_one.elf
diff --git a/vm/program_artifacts/asm/sltiu_two_negatives.elf b/vm/program_artifacts/asm/sltiu_two_negatives.elf
diff --git a/vm/program_artifacts/asm/srli.elf b/vm/program_artifacts/asm/srli.elf
diff --git a/vm/program_artifacts/asm/srli_max.elf b/vm/program_artifacts/asm/srli_max.elf
diff --git a/vm/program_artifacts/asm/srli_max_max.elf b/vm/program_artifacts/asm/srli_max_max.elf
diff --git a/vm/program_artifacts/asm/srli_one.elf b/vm/program_artifacts/asm/srli_one.elf
diff --git a/vm/program_artifacts/asm/srli_one_one.elf b/vm/program_artifacts/asm/srli_one_one.elf
diff --git a/vm/program_artifacts/asm/srli_one_zero.elf b/vm/program_artifacts/asm/srli_one_zero.elf
diff --git a/vm/program_artifacts/asm/srli_two_one.elf b/vm/program_artifacts/asm/srli_two_one.elf
diff --git a/vm/program_artifacts/asm/xori.elf b/vm/program_artifacts/asm/xori.elf
diff --git a/vm/program_artifacts/asm/xori_max.elf b/vm/program_artifacts/asm/xori_max.elf
diff --git a/vm/program_artifacts/asm/xori_negate.elf b/vm/program_artifacts/asm/xori_negate.elf
diff --git a/vm/program_artifacts/asm/xori_one.elf b/vm/program_artifacts/asm/xori_one.elf
diff --git a/vm/program_artifacts/asm/xori_one_and_one.elf b/vm/program_artifacts/asm/xori_one_and_one.elf
diff --git a/vm/programs/asm/add.s b/vm/programs/asm/add.s
@@ -0,0 +1,10 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, 10
+	addi	a3, zero, 20
+	add     a0, a2, a3
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/add_max.s b/vm/programs/asm/add_max.s
@@ -0,0 +1,30 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, 2047 # 2_047
+	add     a2, a2, a2     # 4_094
+	add     a2, a2, a2     # 8_188
+	add     a2, a2, a2     # 16_376
+	add     a2, a2, a2     # 32_752
+	add     a2, a2, a2     # 65_504
+	add     a2, a2, a2     # 131_008
+	add     a2, a2, a2     # 262_016
+	add     a2, a2, a2     # 524_032
+	add     a3, a2, a2     # 1_048_064
+	add     a2, a3, a3     # 2_096_128
+	add     a2, a2, a2     # 4_192_256
+	add     a2, a2, a2     # 8_384_512
+	add     a2, a2, a2     # 16_769_024
+	add     a2, a2, a2     # 33_538_048
+	add     a2, a2, a2     # 67_076_096
+	add     a2, a2, a2     # 134_152_192
+	add     a2, a2, a2     # 268_304_384
+	add     a2, a2, a2     # 536_608_768
+	add     a2, a2, a2     # 1_073_217_536
+	add     a2, a2, a2     # 2_146_435_072
+	add     a2, a2, a3     # 2_147_483_136
+	addi    a0, a2, 511    # 2_147_483_647
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/add_max_plus_one.s b/vm/programs/asm/add_max_plus_one.s
@@ -0,0 +1,31 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, 2047 # 2_047
+	add     a2, a2, a2     # 4_094
+	add     a2, a2, a2     # 8_188
+	add     a2, a2, a2     # 16_376
+	add     a2, a2, a2     # 32_752
+	add     a2, a2, a2     # 65_504
+	add     a2, a2, a2     # 131_008
+	add     a2, a2, a2     # 262_016
+	add     a2, a2, a2     # 524_032
+	add     a3, a2, a2     # 1_048_064
+	add     a2, a3, a3     # 2_096_128
+	add     a2, a2, a2     # 4_192_256
+	add     a2, a2, a2     # 8_384_512
+	add     a2, a2, a2     # 16_769_024
+	add     a2, a2, a2     # 33_538_048
+	add     a2, a2, a2     # 67_076_096
+	add     a2, a2, a2     # 134_152_192
+	add     a2, a2, a2     # 268_304_384
+	add     a2, a2, a2     # 536_608_768
+	add     a2, a2, a2     # 1_073_217_536
+	add     a2, a2, a2     # 2_146_435_072
+	add     a2, a2, a3     # 2_147_483_136
+	addi    a0, a2, 511    # 2_147_483_647
+	addi    a0, a0, 1      # -2_147_483_648 (overflow)
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/add_min.s b/vm/programs/asm/add_min.s
@@ -0,0 +1,30 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, -2047 # -2_047
+	add     a2, a2, a2      # -4_094
+	add     a2, a2, a2      # -8_188
+	add     a2, a2, a2      # -16_376
+	add     a2, a2, a2      # -32_752
+	add     a2, a2, a2      # -65_504
+	add     a2, a2, a2      # -131_008
+	add     a2, a2, a2      # -262_016
+	add     a2, a2, a2      # -524_032
+	add     a3, a2, a2      # -1_048_064
+	add     a2, a3, a3      # -2_096_128
+	add     a2, a2, a2      # -4_192_256
+	add     a2, a2, a2      # -8_384_512
+	add     a2, a2, a2      # -16_769_024
+	add     a2, a2, a2      # -33_538_048
+	add     a2, a2, a2      # -67_076_096
+	add     a2, a2, a2      # -134_152_192
+	add     a2, a2, a2      # -268_304_384
+	add     a2, a2, a2      # -536_608_768
+	add     a2, a2, a2      # -1_073_217_536
+	add     a2, a2, a2      # -2_146_435_072
+	add     a2, a2, a3      # -2_147_483_136
+	addi    a0, a2, -512    # -2_147_483_648
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/add_min_minus_one.s b/vm/programs/asm/add_min_minus_one.s
@@ -0,0 +1,31 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, -2047 # -2_047
+	add     a2, a2, a2      # -4_094
+	add     a2, a2, a2      # -8_188
+	add     a2, a2, a2      # -16_376
+	add     a2, a2, a2      # -32_752
+	add     a2, a2, a2      # -65_504
+	add     a2, a2, a2      # -131_008
+	add     a2, a2, a2      # -262_016
+	add     a2, a2, a2      # -524_032
+	add     a3, a2, a2      # -1_048_064
+	add     a2, a3, a3      # -2_096_128
+	add     a2, a2, a2      # -4_192_256
+	add     a2, a2, a2      # -8_384_512
+	add     a2, a2, a2      # -16_769_024
+	add     a2, a2, a2      # -33_538_048
+	add     a2, a2, a2      # -67_076_096
+	add     a2, a2, a2      # -134_152_192
+	add     a2, a2, a2      # -268_304_384
+	add     a2, a2, a2      # -536_608_768
+	add     a2, a2, a2      # -1_073_217_536
+	add     a2, a2, a2      # -2_146_435_072
+	add     a2, a2, a3      # -2_147_483_136
+	addi    a0, a2, -512    # -2_147_483_648
+	addi    a0, a0, -1      # 2_147_483_647 (overflow)
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/add_neg.s b/vm/programs/asm/add_neg.s
@@ -0,0 +1,10 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, -10
+	addi	a3, zero, 20
+	add     a0, a2, a3
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/addi_255.s b/vm/programs/asm/addi_255.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, 255
+	addi    a0, a2, 0
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/addi_max.s b/vm/programs/asm/addi_max.s
@@ -0,0 +1,8 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a0, zero, 2047
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/addi_min.s b/vm/programs/asm/addi_min.s
@@ -0,0 +1,8 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a0, zero, -2048
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/addi_minus_one.s b/vm/programs/asm/addi_minus_one.s
@@ -0,0 +1,8 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a0, zero, -1
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/addi_one.s b/vm/programs/asm/addi_one.s
@@ -0,0 +1,8 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a0, zero, 1
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/addi_reg.s b/vm/programs/asm/addi_reg.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, 10
+	addi    a0, a2, 20
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/addi_reg_max.s b/vm/programs/asm/addi_reg_max.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, 2047
+	addi    a0, a2, 33
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/addi_reg_min.s b/vm/programs/asm/addi_reg_min.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, -2048
+	addi    a0, a2, -22
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/andi.s b/vm/programs/asm/andi.s
@@ -0,0 +1,8 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	andi	a0, zero, 0x00
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/andi_max.s b/vm/programs/asm/andi_max.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, 0xFFFFFFFF # -1
+	andi	a0, a2, 0xFFFFFFFF
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/andi_one.s b/vm/programs/asm/andi_one.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, 0x01
+	andi	a0, a2, 0x01
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/andi_one_and_two.s b/vm/programs/asm/andi_one_and_two.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a2, zero, 0x01
+	andi	a0, a2, 0x02
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/andi_one_and_zero.s b/vm/programs/asm/andi_one_and_zero.s
@@ -0,0 +1,8 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	andi	a0, zero, 0x01
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/ori.s b/vm/programs/asm/ori.s
@@ -0,0 +1,8 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	ori	    a0, zero, 0x00
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/ori_five_and_four.s b/vm/programs/asm/ori_five_and_four.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	ori	    a2, zero, 0x04
+	ori	    a0, a2, 0x05
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/ori_max.s b/vm/programs/asm/ori_max.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	ori	    a2, zero, 0xFFFFFFFF
+	ori	    a0, a2, 0xFFFFFFFF
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/ori_one.s b/vm/programs/asm/ori_one.s
@@ -0,0 +1,8 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	ori	    a0, zero, 0x01
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/ori_one_and_one.s b/vm/programs/asm/ori_one_and_one.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	ori	    a2, zero, 0x01
+	ori	    a0, a2, 0x01
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/ori_three_and_five.s b/vm/programs/asm/ori_three_and_five.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	ori	    a2, zero, 0x03   # 0011
+	ori	    a0, a2, 0x05     # 0101
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/ori_two_and_one.s b/vm/programs/asm/ori_two_and_one.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	ori	    a2, zero, 0x01
+	ori	    a0, a2, 0x02
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/slli.s b/vm/programs/asm/slli.s
@@ -0,0 +1,8 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	slli	a0, zero, 0
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/slli_ff_four.s b/vm/programs/asm/slli_ff_four.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi    a2, zero, 0xFF
+	slli    a0, a2, 4
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main
diff --git a/vm/programs/asm/slli_max.s b/vm/programs/asm/slli_max.s
@@ -0,0 +1,9 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi    a2, zero, 0xFFFFFFFF
+	slli    a0, a2, 4
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main