M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 10
Code Issues 98 Pull Requests 20 Releases Wiki Activity

min, max, abs support (#201, #206) #216

Merged
sb10q merged 1 commits from min_max_abs into master 2024-08-17 17:37:19 +08:00
Conversation 2 Commits 1 Files Changed 2 +26 -1
2 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
nac3standalone/demo/demo.rs
View File

@ -40,7 +40,9 @@ pub extern "C" fn output_uint64(x: u64) {
#[no_mangle]
pub extern "C" fn output_float64(x: f64) {
println!("{}", x);
// debug output to preserve the digits after the decimal points
// to match python `print` function
println!("{:?}", x);
}
#[no_mangle]

23
nac3standalone/demo/src/min_max_abs.py
View File

@ -65,4 +65,27 @@ def run() -> int32:
output_float64(max(-12.234, 3.23))
output_float64(max(0.1, 12.3))
output_float64(max(1.1, 1.1))
# abs ===========
output_int32(int32(abs(False)))
output_int32(int32(abs(True)))
output_int32(abs(0))
output_int32(abs(-3))
output_int32(abs(2))
output_int64(abs(int64(-12)))
output_int64(abs(int64(0)))
output_int64(abs(int64(2)))
output_uint32(abs(uint32(0)))
output_uint32(abs(uint32(24)))
output_uint64(abs(uint64(0)))
output_uint64(abs(uint64(24)))
output_float64(abs(-12.234))
output_float64(abs(-0.0))
output_float64(abs(1.1))
return 0