Skip to content

Rounding variant feature implementation for reference interpreter #13

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
KloudKoder merged 2 commits into from
Jan 11, 2026
Merged

Rounding variant feature implementation for reference interpreter #13

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
6ad6aa2
niv pinned shell.nix for versioning working dependencies
whirlicote Jan 4, 2026
4282db6
ref runtime feature for rounding variants
johngalt-netizen Jan 10, 2026
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
63 changes: 63 additions & 0 deletions interpreter/binary/decode.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -507,6 +507,69 @@ let rec instr s =
| 0x10l -> table_size (at var s)
| 0x11l -> table_fill (at var s)

| 0x80l -> f32_sqrt_ceil
| 0x81l -> f32_add_ceil
| 0x82l -> f32_sub_ceil
| 0x83l -> f32_mul_ceil
| 0x84l -> f32_div_ceil
| 0x85l -> f64_sqrt_ceil
| 0x86l -> f64_add_ceil
| 0x87l -> f64_sub_ceil
| 0x88l -> f64_mul_ceil
| 0x89l -> f64_div_ceil
| 0x8al -> f32_convert_ceil_i32_s
| 0x8bl -> f32_convert_ceil_i32_u
| 0x8cl -> f32_convert_ceil_i64_s
| 0x8dl -> f32_convert_ceil_i64_u
| 0x8el -> f32_demote_ceil_f64
| 0x8fl -> f64_convert_ceil_i32_s
| 0x90l -> f64_convert_ceil_i32_u
| 0x91l -> f64_convert_ceil_i64_s
| 0x92l -> f64_convert_ceil_i64_u
| 0x93l -> f64_promote_ceil_f32

| 0x94l -> f32_sqrt_floor
| 0x95l -> f32_add_floor
| 0x96l -> f32_sub_floor
| 0x97l -> f32_mul_floor
| 0x98l -> f32_div_floor
| 0x99l -> f64_sqrt_floor
| 0x9al -> f64_add_floor
| 0x9bl -> f64_sub_floor
| 0x9cl -> f64_mul_floor
| 0x9dl -> f64_div_floor
| 0x9el -> f32_convert_floor_i32_s
| 0x9fl -> f32_convert_floor_i32_u
| 0xa0l -> f32_convert_floor_i64_s
| 0xa1l -> f32_convert_floor_i64_u
| 0xa2l -> f32_demote_floor_f64
| 0xa3l -> f64_convert_floor_i32_s
| 0xa4l -> f64_convert_floor_i32_u
| 0xa5l -> f64_convert_floor_i64_s
| 0xa6l -> f64_convert_floor_i64_u
| 0xa7l -> f64_promote_floor_f32

| 0xa8l -> f32_sqrt_trunc
| 0xa9l -> f32_add_trunc
| 0xaal -> f32_sub_trunc
| 0xabl -> f32_mul_trunc
| 0xacl -> f32_div_trunc
| 0xadl -> f64_sqrt_trunc
| 0xael -> f64_add_trunc
| 0xafl -> f64_sub_trunc
| 0xb0l -> f64_mul_trunc
| 0xb1l -> f64_div_trunc
| 0xb2l -> f32_convert_trunc_i32_s
| 0xb3l -> f32_convert_trunc_i32_u
| 0xb4l -> f32_convert_trunc_i64_s
| 0xb5l -> f32_convert_trunc_i64_u
| 0xb6l -> f32_demote_trunc_f64
| 0xb7l -> f64_convert_trunc_i32_s
| 0xb8l -> f64_convert_trunc_i32_u
| 0xb9l -> f64_convert_trunc_i64_s
| 0xbal -> f64_convert_trunc_i64_u
| 0xbbl -> f64_promote_trunc_f32

| n -> illegal2 s pos b n
)

Expand Down
70 changes: 70 additions & 0 deletions interpreter/binary/encode.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -468,6 +468,76 @@ struct
| Convert (F64 F64Op.ConvertUI32) -> op 0xb8
| Convert (F64 F64Op.ConvertSI64) -> op 0xb9
| Convert (F64 F64Op.ConvertUI64) -> op 0xba

| Unary (F32 F32Op.SqrtCeil) -> op 0xfc; u32 0x80l
| Binary (F32 F32Op.AddCeil) -> op 0xfc; u32 0x81l
| Binary (F32 F32Op.SubCeil) -> op 0xfc; u32 0x82l
| Binary (F32 F32Op.MulCeil) -> op 0xfc; u32 0x83l
| Binary (F32 F32Op.DivCeil) -> op 0xfc; u32 0x84l
| Unary (F64 F64Op.SqrtCeil) -> op 0xfc; u32 0x85l
| Binary (F64 F64Op.AddCeil) -> op 0xfc; u32 0x86l
| Binary (F64 F64Op.SubCeil) -> op 0xfc; u32 0x87l
| Binary (F64 F64Op.MulCeil) -> op 0xfc; u32 0x88l
| Binary (F64 F64Op.DivCeil) -> op 0xfc; u32 0x89l
| Convert (F32 F32Op.ConvertCeilSI32) -> op 0xfc; u32 0x8al
| Convert (F32 F32Op.ConvertCeilUI32) -> op 0xfc; u32 0x8bl
| Convert (F32 F32Op.ConvertCeilSI64) -> op 0xfc; u32 0x8cl
| Convert (F32 F32Op.ConvertCeilUI64) -> op 0xfc; u32 0x8dl
| Convert (F32 F32Op.DemoteCeilF64) -> op 0xfc; u32 0x8el
| Convert (F64 F64Op.ConvertCeilSI32) -> op 0xfc; u32 0x8fl
| Convert (F64 F64Op.ConvertCeilUI32) -> op 0xfc; u32 0x90l
| Convert (F64 F64Op.ConvertCeilSI64) -> op 0xfc; u32 0x91l
| Convert (F64 F64Op.ConvertCeilUI64) -> op 0xfc; u32 0x92l
| Convert (F64 F64Op.PromoteCeilF32) -> op 0xfc; u32 0x93l
| Convert (F32 F32Op.PromoteCeilF32) -> error e.at "illegal instruction f32.promote_ceil_f32"
| Convert (F64 F64Op.DemoteCeilF64) -> error e.at "illegal instruction f64.demote_ceil_f64"

| Unary (F32 F32Op.SqrtFloor) -> op 0xfc; u32 0x94l
| Binary (F32 F32Op.AddFloor) -> op 0xfc; u32 0x95l
| Binary (F32 F32Op.SubFloor) -> op 0xfc; u32 0x96l
| Binary (F32 F32Op.MulFloor) -> op 0xfc; u32 0x97l
| Binary (F32 F32Op.DivFloor) -> op 0xfc; u32 0x98l
| Unary (F64 F64Op.SqrtFloor) -> op 0xfc; u32 0x99l
| Binary (F64 F64Op.AddFloor) -> op 0xfc; u32 0x9al
| Binary (F64 F64Op.SubFloor) -> op 0xfc; u32 0x9bl
| Binary (F64 F64Op.MulFloor) -> op 0xfc; u32 0x9cl
| Binary (F64 F64Op.DivFloor) -> op 0xfc; u32 0x9dl
| Convert (F32 F32Op.ConvertFloorSI32) -> op 0xFc; u32 0x9el
| Convert (F32 F32Op.ConvertFloorUI32) -> op 0xFc; u32 0x9Fl
| Convert (F32 F32Op.ConvertFloorSI64) -> op 0xFc; u32 0xa0l
| Convert (F32 F32Op.ConvertFloorUI64) -> op 0xFc; u32 0xa1l
| Convert (F32 F32Op.DemoteFloorF64) -> op 0xFc; u32 0xa2l
| Convert (F64 F64Op.ConvertFloorSI32) -> op 0xFc; u32 0xa3l
| Convert (F64 F64Op.ConvertFloorUI32) -> op 0xFc; u32 0xa4l
| Convert (F64 F64Op.ConvertFloorSI64) -> op 0xFc; u32 0xa5l
| Convert (F64 F64Op.ConvertFloorUI64) -> op 0xFc; u32 0xa6l
| Convert (F64 F64Op.PromoteFloorF32) -> op 0xFc; u32 0xa7l
| Convert (F32 F32Op.PromoteFloorF32) -> error e.at "illegal instruction f32.promote_ceil_f32"
| Convert (F64 F64Op.DemoteFloorF64) -> error e.at "illegal instruction f64.demote_ceil_f64"

| Unary (F32 F32Op.SqrtTrunc) -> op 0xfc; u32 0xa8l
| Binary (F32 F32Op.AddTrunc) -> op 0xfc; u32 0xa9l
| Binary (F32 F32Op.SubTrunc) -> op 0xfc; u32 0xaal
| Binary (F32 F32Op.MulTrunc) -> op 0xfc; u32 0xabl
| Binary (F32 F32Op.DivTrunc) -> op 0xfc; u32 0xacl
| Unary (F64 F64Op.SqrtTrunc) -> op 0xfc; u32 0xadl
| Binary (F64 F64Op.AddTrunc) -> op 0xfc; u32 0xael
| Binary (F64 F64Op.SubTrunc) -> op 0xfc; u32 0xafl
| Binary (F64 F64Op.MulTrunc) -> op 0xfc; u32 0xb0l
| Binary (F64 F64Op.DivTrunc) -> op 0xfc; u32 0xb1l
| Convert (F32 F32Op.ConvertTruncSI32) -> op 0xfc; u32 0xb2l
| Convert (F32 F32Op.ConvertTruncUI32) -> op 0xfc; u32 0xb3l
| Convert (F32 F32Op.ConvertTruncSI64) -> op 0xfc; u32 0xb4l
| Convert (F32 F32Op.ConvertTruncUI64) -> op 0xfc; u32 0xb5l
| Convert (F32 F32Op.DemoteTruncF64) -> op 0xfc; u32 0xb6l
| Convert (F64 F64Op.ConvertTruncSI32) -> op 0xfc; u32 0xb7l
| Convert (F64 F64Op.ConvertTruncUI32) -> op 0xfc; u32 0xb8l
| Convert (F64 F64Op.ConvertTruncSI64) -> op 0xfc; u32 0xb9l
| Convert (F64 F64Op.ConvertTruncUI64) -> op 0xfc; u32 0xbal
| Convert (F64 F64Op.PromoteTruncF32) -> op 0xfc; u32 0xbbl
| Convert (F32 F32Op.PromoteTruncF32) -> error e.at "illegal instruction f32.promote_trunc_f32"
| Convert (F64 F64Op.DemoteTruncF64) -> error e.at "illegal instruction f64.demote_trunc_f64"

| Convert (F64 F64Op.PromoteF32) -> op 0xbb
| Convert (F64 F64Op.DemoteF64) ->
error e.at "illegal instruction f64.demote_f64"
Expand Down
1 change: 1 addition & 0 deletions interpreter/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@

(library
(public_name wasm)
(libraries mopsa.mopsa_utils)
; The 'wasm' module shall not be part of the library, as it would start the
; Wasm REPL every time in all the dependencies.
; We exclude the 'wast' module as it is only used for the JS build.
Expand Down
Loading
Loading