Jan Beulich 390a67891e x86: use correct register names
VEX.W may be legitimately set (and is then ignored by the CPU) for
non-64-bit code. Don't print 64-bit register names in such a case, by
utilizing that REX_W would never be set for non-64-bit code, and that
it is being set from VEX.W by generic decoding.

A test for this is going to be introduced in the next patch of this
series.
2017-11-15 08:52:05 +01:00
..
2017-05-10 14:42:22 +02:00
2017-11-03 14:38:05 +01:00
2017-07-11 19:18:06 +09:30
2017-11-15 08:52:05 +01:00
2012-12-10 12:48:03 +00:00
2012-12-10 12:48:03 +00:00
2012-12-10 12:48:03 +00:00
2012-12-10 12:48:03 +00:00
2012-12-10 12:48:03 +00:00
2012-12-10 12:48:03 +00:00
2012-12-10 12:48:03 +00:00
2012-12-10 12:48:03 +00:00
2013-01-02 13:13:36 +00:00
2016-01-01 22:59:17 +10:30
2017-01-02 13:55:05 +10:30
2012-12-10 12:48:03 +00:00
2012-12-10 12:48:03 +00:00
2017-07-04 11:15:33 +02:00
2017-06-14 16:29:01 +01:00
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-11-15 08:52:05 +01:00
2017-06-14 16:29:01 +01:00
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-11-07 15:52:52 +10:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-07-11 19:18:06 +09:30
2017-06-17 00:03:02 +09:30
2017-07-21 10:54:06 +02:00
2017-06-14 16:29:01 +01:00