[committed] testsuite: Add testcase for already fixed PR [PR116093]

[Jakub Jelinek]

Hi!

This testcase got fixed with r15-9397 PR119722 fix.

Tested on x86_64-linux -m32/-m64 with vanilla trunk as well
as with r15-9397 fix reverted (where it FAILs), committed
to trunk as obvious.

2025-04-16  Jakub Jelinek  <ja...@redhat.com>

        PR tree-optimization/116093
        * gcc.dg/bitint-122.c: New test.

--- gcc/testsuite/gcc.dg/bitint-122.c.jj
+++ gcc/testsuite/gcc.dg/bitint-122.c
@@ -0,0 +1,20 @@
+/* PR tree-optimization/116093 */
+/* { dg-do run { target bitint } } */
+/* { dg-options "-Og -ftree-vrp -fno-tree-dce" } */
+
+#if __BITINT_MAXWIDTH__ >= 129
+char
+foo (int a, _BitInt (129) b, char c)
+{
+  return c << (5 / b % (0xdb75dbf5 | a));
+}
+#endif
+
+int
+main ()
+{
+#if __BITINT_MAXWIDTH__ >= 129
+  if (foo (0, 6, 1) != 1)
+    __builtin_abort ();
+#endif
+}

        Jakub