• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 typedef	  signed int	sint;
2 typedef	unsigned int	uint;
3 
seq(sint p,sint a)4 sint seq(sint p, sint a) { return (123 == p) == (p == 123); }
sne(sint p,sint a)5 sint sne(sint p, sint a) { return (123 != p) == (p != 123); }
6 
slt(sint p,sint a)7 sint slt(sint p, sint a) { return (123 >  p) == (p <  123); }
sle(sint p,sint a)8 sint sle(sint p, sint a) { return (123 >= p) == (p <= 123); }
sge(sint p,sint a)9 sint sge(sint p, sint a) { return (123 <= p) == (p >= 123); }
sgt(sint p,sint a)10 sint sgt(sint p, sint a) { return (123 <  p) == (p >  123); }
11 
ueq(uint p,uint a)12 uint ueq(uint p, uint a) { return (123 == p) == (p == 123); }
une(uint p,uint a)13 uint une(uint p, uint a) { return (123 != p) == (p != 123); }
14 
ubt(uint p,uint a)15 uint ubt(uint p, uint a) { return (123 >  p) == (p <  123); }
ube(uint p,uint a)16 uint ube(uint p, uint a) { return (123 >= p) == (p <= 123); }
uae(uint p,uint a)17 uint uae(uint p, uint a) { return (123 <= p) == (p >= 123); }
uat(uint p,uint a)18 uint uat(uint p, uint a) { return (123 <  p) == (p >  123); }
19 
20 /*
21  * check-name: canonical-cmp
22  * check-description: check that constants move rightside
23  * check-command: test-linearize -Wno-decl $file
24  *
25  * check-output-ignore
26  * check-output-excludes: \\$123,
27  */
28