Struct CompilerProperties 

pub struct CompilerProperties;

Compiler properties to verify

Implementations

impl CompilerProperties

pub fn arithmetic_overflow_consistency() -> impl Strategy<Value = (i32, i32)>

Property: Arithmetic operations don’t overflow without detection

For any WASM arithmetic operation, if it overflows, the ARM code must also overflow in the same way (wrapping semantics).

pub fn bitwise_bit_precision() -> impl Strategy<Value = (u32, u32)>

Property: Bitwise operations are bit-precise

For any WASM bitwise operation, the ARM code must produce identical bit patterns for all possible inputs.

pub fn comparison_correctness() -> impl Strategy<Value = (i32, i32)>

Property: Comparison operations produce correct boolean results

pub fn shift_edge_cases() -> impl Strategy<Value = (i32, u32)>

Property: Shift operations handle edge cases correctly

Shifts by >= 32 bits should behave according to WASM spec (result is the original value shifted by (amount % 32))

pub fn division_by_zero() -> impl Strategy<Value = i32>

Property: Division by zero handling

WASM traps on division by zero, ARM behavior may differ

pub fn optimization_soundness() -> impl Strategy<Value = Vec<WasmOp>>

Property: Optimization preserves semantics

For any sequence of operations, optimized and unoptimized versions must produce identical results.