[gcc/devel/rust/master] typecheck: add is_primitive_type_kind helper

[gcc/devel/rust/master] typecheck: add is_primitive_type_kind helper

[Thomas Schwinge]

https://gcc.gnu.org/g:502c8a859750064103bb71f4d559cef7b1c1b8af

commit 502c8a859750064103bb71f4d559cef7b1c1b8af
Author: David Faust <david.faust@oracle.com>
Date:   Tue May 10 11:19:40 2022 -0700

    typecheck: add is_primitive_type_kind helper

Diff:
---
 gcc/rust/typecheck/rust-tyty.cc | 20 ++++++++++++++++++++
 gcc/rust/typecheck/rust-tyty.h  |  3 +++
 2 files changed, 23 insertions(+)

diff --git a/gcc/rust/typecheck/rust-tyty.cc b/gcc/rust/typecheck/rust-tyty.cc
index 6b034ea63a7..d0e8b761622 100644
--- a/gcc/rust/typecheck/rust-tyty.cc
+++ b/gcc/rust/typecheck/rust-tyty.cc
@@ -113,6 +113,26 @@ TypeKindFormat::to_string (TypeKind kind)
   gcc_unreachable ();
 }
 
+bool
+is_primitive_type_kind (TypeKind kind)
+{
+  switch (kind)
+    {
+    case TypeKind::BOOL:
+    case TypeKind::CHAR:
+    case TypeKind::INT:
+    case TypeKind::UINT:
+    case TypeKind::ISIZE:
+    case TypeKind::USIZE:
+    case TypeKind::FLOAT:
+    case TypeKind::NEVER:
+    case TypeKind::STR:
+      return true;
+    default:
+      return false;
+    }
+}
+
 bool
 BaseType::satisfies_bound (const TypeBoundPredicate &predicate) const
 {
diff --git a/gcc/rust/typecheck/rust-tyty.h b/gcc/rust/typecheck/rust-tyty.h
index 5f35c320a5f..a2950e97b56 100644
--- a/gcc/rust/typecheck/rust-tyty.h
+++ b/gcc/rust/typecheck/rust-tyty.h
@@ -67,6 +67,9 @@ enum TypeKind
   ERROR
 };
 
+extern bool
+is_primitive_type_kind (TypeKind kind);
+
 class TypeKindFormat
 {
 public: