Adapt to SymCC runtime changes

sebastianpoeplau · sebastianpoeplau · commit f6adce999a70 · 2023-01-17T12:00:01.000+01:00
The interface of the SymCC runtime has changed due to eurecom-s3/symcc#108. Fixes #19.
diff --git a/accel/tcg/tcg-runtime-sym.c b/accel/tcg/tcg-runtime-sym.c
@@ -615,7 +615,9 @@ static void *sym_setcond_internal(CPUArchState *env,
     void *condition = handler(arg1_expr, arg2_expr);
     _sym_push_path_constraint(condition, result, get_pc(env));
 
-    return _sym_build_bool_to_bits(condition, result_bits);
+    assert(result_bits > 1);
+    return _sym_build_zext(_sym_build_bool_to_bit(condition),
+                           result_bits - 1);
 }
 
 void *HELPER(sym_setcond_i32)(CPUArchState *env,

Original file line number	Diff line number	Diff line change
`@@ -615,7 +615,9 @@ static void sym_setcond_internal(CPUArchState env,`
`615`	`615`	`void *condition = handler(arg1_expr, arg2_expr);`
`616`	`616`	`_sym_push_path_constraint(condition, result, get_pc(env));`
`617`	`617`
`618`		`- return _sym_build_bool_to_bits(condition, result_bits);`
	`618`	`+ assert(result_bits > 1);`
	`619`	`+ return _sym_build_zext(_sym_build_bool_to_bit(condition),`
	`620`	`+ result_bits - 1);`
`619`	`621`	`}`
`620`	`622`
`621`	`623`	`void HELPER(sym_setcond_i32)(CPUArchState env,`