[gcc/devel/rust/master] Allow float type to be casted as integer type

[Thomas Schwinge]

https://gcc.gnu.org/g:c960e034f3d66f88127818cabfd486e68d717872

commit c960e034f3d66f88127818cabfd486e68d717872
Author: Nobel <nobel2073@gmail.com>
Date:   Sat Dec 21 23:56:39 2024 +0545

    Allow float type to be casted as integer type
    
    gccrs now should be able to cast float types as numeric.
    
    gcc/rust/ChangeLog:
    
            * typecheck/rust-casts.cc (TypeCastRules::cast_rules): Add rule.
    
    gcc/testsuite/ChangeLog:
    
            * rust/compile/cast_float_as_integer.rs: New test.
    
    Signed-off-by: Nobel Singh <nobel2073@gmail.com>

Diff:
---
 gcc/rust/typecheck/rust-casts.cc                    |  6 ++++++
 gcc/testsuite/rust/compile/cast_float_as_integer.rs | 10 ++++++++++
 2 files changed, 16 insertions(+)

diff --git a/gcc/rust/typecheck/rust-casts.cc b/gcc/rust/typecheck/rust-casts.cc
index c1996ca5a083..99f84f30e38d 100644
--- a/gcc/rust/typecheck/rust-casts.cc
+++ b/gcc/rust/typecheck/rust-casts.cc
@@ -235,6 +235,12 @@ TypeCastRules::cast_rules ()
     case TyTy::TypeKind::FLOAT:
       switch (to.get_ty ()->get_kind ())
 	{
+	case TyTy::TypeKind::USIZE:
+	case TyTy::TypeKind::ISIZE:
+	case TyTy::TypeKind::UINT:
+	case TyTy::TypeKind::INT:
+	  return TypeCoercionRules::CoercionResult{{}, to.get_ty ()->clone ()};
+
 	case TyTy::TypeKind::FLOAT:
 	  return TypeCoercionRules::CoercionResult{{}, to.get_ty ()->clone ()};
 
diff --git a/gcc/testsuite/rust/compile/cast_float_as_integer.rs b/gcc/testsuite/rust/compile/cast_float_as_integer.rs
new file mode 100644
index 000000000000..e6b86db8a664
--- /dev/null
+++ b/gcc/testsuite/rust/compile/cast_float_as_integer.rs
@@ -0,0 +1,10 @@
+// { dg-options "-w" }
+fn main(){
+    let foo:f64 = 13.37;
+    let _ = foo as i64;
+    let _ = foo as u64;
+    let _ = foo as isize;
+    let _ = foo as usize;
+    let _ = foo as i8;
+    let _ = foo as u8;
+}