diff options
Diffstat (limited to 'gcc/sym-exec/expression-is-a-helper.h')
-rw-r--r-- | gcc/sym-exec/expression-is-a-helper.h | 75 |
1 files changed, 73 insertions, 2 deletions
diff --git a/gcc/sym-exec/expression-is-a-helper.h b/gcc/sym-exec/expression-is-a-helper.h index ab9b560..a0fd45c 100644 --- a/gcc/sym-exec/expression-is-a-helper.h +++ b/gcc/sym-exec/expression-is-a-helper.h @@ -14,7 +14,6 @@ is_a_helper <symbolic_bit *>::test (value_bit * ptr) return ptr->get_type () == value_type::SYMBOLIC_BIT; } - template <> template <> inline bool @@ -23,7 +22,6 @@ is_a_helper <bit *>::test (value_bit * ptr) return ptr->get_type () == value_type::BIT; } - template <> template <> inline bool @@ -123,4 +121,77 @@ is_a_helper <bit_condition *>::test (value_bit * ptr) } +template<> +template<> +inline bool +is_a_helper<bit_and_expression *>::test (bit_expression *ptr) +{ + return ptr->get_type () == value_type::BIT_AND_EXPRESSION; +} + +template<> +template<> +inline bool +is_a_helper<bit_or_expression *>::test (bit_expression *ptr) +{ + return ptr->get_type () == value_type::BIT_OR_EXPRESSION; +} + +template<> +template<> +inline bool +is_a_helper<bit_xor_expression *>::test (bit_expression *ptr) +{ + return ptr->get_type () == value_type::BIT_XOR_EXPRESSION; +} + +template<> +template<> +inline bool +is_a_helper<bit_complement_expression *>::test (bit_expression *ptr) +{ + return ptr->get_type () == value_type::BIT_COMPLEMENT_EXPRESSION; +} + +template<> +template<> +inline bool +is_a_helper<shift_left_expression *>::test (bit_expression *ptr) +{ + return ptr->get_type () == value_type::SHIFT_LEFT_EXPRESSION; +} + +template<> +template<> +inline bool +is_a_helper<shift_right_expression *>::test (bit_expression *ptr) +{ + return ptr->get_type () == value_type::SHIFT_RIGHT_EXPRESSION; +} + +template<> +template<> +inline bool +is_a_helper<add_expression *>::test (bit_expression *ptr) +{ + return ptr->get_type () == value_type::ADD_EXPRESSION; +} + +template<> +template<> +inline bool +is_a_helper<sub_expression *>::test (bit_expression *ptr) +{ + return ptr->get_type () == value_type::SUB_EXPRESSION; +} + +template<> +template<> +inline bool +is_a_helper<bit_condition *>::test (bit_expression *ptr) +{ + return ptr->get_type () == value_type::BIT_CONDITION; +} + + #endif /* SYM_EXEC_EXPRESSION_IS_A_HELPER_H. */
\ No newline at end of file |