get_resources should use u32 (#395)

HigherOrderCO · Jun 20, 2024 · 996ee01 · 996ee01
2 parents a6e0e9d + 22496af
commit 996ee01
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/hvm.c b/src/hvm.c
@@ -756,7 +756,7 @@ u32 vars_alloc(Net* net, TM* tm, u32 num) {
 }
 
 // Gets the necessary resources for an interaction. Returns success.
-static inline bool get_resources(Net* net, TM* tm, u8 need_rbag, u8 need_node, u8 need_vars) {
+static inline bool get_resources(Net* net, TM* tm, u32 need_rbag, u32 need_node, u32 need_vars) {
   u32 got_rbag = 0xFF; // FIXME: implement
   u32 got_node = node_alloc(net, tm, need_node);
   u32 got_vars = vars_alloc(net, tm, need_vars);

diff --git a/src/hvm.cu b/src/hvm.cu
@@ -1095,7 +1095,7 @@ __device__ void link_pair(Net* net, TM* tm, Pair AB) {
 // ---------
 
 // Gets the necessary resources for an interaction.
-__device__ bool get_resources(Net* net, TM* tm, u8 need_rbag, u8 need_node, u8 need_vars) {
+__device__ bool get_resources(Net* net, TM* tm, u32 need_rbag, u32 need_node, u32 need_vars) {
   u32 got_rbag = min(RLEN - tm->rbag.lo_end, RLEN - tm->rbag.hi_end);
   u32 got_node;
   u32 got_vars;