shishantbiswas/c3c
1
1
Fork 0
mirror of https://github.com/c3lang/c3c.git synced 2026-02-27 12:01:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix $$unaligned_store arg check and add test. (#1224)

Browse Source 
Fix `$$unaligned_store` arg check and add test.
This commit is contained in:
Christian Buttner
2024-07-04 00:44:32 +02:00
committed by GitHub
parent 210508fe4f
commit 12051e7544
3 changed files with 52 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
lib/std/core/mem.c3
View File

@@ -162,9 +162,9 @@ macro @scatter_aligned(ptrvec, value, bool[<*>] mask, usz $alignment)
}
/**
* @param [in] x "the variable or dereferenced pointer to load."
* @param $alignment "the alignment to assume for the load"
* @return "returns the value of x"
* @param [in] x "The variable or dereferenced pointer to load."
* @param $alignment "The alignment to assume for the load"
* @return "The value of x"
*
* @require @constant_is_power_of_2($alignment) : "The alignment must be a power of two"
**/
@@ -174,13 +174,17 @@ macro @unaligned_load(&x, usz $alignment) @builtin
}
/**
* @require $assignable(y, $typeof(*x)) : "The value doesn't match the variable"
* @param [out] x "The variable or dereferenced pointer to store to."
* @param value "The value to store."
* @param $alignment "The alignment to assume for the store"
* @return "The value of x"
*
* @require $assignable(value, $typeof(*x)) : "The value doesn't match the variable"
* @require @constant_is_power_of_2($alignment) : "The alignment must be a power of two"
**/
macro @unaligned_store(&x, y, usz $alignment) @builtin
macro @unaligned_store(&x, value, usz $alignment) @builtin
{
return $$unaligned_store(x, ($typeof(*x))y, $alignment);
return $$unaligned_store(x, ($typeof(*x))value, $alignment);
}
macro @volatile_load(&x) @builtin