[COMMITTED] pkl: Fix definition of PKL_INSN_LUTOLU

[Mohammad-Reza Nabipoor]

2022-01-08  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>

        * libpoke/pkl-insn.def (PKL_INSN_LUTOLU): Fix to use `lutolu`
        insn.
        * poke.pkl/cast-integers-18.pk: New test.
        * testsuite/Makefile.am (EXTRA_DIST): Update.
---
 ChangeLog                              | 7 +++++++
 libpoke/pkl-insn.def                   | 2 +-
 testsuite/Makefile.am                  | 1 +
 testsuite/poke.pkl/cast-integers-18.pk | 6 ++++++
 4 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 testsuite/poke.pkl/cast-integers-18.pk

diff --git a/ChangeLog b/ChangeLog
index 7a7c2cd8..106268f3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2022-01-08  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
+
+       * libpoke/pkl-insn.def (PKL_INSN_LUTOLU): Fix to use `lutolu`
+       insn.
+       * poke.pkl/cast-integers-18.pk: New test.
+       * testsuite/Makefile.am (EXTRA_DIST): Update.
+
 2022-01-06  Jose E. Marchesi  <jemarch@gnu.org>
 
        * libpoke/pkl-gen.pks (struct_field_inserter): Use 64-bit
diff --git a/libpoke/pkl-insn.def b/libpoke/pkl-insn.def
index dbea0d89..918c6435 100644
--- a/libpoke/pkl-insn.def
+++ b/libpoke/pkl-insn.def
@@ -102,7 +102,7 @@ PKL_DEF_INSN(PKL_INSN_LTOLU,"n","ltolu")
 PKL_DEF_INSN(PKL_INSN_LUTOI,"n","lutoi")
 PKL_DEF_INSN(PKL_INSN_LUTOIU,"n","lutoiu")
 PKL_DEF_INSN(PKL_INSN_LUTOL,"n","lutol")
-PKL_DEF_INSN(PKL_INSN_LUTOLU,"n","lutol")
+PKL_DEF_INSN(PKL_INSN_LUTOLU,"n","lutolu")
 
 /* Integer arithmetic instructions.  */
 
diff --git a/testsuite/Makefile.am b/testsuite/Makefile.am
index 843dda8c..f74b4c21 100644
--- a/testsuite/Makefile.am
+++ b/testsuite/Makefile.am
@@ -834,6 +834,7 @@ EXTRA_DIST = \
   poke.pkl/cast-integers-15.pk \
   poke.pkl/cast-integers-16.pk \
   poke.pkl/cast-integers-17.pk \
+  poke.pkl/cast-integers-18.pk \
   poke.pkl/cast-int-struct-1.pk \
   poke.pkl/cast-int-struct-2.pk \
   poke.pkl/cast-int-struct-3.pk \
diff --git a/testsuite/poke.pkl/cast-integers-18.pk 
b/testsuite/poke.pkl/cast-integers-18.pk
new file mode 100644
index 00000000..718b3699
--- /dev/null
+++ b/testsuite/poke.pkl/cast-integers-18.pk
@@ -0,0 +1,6 @@
+/* { dg-do run } */
+
+var x = 1UL;
+
+/* { dg-command {  x as uint<33>  } } */
+/* { dg-output "\\(uint<33>\\) 1" } */
-- 
2.34.1