Clean up initimg-freebsd ascii stack drawing and rationalise darwin VG_STACK_REDZONE_SZB etc

VG_STACK_REDZONE_SZB and related have the same groups of values on x86 and amd64.
Darwin had duplicate definitions so I stuck them all together.

values

s390: Print guest register names symbolically

This is quite convenient when looking at VEX traces obtained during
insn selection and register allocation.

Today this looks like this:
------------------------ Register-allocated code ------------------------

  0   v-evcheck counter = 804(%r13), fail-addr = 808(%r13)
  1   v-test   1424(%r13)             8 bytes
  2   v-call   if (not equal) MC_(helperc_value_check0_fail_no_o){0x8000100C0}()
  3   v-loadi  %r5,0                  8 bytes
  4   v-cmpu   %r5,608(%r13)          8 bytes
  5   v-xdirect if (not equal) 720(%r13) = 0x4038182  fast
  6   v-xdirect if (always) 720(%r13) = 0x4038190  fast

With the change:
------------------------ Register-allocated code ------------------------

  0   v-evcheck counter = guest_EvC_COUNTER, fail-addr = guest_EvC_FAILADDR
  1   v-test   shadow1_r4             8 bytes
  2   v-call   if (not equal) MC_(helperc_value_check0_fail_no_o){0x800010060}()
  3   v-loadi  %r5,0                  8 bytes
  4   v-cmpu   %r5,guest_r4           8 bytes
  5   v-xdirect if (not equal) guest_IA = 0x4038182  fast
  6   v-xdirect if (always) guest_IA = 0x4038190  fast

Guest registers are now written out symbolically:
1424(%r13) becomes shadow1_r4
608(%r13)  becomes guest_r4
720(%r13)  becomes guest_IA

The new behaviour is enabled by default but can be controlled at compile
time by defining SYMBOLIC_REGNAMES as desired.

Bug 390754 - unhandled amd64-darwin syscall: unix:216 (open_dprotected_np)

Simplify condition in VG_(post_syscall)

Darwin syscall: sigwait arguments are not optionally NULL

So always PRE_MEM_READ/WRITE them.

FreeBSD syscall: clean up sigwait wrapper

This is another that returns 0 / errno code. The POST was already
doing the right thing. Changed the PRE to always set SfMayBlock
rather than only if ARG1 is safe to dereference.

Updated testcase.

Bug 516748 - clock_nanosleep was also wrong

clock_nanosleep returns 0 or an errno error code, not 0/-1 and it does not set errno.

The code was copied and pasted from Linux which does return 0/-1.
That means that the POST only needs a POST_MEM_WRITE for ARG4 if
the remainder timespec pointer is not NULL and RES is EINTR.
The error flag is not set so the syscall appears to have succeeded.

FreeBSD README: add a section on syscalls.

With an emphasis on syscall SYS_syscall argument shuffling.

FreeBSD regtest: add lsframe1 and lsframe2

Not only Darwin does not have a version of these tests.

I've been trying to see why lsframe2 is failing on illumos and I saw that
these tests are only for Linux and Solaris. So this adds FreeBSD to
the mix.

Explain why realloc_size_zero does not use Addr.Block and clean up a volatile cast

Darwin syscall: clean up posix_spawn and add to scalar

Darwin syscall: add missing attr argument to posix_spawn wrapper

FreeBSD syscall: add wrapper for pdwait system call

Also add 516748 to NEWS. It's done for FreeBSD and finding syscalls
like that is quite hard.

Clean up setting carry flag in VG_(fixup_guest_state_after_syscall_interrupted)

This wasn't consistent (not at all for Darwin, not checking SfNoWriteResult
on Solaris and a bit long winded on FreeBSD). Simplify the code for all
3 platforms.

FreeBSD syscall: add pdrfork as sys_ni_syscall

rfork with a process descriptor. I'm not sure if we'll ever properly
support any form of rfork.

FreeBSD syscall: typo or copy/paste error in copy_file_range

Was using
       !ML_(fd_allowed)(ARG3, "copy_file_range(infd)", tid, False))
whilst ARGS is outfd, not infd.

FreeBSD syscall: add wrapper for kexec_load

Not sure if it was worth bothering with this (and the checking is
probably incomplete).

Linux and Darwin have this where it is not implemented or sys_ni_syscall.

Bug 516748 - initial fix for FreeBSD posix_fallocate and posix_fadvise

All I wanted to do was add a syscall wrapper for kexec_load and then
I discovered this problem :-(.

When I'm done with kexec_load (and pdrfork and pdwait) I'll get back to this.

FreeBSD regtest: update scalar testcase to check syscalls that return error codes

Leading to Bug 516748

memcheck warnings: cast addresses to void* for %p args in mc_main DEBUG macros

s390 disasm-test: Add new opcodes from Principles of Ops 15th edition

Add opcodes: BDEPG, BEXTG, CLZF, CTZG, LXA[BHFGQ], LLXA[BHFGQ], VBLEND,
VGEM, VD, VDL, VEVAL, VR, VRL
Adjust prerequisite test (needs -march=arch15 now) and expected results.

Fix s390_irgen_VDx: M5 values with one or more reserved bits set do not
cause a specification exception. Found by disasm-test.

Solaris debuglog: fix clobber list for local_sys_write_stderr

There were no registers in the clobber list. RDI is clobbered by the
value 2 for stderr. So back in 'add_to_buf' the next character to
be added to the VG_(debugLog) buffer was getting clobbered with a 2.
Also clobber RCX and R11 (syscall scratch registers).

Bug 503239 - s390x: Vector-enhancements facility 3, division

Add support for the vector instructions VD, VDL, VR, and VRL.  These
perform integer division and remainder operations for lane widths of 32,
64, and 128 bits.

For lane widths up to 64 bit emulate them with existing instructions, by
handling each lane individually.  Also emulate the masking of bad
divisions when the "integer-divide control" bit is set.

For 128-bit integers exploit the new instructions in the emitted code,
since no previous instructions can perform the required calculations, and
emulation would be quite expensive.  Represent the operations in IR with
the existing Iop_DivS128, Iop_DivU128, Iop_ModS128, and Iop_ModU128, and
handle those in host_s390_isel.c appropriately.

This concludes vector-enhancements facility 3 support, so set facility bit
198 on CPUs that have the facility installed.

Bug 503239 - s390x: Vector-enhancements facility 3 (w/o division)

Add support for most of the vector-enhancements facility 3, except for the
vector division and vector remainder instructions.

New instructions:
  VBLEND, VGEM, VEVAL

Added doubleword (64-bit) support:
  VUPH, VUPLH, VUPL, VUPLL
  VMAE, VMALE, VMAO, VMALO
  VME, VMLE, VMO, VMLO

Doubleword and quadword support:
  VMAL, VMAH, VMALH
  VML, VMH, VMLH

Quadword (128-bit) support:
  VAVG, VAVGL
  VEC, VECL
  VCEQ, VCH, VCHL
  VCLZ, VCTZ
  VLC, VLP
  VMX, VMXL, VMN, VMNL

So far the instructions VCEQ, VMAH, VMALH, VCH, and VCHL had been
implemented with the use of dirty helpers.  Replace this by full
emulation.  In particular, now generate IR that calculates the resulting
condition code of VCEQ, VCH, and VCHL.  Since that calculation works the
same for VCEQ, VCH, and VCHL, move it to a new helper routine,
s390_V128_setcc_for_cmp().

Add more routines for common logic where appropriate, such as
s390_V128_add(), s390_V128_CmpGTU(), etc.  This results in code changes
for some instructions that are not touched by the new facility, such as VA
and VREPI.

Since the new support results in fewer specification exceptions, adjust
disasm-test accordingly.

Bug 503238 - s390x: Support misc.-instruction-extensions facility 4

Enable Valgrind to provide the "miscellaneous-instruction-extensions
facility 4", which is first introduced in IBM z17 CPUs and may be
exploited by the compiler when specifying `march=z17'.

In particular, the following new instructions are added:

 * BDEPG and BEXTG -- "bit deposit" and "bit extract"

 * CLZG and CTZG -- "count leading/trailing zeros"

 * LXAB, LLXAB, LXAH, LLXAH, LXAF, LLXAF, LXAG, LLXAG, LXAQ, and LLXAQ --
   "load indexed" and "load logical indexed" with various element sizes

The new instructions are fully emulated.  Still, as usual, Valgrind will
only set the respective facility bit on CPUs that have the bit set
themselves.

s390-runone: --insn now implies --template

In other words: when --insn is given, --template can be omitted.

regtest: Fix prereq test for existence of xmllint.

As suggested by Mark.

Bug 406674 - False positive when reading bitfield value on code compiled with clang 7.0

s390: Use Iop_PopCount64 and emit "popcnt" insn when possible

This requires the miscellaneous-instruction-extensions facility 3.
Detect it in m_machine.c, test for it in s390x_features.c.
Add VEX_HWCAPS_S390X_MI3, s390_host_has_mi3 and S390_INSN_POPCNT.
New functions s390_insn_popcnt and s390_insn_popcnt_emit and s390_emit_POPCNT.
New testcase popcnt-mi3.c carved out of misc3.c

Bug 516090 - Regression : Linux FreeBSD and Darwin: refactor *at syscall dirfd check

Bug 514343 - Add a valgrind.h macro VALGRIND_REPLACES_MALLOC

Also a macro VALGRIND_GET_TOOLNAME

Bug 233298 - Reflect MEMPOOL_FREE in heap summary

There was one missing free increment for autoref pools.

Also added testcases based on memcheck mempool2 and leak-autorefpool.

Original patch contributed by 8dcc <8dcc.git@gmail.com>

This is an update on a patch from 2010:
https://bugsfiles.kde.org/attachment.cgi?id=42491

FreeBSD resgtest: make sure that /proc is mounted as procfs for open_client test

Replace which and type with command -v

which is an external (csh) command which might not be available. type
is a bourn shell builtin, but not necessarily available outside bash.
Use command -v which is POSIX and should work everywhere.

regtest: move /proc test to freebsd for none procfs-cmdline-exe

Fix none/tests/freebsd/Makefile.am: procfs-cmdline-exe..stderr.exp typo

Should have just one dot ('.').

Bug 515992 - Add FreeBSD /proc virtualisation for cmdline and file

regtest: clean out procfs-cmldline-exe vgtest and exp files from Makefile.am

Regtest: split none procfs-cmdline-exe into one version per platform

This was linux and non-linux where non-linux really meant
non-linux non-solaris non-freebsd i.e., darwin only.

I need to add a FreeBSD version (and /proc support for cmdline).

Solaris regtest: make Solaris specific procfs-cmdline-exe.c

Use /proc/pid_or_self/path/a.out rather than /proc/pid_or_self/exe
as in the parent directory.

I'm going to split this test into versions for each platform,
Darwin (with no /proc) can use the Linux one. FreeBSD optionally
has /proc but uses currproc instead of self.

Add bacck the return type for handle_self_exe_open

Linux syswrap: handle_self_exe_open is also now static and Linux only.

Solaris syswrap: make handle_auxx_open a static function

handle_psinfo_open and handle_cmdline_open are Solaris statics but
ML_(handle_auxv_open) was shared between Linux and Solaris. There is
some common code but I find it less confusing to have all 3 statics
in the same place for Solaris.

This makes handle_auxv_open static for both.

syswrap cleanup: remove Solaris references in generic sys_open

On Solaris sys_open is handled in syswrap-solaris.c

Solaris syscall wrapper: add procfs cmdline sp[ecial handling to sys_open

Generally it seems that older Solaris (11.3) and OpenIndiana use 'old'
sys_open and do not have procfs cmdline. Newer Solaris (11.4) uses
sys_openat and has procfs cmdline.

OmniOS mixes both, it uses old sys_open and has procfs cmdline.

s390x: Rename s390_format_VRR*() functions

After having renamed most of the s390_format_*() functions to match the
names in the z/Architecture Principles of Operation, the last remaining
format functions yet to be renamed are the ones dealing with variants of
the VRR format.

Rename the functions accordingly:

  current       new     sample insn
  ------------  -----   -----------
  VRR_VV        VRRa0   vlr
  VRR_VVM       VRRa1   vclz
  VRRa_VVMM     VRRa2   vfsq
  VRRa_VVMMM    VRRa    vcdg
  VRR_VVVMM     VRRb    vceq
  VRR_VVV       VRRc0   vn
  VRR_VVVM      VRRc1   va
  VRRa_VVVMM    VRRc2   vfa
  VRRa_VVVMMM   VRRc    vfmin
  VRRd_VVVVM    VRRd1   vac
  VRRd_VVVVMM   VRRd    vmsl
  VRR_VVVV      VRRe0   vperm
  VRRe_VVVVMM   VRRe    vfma
  VRR_VRR       VRRf    vlvgp

Note that none of these directly cover the VISTR instruction.  But that
can be treated as the VRRa format, where m4 is left unused.  So do that
and remove s390_VRR_VVMM(), which previously existed just for this
purpose.

Also, adjust the names of the VRR*() macros to match the format names.
Drop VRRa_v*() and VRRd_v*() and use VRR_v*() instead, since the vector
fields' positions don't depend on the VRR format variant.

s390x: Simplify interface of vector format functions

Same as with the non-vector instructions, simplify the interface of the
vector format functions.

s390x: Simplify interface of non-vector insn format functions

Each of the format functions in the translator provides common logic for
handling a specific instruction format.  So far a format function's
interface is defined such that it receives instruction operands as
individual arguments.

This means that the extraction of operands from the opcode -- despite
being common for all invocations of the same format function -- is
duplicated every time.  This is error-prone, results in longer code
overall, and makes the invocations more difficult to read.

The code duplication can be avoided by moving the operand extraction to
the format functions themselves.

Do this for all non-vector instruction formats.

Update the LTP version in valgrind testsuite to v20260130

Update the LTP version in valgrind testsuite to v20260130.
All patches from auxprogs/ltp-patches were accepted by LTP
upstream and included in the release, so these can now be
dropped locally.

Solaris regtest: fix build of one x86 SSE test on OmniOS

doc: mention other realloc family functions in realloc size zero error description

Also add C23 making realloc size zero UB.

Bug 515731 - Distinguish between realloc functions in realloc size 0 error messages

s390: Fix VG_(machine_get_size_of_largest_guest_register)

Return 16 if the machine has vector registers.

s390x: Fix handling of KIMD-GHASH

The KIMD-GHASH function of the "compute intermediate message digest"
instruction is missing from the list returned by KIMD-Query, because the
appropriate bit is set in the wrong field of the returned array.  Fix
this.

Darwin: don't print "run:dsymutil" unless VG_(clo_verbosity) > 0

This causes something to end up in stderr.out in regression tests.
There is a filter for it, but that does not apply to tests like
iropt-test that really expect no output and have no stderr filter.

Linux reallocarray: update testcase and expected

FreeBSD reallocarray: behaves like realloc on allocation failure

It was behaving like reallocf which frees the ptr if the allocation
fails. That's wrong, it behaves like realloc which does not free
ptr. Updated the one regression test.

I also noticed that the error message always mentions realloc
even for reallocf and reallocarray.

Add --num-callers change to NEWS

ppc regtest: add another expected for memcheck/tests/linux/rfcomm

This was failing on cfarm120 with diffs like

- in frame #1, created by main (rfcomm.c:26)
+ in frame #0, created by bind (???:)

I'm not sure why there is a change for the frame where the socket
struct is created. cfarm120 doesn't have the glibc dedbuginfo
package installed.

ppc regtest: update expected for none fdleak_ipv4_xml

Should now pass on cfarm120

ppc64le regtest: update a few xml expecteds

DRD regtest: delete second line in callstack of std_thread2 test

Older GCCs generate something quite different. No point trying to
massage it into something common so just delete it.

regtest: broaden a suppression used in memcheck/tests/leak_cpp_interior

The test should now pass on PPC machines.

illumos warnings: malinfo struct fields are 64bit on illumos

Sanity check VG_(realpath) and VG_(readlink) return values

When VG_(realpath) calls VG_(readlink) it failed to check if
VG_(readlink) succeeds, possibly writing to tmp[-1] (on the stack). It
also didn't check the getcwd syscall succeeded, which would cause the
resolved name to start with undefined bits (from the stack).

VG_(data_size) was using too small a (stack) buffer for the
VG_(realpath) call and didn't check whether the call actually
succeeded.

At startup initimg-{darwin,freebsd,linux,solaris} also didn't check
VG_(realpath) would resolve before setting VG_(resolved_exename) to
possibly random bits on the stack. Fix that by using the (unresolved)
exe_name in those cases.

https://bugs.kde.org/show_bug.cgi?id=515612

DRD regtest: one more test case with --num-callers=1

illumos regtest: another assignment in assert for errno

ilumos regtest: update one test that uses --num-callers=1

Bug 515183 - Error occurred while executing the command `valgrind --num-callers=1 ./hello_world`

FreeBSD regtest: incorrect use of = rather then == in asserts

s390: disasm-test: use s390_disasm

No need to capture the disassembled insn from a tracing side effect.
Call s390_disasm directly with mnemonic-padding disabled.

s390: Change s390_disasm and tweak specification exception message

s390_disasm now returns a pointer to the disassembled insn string or NULL.
A new parameter controls whether the mnemonic should be padded with blanks
to the max. insn length.

When reporting a specification exception also write out the disassembled insn.

s390: Fix s390_irgen_VGE[FG] and s390_irgen_VSCE[FG]

Instead of creating a specification exception these run into an assertion:

VEX: s390_vr_offset_by_index: invalid index for given type

There are proper s390_insn_assert in s390_irgen_VGEF etc. However, the
vassert happens in s390_format_VRV --> get_vr --> s390_vr_offset_by_index
prior to s390_irgen_... being called.
Fixed by adding s390_insn_assert to s390_format_VRV.

Found by disasm-test.

s390: Fix s390_irgen_VSTEF

Fix the s390_insn_assert. There are 4, not 8, word-sized elements in a
vector register.

Found by disasm-test.

s390: Fix s390_irgen_SRNMB

When B2 is 0 the least significant 8 bits in D2 must designate a valid
rounding mode. Bits D2[0:55] are ignored. Mask D2 accordingly.

Found by disasm-test.

s390: Fix s390_irgen_VMSL

The reserved bits in M3, when set, do not cause a specification exception.
However, disasm-test reports e.g:

error: Unexpected spec. exc. detected for E764 1310 92B8   vmslg %v6,%v4,%v17,%v9,1

Now fixed.

s390: Fix s390_irgen_VSTER

M3 == 4 is a reserved value and causes a specification exception.
However, disasm-test reports:

error: Spec. exc. not detected for E660 0000 400F   vster %v6,0,4

Now fixed.

s390: Fix s390_irgen_POPCNT

The POPCNT insn does not cause a specification exception when reserved
bits in m3 are not zero.
Found by disasm-test.

Add BLENDPS and PBLENDW support for x86 32 bit

Add decode_sse4_blend_imm which allows to reuse BLENDPD decoder code
for BLENDPS and PBLENDW. Moved math_BLENDPS_128, math_PBLENDW_128
and math_PBLENDVB_128 from VEX/priv/guest_amd64_toIR.c
to VEX/priv/guest_generic_sse.h to be able to reuse existing amd64 code
for x86 implementation.

Moved test_BLENDPS and test_PBLENDW from none/tests/amd64/sse4-64.c to
none/tests/sse4-common.h and updated the expected tests output to match
the new implementation. Removed vassert(0) in VEX/priv/host_x86_defs.c
in push_word_from_tags in order for test_PBLENDW to be able to pass.

BZ: https://bugs.kde.org/show_bug.cgi?id=515265

s390: The 2nd coming of disasm-test

With the advent of objdump-based disassembly there is no need anymore to
ensure that the disassembled insns out of valgrind match those from objdump.
This is now correct by construction.

In this patch the disasm-test functionality is changed to ensure that all
expected specification exceptions as specified in the Principles of
Operations are detected and no unexpected specification exceptions are found.

For a given opcode 2 sets of testcases will now be generated:
- one where every insn causes a specification exception
  This catches missed specification exceptions.
- one where no insn causes a specification exception
  This catches unexpected specification exceptions.

Changes:
Remove command line options --generate and --verify. Those were useful
in the early stages of development but not anymore.
Remove command line options --show-spec-exc and --no-show-miscompares
which are obsolete now.
Replace command line option --check-prereq with --check-march=ARCH.
Remove command line option --all-except-exrl. Add --exclude option which
is more general.
Add command line options --spec-exc and --no-spec-exc.
Remove functions check_objdump and disasm_same.
From verify_stats remove num_mismatch and num_verified members.
Rename verify_stats --> test_stats and add num_generated member.
Rename verify_disassembly --> verify_spec_exceptions.
No longer write .vex file. Write .spec-exc file instead.
Factor out functions run_opcode and choose_int_and_iterate.
New functions asm_detects_spec_exc and insn_bytes_as_string.

Opcode table in opcode.c:
- Remove all constraints that do not cause a specification exception.
- Change modelling of the "Rotate and ...." opcodes. Previously the
  i3, i4 and i5 fields are modelled as masks. That was a work-around in
  order to be able to specify interesting values and is no longer
  needed. Model those fields as integers instead.

Update disasm-test.vgtest.
Update README.
Copyright year updated.

regtest: add -std=c++17 for memcheck xmas_tree

For middle-aged compilers that support C++17 but not by default.

Fix asserts in testcases close_range, bug514094 and readlinkat_self.

These tests did an assert (errno = EFAULT) instead of an assert on
errno == EFAULT. close_range was also using an valid flag 2
(CLOSE_RANGE_UNSHARE) instead of a bad one.

Make configure.ac POSIX-friendly

Reported by Thomas Klausner

Regtest: fix build for old compilers without aligned new/delete

More warning cleanup

Fix a cast from volatile that has been bothering me for a while.
Also a warning dur to some Darwin code that reuses a ULong
for a memory address. That causes a warning on 32bits because
pointers are 32bit but ULong is always 64bit.

Warning cleanup

Bug 514613 again (closing </still_reachable> xml tag)

Always close the tag after the heuristic details.

Add 4 testcases, one with no errors, one with a simple leak,
one with a simple reachable and one "Xmas tree" test (in
reference to the TCP/IP Christmas tree packet
https://en.wikipedia.org/wiki/Christmas_tree_packet). That
has most of the errors that memcheck can produce.

All of these tests get checked by xmllint.

Bug 253436 - vex amd64->IR: unhandled instruction bytes: 0xF2 0xA6 (repne cmps)

Patch submitted by jacobly.alt@gmail.com
Regtest update submitted by Lukas Dullinger <itislu.git@gmail.com>

s390: s390_format_VRI related changes

Rename:
s390_format_VRI_V0UUU  --> s390_format_VRIb
s390_format_VRI_VVIMM  --> s390_format_VRIe
s390_format_VRId_VVVI  --> s390_format_VRId
s390_format_VRId_VVVIM --> s390_format_VRIdm
s390_format_VRI_VVIM   --> s390_format_VRIc
s390_format_VRI_VIM    --> s390_format_VRIa
s390_format_VRI_V0U    --> s390_format_VRIa0

Remove s390_format_VRI_V0IU (same as s390_format_VRI_VIM).

s390: Rename s390_format_VRS_VRRD[M]

s390_format_VRS_VRRD  -->  s390_format_VRSb
s390_format_VRS_VRRDM -->  s390_format_VRSbm

Add missing VRSb_... field access macros.

s390: Rename s390_format_VRS_RRDV  -->  s390_format_VRSd

Add missing VRSd_... field access macros.

s390: Merge s390_format_VRS_VRDV and s390_format_VRS_VRDVM

Add unused m4 parameter to s390_irgen_VLM / _VSTM. That way we no longer need
to distinguish between s390_format_VRS_VRDV and s390_format_VRS_VRDVM.
Rename remaining function to s390_format_VRSa and use it throughout.

Add field access macros VRSa_v1 and so on.

s390: Rename s390_format_VRV_VVRDMT and s390_format_VRS_RRDVM

Rename s390_format_VRV_VVRDMT --> s390_format_VRV
Rename s390_format_VRS_RRDVM  --> s390_format_VRSc

s390: Rename s390_format_VSI_URDV to s390_format_VSI

Also make the order of function parameters consistent with other s390_format_...
functions.

s390: Merge s390_format_VRX_VRRDM and s390_format_VRX_VRRD

Add unused m3 parameter to s390_irgen_VL / _VST. That way we no longer need
to distinguish between s390_format_VRX_VRRDM and s390_format_VRX_VRRD.
Rename remaining function to s390_format_VRX and use it throughout.

s390: Remove various s390_format_RXY_... functions.

Rename s390_format_RSY_RRRD  ->  s390_format_RSY
Remove s390_format_RSY_R0RD  ->  s390_format_RSYb
Rename s390_format_RSY_RDRM  ->  s390_format_RSYcond
Remove s390_format_RSY_AARD use s390_format_RSY instead
Remove s390_format_RSY_RURD use s390_format_RSYb instead

s390: Rename s390_format_RXF_FRRDF --> s390_format_RXF

s390: Remove unused functions s390_format_RRF_....

Remove s390_format_RRFa_U0RR
Remove s390_format_RRF_FFRU
Remove s390_format_RRF_FUFF
Remove s390_format_RRF_FUFF2
Remove s390_format_RRF_F0FF
Remove s390_format_RRF_F0FF2
Remove s390_format_RRF_F0FR
Remove s390_format_RRF_M0RERE
Remove s390_format_RRF_RURR
Remove s390_format_RRF_R0RR2
Remove s390_format_RRF_UUFF
Remove s390_format_RRF_UUFF2
Remove s390_format_RRF_UUFR
Remove s390_format_RRF_UURF
Remove s390_format_RRF_U0RR
Remove s390_format_RRF_0UFF

Add field access macros for formats RRFa, RRFb, RRFc, RRFd and RRFe
as per Principles of Ops.
Add field access macros RRD_r1, RRD_r2, RRD_m3.
Remove field access macros RRF_..., RRF2_..., RRF3_..., RRF4_... and RRF5_...

Add SSE4.1 BLENDPD instruction for x86 32 bit

Support blendpd (Blend Packed Double Precision Floating-Point
Values (XMM)) instruction in guest_x86_toIR.c. To be able to
use amd64 math_BLENDPD_128 function for x86 implementation, add
a new VEX/priv/guest_generic_sse.h header and move math_BLENDPD_128
there.

mkV128() was moveda from line 1671 in guest_amd64_toIR.c to line 295,
grouping it with other mkU* constant-creation helpers (mkU8, mkU16,
mkU32, mkU64). This allows guest_generic_sse.h to be included much
earlier (line 300 vs. line 1676), making the code organization more
natural.

The header includes an explaination why it must be included mid-file
(after IR helpers like newTemp, assign, binop, etc. are defined) and
why those helpers cannot be moved to a shared header (they depend on
file-local global state, particularly the 'irsb'
variable).

Add test function to sse4-common.h and update none/tests/x86/sse4-x86.c
to test the instruction.

BZ: https://bugs.kde.org/show_bug.cgi?id=514596

Bug 514206 - Assertion '!sr_isError(sr)' failed - mmap fd points to an open descriptor to a PCI device

Also reindent set_CEnt() a bit