Allow constant-folding of arbitrary-precision integer casts

frontends/common/constantFolding.cpp

@@ -808,6 +808,16 @@ const IR::Node *DoConstantFolding::postorder(IR::Cast *e) {
         } else {
             return e;
         }
+    } else if (etype->is<IR::Type_InfInt>()) {
+        if (const auto *constant = expr->to<IR::Constant>()) {
+            const auto *ctype = constant->type;
+            if (!ctype->is<IR::Type_Bits>() && !ctype->is<IR::Type_InfInt>()) {
+                ::error(ErrorType::ERR_INVALID, "%1%: Cannot cast %1% to arbitrary presion integer",
+                        ctype);
+                return e;
+            }
+            return new IR::Constant(e->srcInfo, etype, constant->value, constant->base);
+        }
     } else if (etype->is<IR::Type_Boolean>()) {
         if (expr->is<IR::BoolLiteral>()) return expr;
         if (expr->is<IR::Constant>()) {

testdata/p4_16_samples_outputs/issue2444-first.p4

@@ -1,7 +1,7 @@
 const int a = 1;
 const bool b = true;
-const int z = (int)2w1;
-const bool w = (bool)(int)2w1;
+const int z = 1;
+const bool w = true;
 const int z1 = 1;
 const bool w1 = true;
 const int z2 = 3;

testdata/p4_16_samples_outputs/issue3219-first.p4

@@ -1,9 +1,9 @@
 bit<4> func1() {
-    bit<4> t = (bit<4>)(int)1;
+    bit<4> t = 4w1;
     return t;
 }
 bit<4> func2() {
-    bit<4> t = (bit<4>)(int)4w1;
+    bit<4> t = 4w1;
     return t;
 }
 control c(out bit<4> result) {

testdata/p4_16_samples_outputs/issue3219-frontend.p4

@@ -2,7 +2,7 @@ control c(out bit<4> result) {
     @name("c.retval") bit<4> retval;
     @name("c.t") bit<4> t_0;
     apply {
-        t_0 = (bit<4>)(int)1;
+        t_0 = 4w1;
         retval = t_0;
         result = retval;
     }

testdata/p4_16_samples_outputs/issue3219-midend.p4

@@ -1,6 +1,6 @@
 control c(out bit<4> result) {
     @hidden action issue3219l13() {
-        result = (bit<4>)(int)1;
+        result = 4w1;
     }
     @hidden table tbl_issue3219l13 {
         actions = {