/* PR tree-optimization/112994 */
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */
/* { dg-final { scan-tree-dump-times "return 2;" 3 "optimized" } } */
/* { dg-final { scan-tree-dump-times "return 7;" 3 "optimized" } } */
/* { dg-final { scan-tree-dump-times "return -7;" 2 "optimized" } } */

int f1 (int x) { return (x * 4) / (x * 2); }
int f2 (int x) { return (x * 56) / (x * 8); }
int f3 (int x) { return (x * 56) / (x * -8); }
int f4 (int x) { int y = x * 4; return y / (x * 2); }
int f5 (int x) { int y = x * 56; return y / (x * 8); }
int f6 (int x) { int y = x * 56; return y / (x * -8); }
unsigned f7 (unsigned x) { if (x > ~0U / 4) __builtin_unreachable (); unsigned y = x * 4; return y / (x * 2); }
unsigned f8 (unsigned x) { if (x > ~0U / 56) __builtin_unreachable (); unsigned y = x * 56; return y / (x * 8); }