casts: Implicit cast for IntegerToReal [skip ci]

OculusMode · Aug 13, 2021 · 69b2cf5 · 69b2cf5
1 parent 7d95272
commit 69b2cf5
Show file tree

Hide file tree

Showing 4 changed files with 28 additions and 0 deletions.
diff --git a/integration_tests/CMakeLists.txt b/integration_tests/CMakeLists.txt
@@ -192,6 +192,7 @@ RUN(NAME parameter_01 LABELS gfortran)
 RUN(NAME parameter_02 LABELS gfortran)
 RUN(NAME parameter_03 LABELS gfortran llvm)
 RUN(NAME parameter_04 LABELS gfortran llvm) # selected_real,int_kind symboltable
+RUN(NAME parameter_05 LABELS gfortran llvm) # Implicit IntegerToReal
 
 RUN(NAME modules_01 LABELS gfortran llvm)
 RUN(NAME modules_02 LABELS gfortran llvm)

diff --git a/integration_tests/parameter_05.f90 b/integration_tests/parameter_05.f90
@@ -0,0 +1,9 @@
+program paramter_05
+  implicit none
+
+  integer, parameter :: x = 5
+  real, parameter :: y = 5
+  real(kind=8), parameter :: z = 5
+  print*, x,y,z
+
+end program paramter_05
diff --git a/src/lfortran/semantics/asr_implicit_cast_rules.h b/src/lfortran/semantics/asr_implicit_cast_rules.h
@@ -130,6 +130,19 @@ class ImplicitCastRules {
                 value = (ASR::expr_t *)ASR::make_ConstantInteger_t(al, a_loc,
                     i, dest_type);
             }
+        } else if ((ASR::cast_kindType)cast_kind == ASR::cast_kindType::IntegerToReal) {
+            if (ASRUtils::expr_value(*convert_can)) {
+                LFORTRAN_ASSERT(ASR::is_a<ASR::Real_t>(*dest_type)
+                 || ASR::is_a<ASR::RealPointer_t>(*dest_type))
+                LFORTRAN_ASSERT(ASR::is_a<ASR::Integer_t>(*ASRUtils::expr_type(*convert_can)))
+                value = ASRUtils::expr_value(*convert_can);
+                LFORTRAN_ASSERT(ASR::is_a<ASR::ConstantInteger_t>(*value))
+                ASR::ConstantInteger_t *i = ASR::down_cast<ASR::ConstantInteger_t>(value);
+                double rval = static_cast<double>(i->m_n);
+                value = (ASR::expr_t *)ASR::make_ConstantReal_t(al, a_loc,
+                    rval, dest_type);
+            }
+
         } else if ((ASR::cast_kindType)cast_kind == ASR::cast_kindType::RealToReal) {
             if (ASRUtils::expr_value(*convert_can)) {
                 LFORTRAN_ASSERT(ASR::is_a<ASR::Real_t>(*dest_type)

diff --git a/tests/tests.toml b/tests/tests.toml
@@ -834,6 +834,11 @@ asr = true
 filename = "../integration_tests/parameter_04.f90"
 asr = true
 
+# IntegerToReal
+[[test]]
+filename = "../integration_tests/parameter_05.f90"
+asr = true
+
 [[test]]
 filename = "do_concurrent1.f90"
 ast = true