diff --git a/src/SysYIR/Type.cpp b/src/SysYIR/Type.cpp
index 8a5af15..a69b3de 100644
--- a/src/SysYIR/Type.cpp
+++ b/src/SysYIR/Type.cpp
@@ -240,7 +240,7 @@ ArrayType::ArrayType(Type *contained, unsigned num_elements)
 
 bool ArrayType::is_valid_element_type(Type *ty)
 {
-    return ty->is_integer_type()||ty->is_array_type();
+    return ty->is_integer_type()||ty->is_array_type()||ty->is_float_type();
 }
 
 ArrayType *ArrayType::get(Type *contained, unsigned num_elements)