From 5c564e39cea1c6c2e693e25e25f3ed4746fac79e Mon Sep 17 00:00:00 2001 From: Spica Date: Wed, 25 Dec 2024 14:01:41 -0500 Subject: [PATCH] Update xdsl_smt/utils/transfer_function_check_util.py Co-authored-by: Fehr Mathieu --- xdsl_smt/utils/transfer_function_check_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xdsl_smt/utils/transfer_function_check_util.py b/xdsl_smt/utils/transfer_function_check_util.py index d44ff695..279af84d 100644 --- a/xdsl_smt/utils/transfer_function_check_util.py +++ b/xdsl_smt/utils/transfer_function_check_util.py @@ -98,7 +98,7 @@ def valid_abstract_domain_check( """ Given the transfer function and a set of integer attributes associated with the function, -returns if the attr set makes the operation valid. +returns a boolean SSA Value that checks if the operation is valid. For example: trunc %a from i32 to i64 (invalid) trunc %a from i5 to i3 (valid)