On 5/3/25 22:28, Pierrick Bouvier wrote:
diff --git a/include/exec/helper-head.h.inc b/include/exec/helper-head.h.inc
index bce5db06ef3..b15256ce14d 100644
--- a/include/exec/helper-head.h.inc
+++ b/include/exec/helper-head.h.inc
@@ -21,6 +21,7 @@
#define dh_alias_f32 i32
#define dh_alias_f64 i64
#define dh_alias_ptr ptr
+#define dh_alias_vaddr vaddr
Use __SIZEOF_POINTER__ to make vaddr alias to i32 or i64.
+TCGv_vaddr tcg_constant_vaddr(vaddr val)
+{
+ TCGType type = __SIZEOF_POINTER__ == 8 ? TCG_TYPE_I64 : TCG_TYPE_I32;
+ return temp_tcgv_vaddr(tcg_constant_internal(type, val));
+}
TCG_TYPE_PTR will work here.
r~
