_Bool sel_lts(int a, int b, int x, int y)
{
	return ((a < b) ? x : y) == ((a >= b) ? y : x);
}
_Bool sel_les(int a, int b, int x, int y)
{
	return ((a <= b) ? x : y) == ((a > b) ? y : x);
}

_Bool sel_ltu(unsigned int a, unsigned int b, int x, int y)
{
	return ((a < b) ? x : y) == ((a >= b) ? y : x);
}
_Bool sel_leu(unsigned int a, unsigned int b, int x, int y)
{
	return ((a <= b) ? x : y) == ((a > b) ? y : x);
}

/*
 * check-name: canonical-cmps-sel
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-ignore
 * check-output-returns: 1
 */