From 855aad08ccf87d13bfda84e03476879e2ab622c4 Mon Sep 17 00:00:00 2001 From: xunilrj Date: Mon, 15 Dec 2025 14:27:58 -0300 Subject: [PATCH] update tests --- .../language/type_layout/logs.snap | 36 +++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 test/src/e2e_vm_tests/test_programs/should_pass/language/type_layout/logs.snap diff --git a/test/src/e2e_vm_tests/test_programs/should_pass/language/type_layout/logs.snap b/test/src/e2e_vm_tests/test_programs/should_pass/language/type_layout/logs.snap new file mode 100644 index 0000000000..ea52ca16d2 --- /dev/null +++ b/test/src/e2e_vm_tests/test_programs/should_pass/language/type_layout/logs.snap @@ -0,0 +1,36 @@ +--- +source: test/src/e2e_vm_tests/harness_callback_handler.rs +--- +type_info|ir_type|runtime_mem_repr|encoding_mem_repr|is_trivial|type_size +u16|u64|b8|Some(b2)|false|8 +u64|u64|b8|Some(b8)|true|8 +u32|u64|b8|Some(b4)|false|8 +!|never|{}|None|false|0 +()|()|{}|Some({})|true|0 +str[0]|string<0>|b0|Some(b0)|true|0 +[u64; 0]|[u64; 0]|[b8;0]|Some([b8;0])|true|0 +[(); 1]|[(); 1]|[{};1]|Some([{};1])|true|0 +type_layout::S1<()>|{ () }|{{}}|Some({{}})|true|0 +type_layout::S2<(), ()>|{ (), () }|{{},{}}|Some({{},{}})|true|0 +type_layout::S2<(), u64>|{ (), u64 }|{{},b8}|Some({{},b8})|true|8 +type_layout::S2|{ u64, () }|{b8,{}}|Some({b8,{}})|true|8 +type_layout::S2|{ u64, u64 }|{b8,b8}|Some({b8,b8})|true|16 +type_layout::S3<(), (), ()>|{ (), (), () }|{{},{},{}}|Some({{},{},{}})|true|0 +type_layout::S3<(), (), u64>|{ (), (), u64 }|{{},{},b8}|Some({{},{},b8})|true|8 +type_layout::S3<(), u64, ()>|{ (), u64, () }|{{},b8,{}}|Some({{},b8,{}})|true|8 +type_layout::S3<(), u64, u64>|{ (), u64, u64 }|{{},b8,b8}|Some({{},b8,b8})|true|16 +type_layout::S3|{ u64, (), () }|{b8,{},{}}|Some({b8,{},{}})|true|8 +type_layout::S3|{ u64, (), u64 }|{b8,{},b8}|Some({b8,{},b8})|true|16 +type_layout::S3|{ u64, u64, () }|{b8,b8,{}}|Some({b8,b8,{}})|true|16 +type_layout::S3|{ u64, u64, u64 }|{b8,b8,b8}|Some({b8,b8,b8})|true|24 +u8|u8|b1|Some(b1)|true|1 +type_layout::S2|{ u8, () }|{b1,p7,{}}|Some({b1,{}})|false|8 +type_layout::S3|{ u8, (), u8 }|{b1,p7,{},b1,p7}|Some({b1,{},b1})|false|16 +type_layout::E1<()>|{ u64 }|{b8}|Some({b8})|true|8 +type_layout::E2<(), ()>|{ u64 }|{b8}|Some({b8})|true|8 +type_layout::E2<(), u64>|{ u64, ( () | u64 ) }|{b8,({p8}|b8)}|Some({b8,({}|b8)})|false|16 +type_layout::E2|{ u64, ( u64 | () ) }|{b8,(b8|{p8})}|Some({b8,(b8|{})})|false|16 +type_layout::E2|{ u64, ( u64 | u64 ) }|{b8,(b8|b8)}|Some({b8,(b8|b8)})|true|16 +type_layout::E2<(), u8>|{ u64, ( () | u8 ) }|{b8,({p8}|{b1,p7})}|Some({b8,({}|b1)})|false|16 +type_layout::E2|{ u64, ( u8 | () ) }|{b8,({b1,p7}|{p8})}|Some({b8,(b1|{})})|false|16 +type_layout::E2|{ u64, ( u8 | u8 ) }|{b8,({b1,p7}|{b1,p7})}|Some({b8,(b1|b1)})|false|16