ilo 0.11.2

ilo — a programming language for AI agents
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103

// Cross-engine smoke tests for the extra transcendental math builtins
// (tan, log10, log2, atan2). Each is checked against tree, vm, and
// cranelift, mirroring regression_math_builtins.rs.

use std::process::Command;

fn ilo() -> Command {
    Command::new(env!("CARGO_BIN_EXE_ilo"))
}

fn run_num(engine: &str, src: &str) -> f64 {
    let out = ilo()
        .args([src, engine, "f"])
        .output()
        .expect("failed to run ilo");
    assert!(
        out.status.success(),
        "ilo {engine} failed for `{src}`: stderr={}",
        String::from_utf8_lossy(&out.stderr)
    );
    String::from_utf8_lossy(&out.stdout)
        .trim()
        .parse::<f64>()
        .expect("expected numeric output")
}

fn approx(engine: &str, src: &str, expected: f64) {
    let actual = run_num(engine, src);
    assert!(
        (actual - expected).abs() < 1e-10,
        "engine={engine} src=`{src}`: got {actual}, expected {expected}"
    );
}

fn check_all(src: &str, expected: f64) {
    approx("--run-tree", src, expected);
    approx("--run-vm", src, expected);
    #[cfg(feature = "cranelift")]
    approx("--run-cranelift", src, expected);
}

#[test]
fn tan_zero() {
    check_all("f>n;tan 0", 0.0);
}

#[test]
fn tan_quarter_pi() {
    check_all("f>n;tan 0.7853981633974483", 1.0);
}

#[test]
fn log10_hundred() {
    check_all("f>n;log10 100", 2.0);
}

#[test]
fn log10_one() {
    check_all("f>n;log10 1", 0.0);
}

#[test]
fn log2_eight() {
    check_all("f>n;log2 8", 3.0);
}

#[test]
fn log2_one() {
    check_all("f>n;log2 1", 0.0);
}

#[test]
fn atan2_first_quadrant() {
    // atan2(y=1, x=1) = pi/4 (first quadrant)
    check_all("f>n;atan2 1 1", std::f64::consts::FRAC_PI_4);
}

#[test]
fn atan2_second_quadrant() {
    // atan2(y=1, x=-1) = 3*pi/4 (second quadrant, positive y, negative x)
    check_all("f>n;atan2 1 -1", 3.0 * std::f64::consts::FRAC_PI_4);
}

#[test]
fn atan2_third_quadrant() {
    // atan2(y=-1, x=-1) = -3*pi/4 (third quadrant, both negative)
    check_all("f>n;atan2 -1 -1", -3.0 * std::f64::consts::FRAC_PI_4);
}

#[test]
fn atan2_fourth_quadrant() {
    // atan2(y=-1, x=1) = -pi/4 (fourth quadrant, negative y, positive x)
    check_all("f>n;atan2 -1 1", -std::f64::consts::FRAC_PI_4);
}

#[test]
fn atan2_argument_order() {
    // Confirms y-first, x-second order (C/Python convention).
    // atan2(0, 1) = 0 (point on positive x-axis)
    // atan2(1, 0) = pi/2 (point on positive y-axis)
    check_all("f>n;atan2 0 1", 0.0);
    check_all("f>n;atan2 1 0", std::f64::consts::FRAC_PI_2);
}