#define uint unsigned int

uint xtc_umul_ytc(uint x, uint y) { return (x * 3) * (y * 2); }

/*
 * check-name: canonical-muldiv
 * check-description:
 *      1) verify that constants in mul chains are
 *         pushed at the right of the whole chain.
 *         For example '(a * 3) * b' must be canonicalized into '(a * b) * 1'
 *         This is needed in general for constant simplification;
 *         for example, for:
 *              '(a * 3) * (b * 2)'
 *         to be simplified into:
 *              '(a * b) * 6'
 *
 * check-command: test-linearize -Wno-decl $file
 * check-known-to-fail
 * check-output-ignore
 *
 * check-output-excludes: \\$3
 * check-output-excludes: \\$2
 * check-output-contains: \\$6
 */