diff options
| -rw-r--r-- | patio-to-cranelift/src/codegen/values.rs | 31 |
1 files changed, 28 insertions, 3 deletions
diff --git a/patio-to-cranelift/src/codegen/values.rs b/patio-to-cranelift/src/codegen/values.rs index abc43459..74eaa669 100644 --- a/patio-to-cranelift/src/codegen/values.rs +++ b/patio-to-cranelift/src/codegen/values.rs @@ -26,8 +26,12 @@ fn write_data_value( match value { PatioDataValue::Array { element_layout: _, - elements: _, - } => todo!(), + elements, + } => { + for element in elements { + write_data_value(element, bytes, target_triple); + } + } PatioDataValue::Bool(value) => bytes.push(if *value { 1 } else { 0 }), @@ -75,7 +79,10 @@ pub(crate) fn eval_int_value(value: &PatioIntValue, target_triple: &target_lexic mod data_value_to_bytes_test { use std::str::FromStr; - use crate::patio::values::{PatioDataValue, PatioIntValue}; + use crate::patio::{ + types::PatioDataLayout, + values::{PatioDataValue, PatioIntValue}, + }; fn data_value_to_bytes(data_value: PatioDataValue) -> Box<[u8]> { super::data_value_to_bytes( @@ -85,6 +92,24 @@ mod data_value_to_bytes_test { } #[test] + fn array_is_written_as_elements() { + let data_value = PatioDataValue::Array { + element_layout: PatioDataLayout::Int32, + elements: vec![ + PatioDataValue::Int32(PatioIntValue::Literal { value: 0x12345678 }), + PatioDataValue::Int32(PatioIntValue::Literal { value: 0x23456789 }), + ], + }; + + let bytes = data_value_to_bytes(data_value); + + assert_eq!( + bytes.as_ref(), + &[0x78, 0x56, 0x34, 0x12, 0x89, 0x67, 0x45, 0x23] + ); + } + + #[test] fn false_is_single_byte_0() { let data_value = PatioDataValue::Bool(false); |