Julian Seward e221eca26b Add Memcheck support for IROps added in 42719898.
memcheck/mc_translate.c:

Add mkRight{32,64} as right-travelling analogues to mkLeft{32,64}.

doCmpORD: for the cases of a signed comparison against zero, compute
definedness of the 3 result bits (lt,gt,eq) separately, and, for the lt and eq
bits, do it exactly accurately.

expensiveCountTrailingZeroes: no functional change.  Re-analyse/verify and add
comments.

expensiveCountLeadingZeroes: add.  Very similar to
expensiveCountTrailingZeroes.

Add some comments to mark unary ops which are self-shadowing.

Route Iop_Ctz{,Nat}{32,64} through expensiveCountTrailingZeroes.
Route Iop_Clz{,Nat}{32,64} through expensiveCountLeadingZeroes.

Add instrumentation for Iop_PopCount{32,64} and Iop_Reverse8sIn32_x1.

memcheck/tests/vbit-test/irops.c

Add dummy new entries for all new IROps, just enough to make it compile and
run.
2018-11-20 11:28:42 +01:00
..
2018-09-18 22:55:57 +02:00
2017-04-27 07:45:16 +00:00
2018-06-14 17:40:08 +00:00
2014-02-09 11:10:08 +00:00
2009-08-12 00:14:44 +00:00
2009-08-12 00:14:44 +00:00
2014-03-20 23:00:09 +00:00
2009-08-12 00:14:44 +00:00
2011-10-04 03:55:04 +00:00
2006-10-17 01:26:12 +00:00
2009-08-12 00:14:44 +00:00
2011-06-26 12:41:33 +00:00
2011-06-26 12:41:33 +00:00
2011-06-26 12:41:33 +00:00
2017-05-08 17:21:59 +00:00
2012-12-08 17:54:16 +00:00
2012-12-08 17:54:16 +00:00
2012-12-08 17:54:16 +00:00
2012-12-08 17:54:16 +00:00
2006-10-17 01:26:12 +00:00
2006-10-17 01:26:12 +00:00
2017-05-13 10:19:16 +00:00
2017-05-13 10:19:16 +00:00
2006-03-08 13:24:21 +00:00
2009-05-29 00:52:17 +00:00
2005-09-24 19:42:41 +00:00
2005-09-24 19:42:41 +00:00
2005-09-24 19:42:41 +00:00
2006-01-19 03:56:33 +00:00
2009-06-24 04:40:22 +00:00
2006-01-19 03:56:33 +00:00
2018-06-14 17:40:08 +00:00
2018-06-14 17:40:08 +00:00
2008-03-03 01:35:41 +00:00
2006-01-20 16:47:20 +00:00
2006-01-20 16:47:20 +00:00
2006-01-20 16:47:20 +00:00
2006-01-20 14:21:28 +00:00
2006-01-20 14:21:28 +00:00
2006-01-20 14:21:28 +00:00
2006-01-20 14:21:28 +00:00
2006-01-20 14:21:28 +00:00
2005-05-24 14:46:02 +00:00