| ed39800a83baf5bffbe391f3974eb2af0f415f80 |
|
21-Jun-2017 |
Elliott Hughes <enh@google.com> |
Upgrade to valgrind 3.13.0 (15 June 2017).
Release 3.13.0 (15 June 2017)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3.13.0 is a feature release with many improvements and the usual collection of
bug fixes.
This release supports X86/Linux, AMD64/Linux, ARM32/Linux, ARM64/Linux,
PPC32/Linux, PPC64BE/Linux, PPC64LE/Linux, S390X/Linux, MIPS32/Linux,
MIPS64/Linux, ARM/Android, ARM64/Android, MIPS32/Android, X86/Android,
X86/Solaris, AMD64/Solaris and AMD64/MacOSX 10.12.
* ==================== CORE CHANGES ===================
* The translation cache size has been increased to keep up with the demands of
large applications. The maximum number of sectors has increased from 24 to
48. The default number of sectors has increased from 16 to 32 on all
targets except Android, where the increase is from 6 to 12.
* The amount of memory that Valgrind can use has been increased from 64GB to
128GB. In particular this means your application can allocate up to about
60GB when running on Memcheck.
* Valgrind's default load address has been changed from 0x3800'0000 to
0x5800'0000, so as to make it possible to load larger executables. This
should make it possible to load executables of size at least 1200MB.
* A massive spaceleak caused by reading compressed debuginfo files has been
fixed. Valgrind should now be entirely usable with gcc-7.0 "-gz" created
debuginfo.
* The C++ demangler has been updated.
* Support for demangling Rust symbols has been added.
* A new representation of stack traces, the "XTree", has been added. An XTree
is a tree of stacktraces with data associated with the stacktraces. This is
used by various tools (Memcheck, Helgrind, Massif) to report on the heap
consumption of your program. Reporting is controlled by the new options
--xtree-memory=none|allocs|full and --xtree-memory-file=<file>.
A report can also be produced on demand using the gdbserver monitor command
'xtmemory [<filename>]>'. The XTree can be output in 2 formats: 'callgrind
format' and 'massif format. The existing visualisers for these formats (e.g.
callgrind_annotate, KCachegrind, ms_print) can be used to visualise and
analyse these reports.
Memcheck can also produce XTree leak reports using the Callgrind file
format. For more details, see the user manual.
* ================== PLATFORM CHANGES =================
* ppc64: support for ISA 3.0B and various fixes for existing 3.0 support
* amd64: fixes for JIT failure problems on long AVX2 code blocks
* amd64 and x86: support for CET prefixes has been added
* arm32: a few missing ARMv8 instructions have been implemented
* arm64, mips64, mips32: an alternative implementation of Load-Linked and
Store-Conditional instructions has been added. This is to deal with
processor implementations that implement the LL/SC specifications strictly
and as a result cause Valgrind to hang in certain situations. The
alternative implementation is automatically enabled at startup, as required.
You can use the option --sim-hints=fallback-llsc to force-enable it if you
want.
* Support for OSX 10.12 has been improved.
* On Linux, clone handling has been improved to honour CLONE_VFORK that
involves a child stack. Note however that CLONE_VFORK | CLONE_VM is handled
like CLONE_VFORK (by removing CLONE_VM), so applications that depend on
CLONE_VM exact semantics will (still) not work.
* The TileGX/Linux port has been removed because it appears to be both unused
and unsupported.
* ==================== TOOL CHANGES ====================
* Memcheck:
- Memcheck should give fewer false positives when running optimised
Clang/LLVM generated code.
- Support for --xtree-memory and 'xtmemory [<filename>]>'.
- New command line options --xtree-leak=no|yes and --xtree-leak-file=<file>
to produce the end of execution leak report in a xtree callgrind format
file.
- New option 'xtleak' in the memcheck leak_check monitor command, to produce
the leak report in an xtree file.
* Massif:
- Support for --xtree-memory and 'xtmemory [<filename>]>'.
- For some workloads (typically, for big applications), Massif memory
consumption and CPU consumption has decreased significantly.
* Helgrind:
- Support for --xtree-memory and 'xtmemory [<filename>]>'.
- addition of client request VALGRIND_HG_GNAT_DEPENDENT_MASTER_JOIN, useful
for Ada gnat compiled applications.
* ==================== OTHER CHANGES ====================
* For Valgrind developers: in an outer/inner setup, the outer Valgrind will
append the inner guest stacktrace to the inner host stacktrace. This helps
to investigate the errors reported by the outer, when they are caused by the
inner guest program (such as an inner regtest). See README_DEVELOPERS for
more info.
* To allow fast detection of callgrind files by desktop environments and file
managers, the format was extended to have an optional first line that
uniquely identifies the format ("# callgrind format"). Callgrind creates
this line now, as does the new xtree functionality.
* File name template arguments (such as --log-file, --xtree-memory-file, ...)
have a new %n format letter that is replaced by a sequence number.
* "--version -v" now shows the SVN revision numbers from which Valgrind was
built.
* ==================== FIXED BUGS ====================
The following bugs have been fixed or resolved. Note that "n-i-bz"
stands for "not in bugzilla" -- that is, a bug that was reported to us
but never got a bugzilla entry. We encourage you to file bugs in
bugzilla (https://bugs.kde.org/enter_bug.cgi?product=valgrind) rather
than mailing the developers (or mailing lists) directly -- bugs that
are not entered into bugzilla tend to get forgotten about or ignored.
To see details of a given bug, visit
https://bugs.kde.org/show_bug.cgi?id=XXXXXX
where XXXXXX is the bug number as listed below.
162848 --log-file output isn't split when a program forks
340777 Illegal instruction on mips (ar71xx)
341481 MIPS64: Iop_CmpNE32 triggers false warning on MIPS64 platforms
342040 Valgrind mishandles clone with CLONE_VFORK | CLONE_VM that clones
to a different stack.
344139 x86 stack-seg overrides, needed by the Wine people
344524 store conditional of guest applications always fail - observed on
Octeon3(MIPS)
348616 Wine/valgrind: noted but unhandled ioctl 0x5390 [..] (DVD_READ_STRUCT)
352395 Please provide SVN revision info in --version -v
352767 Wine/valgrind: noted but unhandled ioctl 0x5307 [..] (CDROMSTOP)
356374 Assertion 'DRD_(g_threadinfo)[tid].pt_threadid !=
INVALID_POSIX_THREADID' failed
358213 helgrind/drd bar_bad testcase hangs or crashes with new glibc pthread
barrier implementation
358697 valgrind.h: Some code remains even when defining NVALGRIND
359202 Add musl libc configure/compile
360415 amd64 instructions ADCX and ADOX are not implemented in VEX
== 372828 (vex amd64->IR: 0x66 0xF 0x3A 0x62 0x4A 0x10)
360429 unhandled ioctl 0x530d with no size/direction hints (CDROMREADMODE1)
362223 assertion failed when .valgrindrc is a directory instead of a file
367543 bt/btc/btr/bts x86/x86_64 instructions are poorly-handled wrt flags
367942 Segfault vgPlain_do_sys_sigaction (m_signals.c:1138)
368507 can't malloc chunks larger than about 34GB
368529 Android arm target link error, missing atexit and pthread_atfork
368863 WARNING: unhandled arm64-linux syscall: 100 (get_robust_list)
368865 WARNING: unhandled arm64-linux syscall: 272 (kcmp)
368868 disInstr(arm64): unhandled instruction 0xD53BE000 = cntfrq_el0 (ARMv8)
368917 WARNING: unhandled arm64-linux syscall: 218 (request_key)
368918 WARNING: unhandled arm64-linux syscall: 127 (sched_rr_get_interval)
368922 WARNING: unhandled arm64-linux syscall: 161 (sethostname)
368924 WARNING: unhandled arm64-linux syscall: 84 (sync_file_range)
368925 WARNING: unhandled arm64-linux syscall: 130 (tkill)
368926 WARNING: unhandled arm64-linux syscall: 97 (unshare)
369459 valgrind on arm64 violates the ARMv8 spec (ldxr/stxr)
370028 Reduce the number of compiler warnings on MIPS platforms
370635 arm64 missing syscall getcpu
371225 Fix order of timer_{gettime,getoverrun,settime} syscalls on arm64
371227 Clean AArch64 syscall table
371412 Rename wrap_sys_shmat to sys_shmat like other wrappers
371471 Valgrind complains about non legit memory leaks on placement new (C++)
371491 handleAddrOverrides() is [incorrect] when ASO prefix is used
371503 disInstr(arm64): unhandled instruction 0xF89F0000
371869 support '%' in symbol Z-encoding
371916 execution tree xtree concept
372120 c++ demangler demangles symbols which are not c++
372185 Support of valgrind on ARMv8 with 32 bit executable
372188 vex amd64->IR: 0x66 0xF 0x3A 0x62 0x4A 0x10 0x10 0x48 (PCMPxSTRx $0x10)
372195 Power PC, xxsel instruction is not always recognized.
372504 Hanging on exit_group
372600 process loops forever when fatal signals are arriving quickly
372794 LibVEX (arm32 front end): 'Assertion szBlg2 <= 3' failed
373046 Stacks registered by core are never deregistered
373069 memcheck/tests/leak_cpp_interior fails with GCC 5.1+
373086 Implement additional Xen hypercalls
373192 Calling posix_spawn in glibc 2.24 completely broken
373488 Support for fanotify API on ARM64 architecture
== 368864 WARNING: unhandled arm64-linux syscall: 262 (fanotify_init)
373555 Rename BBPTR to GSPTR as it denotes guest state pointer only
373938 const IRExpr arguments for matchIRExpr()
374719 some spelling fixes
374963 increase valgrind's load address to prevent mmap failure
375514 valgrind_get_tls_addr() does not work in case of static TLS
375772 +1 error in get_elf_symbol_info() when computing value of 'hi' address
for ML_(find_rx_mapping)()
375806 Test helgrind/tests/tc22_exit_w_lock fails with glibc 2.24
375839 Temporary storage exhausted, with long sequence of vfmadd231ps insns
== 377159 "vex: the `impossible' happened" still present
== 375150 Assertion 'tres.status == VexTransOK' failed
== 378068 valgrind crashes on AVX2 function in FFmpeg
376142 Segfaults on MIPS Cavium Octeon boards
376279 disInstr(arm64): unhandled instruction 0xD50320FF
376455 Solaris: unhandled syscall lgrpsys(180)
376518 Solaris: unhandled fast trap getlgrp(6)
376611 ppc64 and arm64 don't know about prlimit64 syscall
376729 PPC64, remove R2 from the clobber list
== 371668
376956 syswrap of SNDDRV and DRM_IOCTL_VERSION causing some addresses
to be wrongly marked as addressable
377066 Some Valgrind unit tests fail to compile on Ubuntu 16.10 with
PIE enabled by default
377376 memcheck/tests/linux/getregset fails with glibc2.24
377427 PPC64, lxv instruction failing on odd destination register
377478 PPC64: ISA 3.0 setup fixes
377698 Missing memory check for futex() uaddr arg for FUTEX_WAKE
and FUTEX_WAKE_BITSET, check only 4 args for FUTEX_WAKE_BITSET,
and 2 args for FUTEX_TRYLOCK_PI
377717 Fix massive space leak when reading compressed debuginfo sections
377891 Update Xen 4.6 domctl wrappers
377930 fcntl syscall wrapper is missing flock structure check
378524 libvexmultiarch_test regression on s390x and ppc64
378535 Valgrind reports INTERNAL ERROR in execve syscall wrapper
378673 Update libiberty demangler
378931 Add ISA 3.0B additional isnstructions, add OV32, CA32 setting support
379039 syscall wrapper for prctl(PR_SET_NAME) must not check more than 16 bytes
379094 Valgrind reports INTERNAL ERROR in rt_sigsuspend syscall wrapper
379371 UNKNOWN task message [id 3444, to mach_task_self(), reply 0x603]
(task_register_dyld_image_infos)
379372 UNKNOWN task message [id 3447, to mach_task_self(), reply 0x603]
(task_register_dyld_shared_cache_image_info)
379390 unhandled syscall: mach:70 (host_create_mach_voucher_trap)
379473 MIPS: add support for rdhwr cycle counter register
379504 remove TileGX/Linux port
379525 Support more x86 nop opcodes
379838 disAMode(x86): not an addr!
379703 PC ISA 3.0 fixes: stxvx, stxv, xscmpexpdp instructions
379890 arm: unhandled instruction: 0xEBAD 0x1B05 (sub.w fp, sp, r5, lsl #4)
379895 clock_gettime does not execute POST syscall wrapper
379925 PPC64, mtffs does not set the FPCC and C bits in the FPSCR correctly
379966 WARNING: unhandled amd64-linux syscall: 313 (finit_module)
380200 xtree generated callgrind files refer to files without directory name
380202 Assertion failure for cache line size (cls == 64) on aarch64.
380397 s390x: __GI_strcspn() replacement needed
n-i-bz Fix pub_tool_basics.h build issue with g++ 4.4.7.
(3.13.0.RC1: 2 June 2017, vex r3386, valgrind r16434)
(3.13.0.RC2: 9 June 2017, vex r3389, valgrind r16443)
(3.13.0: 14 June 2017, vex r3396, valgrind r16446)
Bug: N/A
Test: manual
Change-Id: Id4498a49f462c3689cbcb35c15f96a8c7e3cea17
/external/valgrind/memcheck/mc_translate.c
|
| a0664b9ca67b594bd6f570a61d3301167a24750c |
|
19-Apr-2017 |
Elliott Hughes <enh@google.com> |
Upgrade to valgrind 3.12.0.
Release 3.12.0 (20 October 2016)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3.12.0 is a feature release with many improvements and the usual
collection of bug fixes.
This release supports X86/Linux, AMD64/Linux, ARM32/Linux,
ARM64/Linux, PPC32/Linux, PPC64BE/Linux, PPC64LE/Linux, S390X/Linux,
MIPS32/Linux, MIPS64/Linux, ARM/Android, ARM64/Android,
MIPS32/Android, X86/Android, X86/Solaris, AMD64/Solaris, X86/MacOSX
10.10 and AMD64/MacOSX 10.10. There is also preliminary support for
X86/MacOSX 10.11/12, AMD64/MacOSX 10.11/12 and TILEGX/Linux.
* ================== PLATFORM CHANGES =================
* POWER: Support for ISA 3.0 has been added
* mips: support for O32 FPXX ABI has been added.
* mips: improved recognition of different processors
* mips: determination of page size now done at run time
* amd64: Partial support for AMD FMA4 instructions.
* arm, arm64: Support for v8 crypto and CRC instructions.
* Improvements and robustification of the Solaris port.
* Preliminary support for MacOS 10.12 (Sierra) has been added.
Whilst 3.12.0 continues to support the 32-bit x86 instruction set, we
would prefer users to migrate to 64-bit x86 (a.k.a amd64 or x86_64)
where possible. Valgrind's support for 32-bit x86 has stagnated in
recent years and has fallen far behind that for 64-bit x86
instructions. By contrast 64-bit x86 is well supported, up to and
including AVX2.
* ==================== TOOL CHANGES ====================
* Memcheck:
- Added meta mempool support for describing a custom allocator which:
- Auto-frees all chunks assuming that destroying a pool destroys all
objects in the pool
- Uses itself to allocate other memory blocks
- New flag --ignore-range-below-sp to ignore memory accesses below
the stack pointer, if you really have to. The related flag
--workaround-gcc296-bugs=yes is now deprecated. Use
--ignore-range-below-sp=1024-1 as a replacement.
* DRD:
- Improved thread startup time significantly on non-Linux platforms.
* DHAT
- Added collection of the metric "tot-blocks-allocd"
* ==================== OTHER CHANGES ====================
* Replacement/wrapping of malloc/new related functions is now done not just
for system libraries by default, but for any globally defined malloc/new
related function (both in shared libraries and statically linked alternative
malloc implementations). The dynamic (runtime) linker is excluded, though.
To only intercept malloc/new related functions in
system libraries use --soname-synonyms=somalloc=nouserintercepts (where
"nouserintercepts" can be any non-existing library name).
This new functionality is not implemented for MacOS X.
* The maximum number of callers in a suppression entry is now equal to
the maximum size for --num-callers (500).
Note that --gen-suppressions=yes|all similarly generates suppressions
containing up to --num-callers frames.
* New and modified GDB server monitor features:
- Valgrind's gdbserver now accepts the command 'catch syscall'.
Note that you must have GDB >= 7.11 to use 'catch syscall' with
gdbserver.
* New option --run-cxx-freeres=<yes|no> can be used to change whether
__gnu_cxx::__freeres() cleanup function is called or not. Default is
'yes'.
* Valgrind is able to read compressed debuginfo sections in two formats:
- zlib ELF gABI format with SHF_COMPRESSED flag (gcc option -gz=zlib)
- zlib GNU format with .zdebug sections (gcc option -gz=zlib-gnu)
* Modest JIT-cost improvements: the cost of instrumenting code blocks
for the most common use case (x86_64-linux, Memcheck) has been
reduced by 10%-15%.
* Improved performance for programs that do a lot of discarding of
instruction address ranges of 8KB or less.
* The C++ symbol demangler has been updated.
* More robustness against invalid syscall parameters on Linux.
* ==================== FIXED BUGS ====================
The following bugs have been fixed or resolved. Note that "n-i-bz"
stands for "not in bugzilla" -- that is, a bug that was reported to us
but never got a bugzilla entry. We encourage you to file bugs in
bugzilla (https://bugs.kde.org/enter_bug.cgi?product=valgrind) rather
than mailing the developers (or mailing lists) directly -- bugs that
are not entered into bugzilla tend to get forgotten about or ignored.
To see details of a given bug, visit
https://bugs.kde.org/show_bug.cgi?id=XXXXXX
where XXXXXX is the bug number as listed below.
191069 Exiting due to signal not reported in XML output
199468 Suppressions: stack size limited to 25
while --num-callers allows more frames
212352 vex amd64 unhandled opc_aux = 0x 2, first_opcode == 0xDC (FCOM)
278744 cvtps2pd with redundant RexW
303877 valgrind doesn't support compressed debuginfo sections.
345307 Warning about "still reachable" memory when using libstdc++ from gcc 5
348345 Assertion fails for negative lineno
351282 V 3.10.1 MIPS softfloat build broken with GCC 4.9.3 / binutils 2.25.1
351692 Dumps created by valgrind are not readable by gdb (mips32 specific)
351804 Crash on generating suppressions for "printf" call on OS X 10.10
352197 mips: mmap2() not wrapped correctly for page size > 4096
353083 arm64 doesn't implement various xattr system calls
353084 arm64 doesn't support sigpending system call
353137 www: update info for Supported Platforms
353138 www: update "The Valgrind Developers" page
353370 don't advertise RDRAND in cpuid for Core-i7-4910-like avx2 machine
== 365325
== 357873
353384 amd64->IR: 0x66 0xF 0x3A 0x62 0xD1 0x62 (pcmpXstrX $0x62)
353398 WARNING: unhandled amd64-solaris syscall: 207
353660 XML in auxwhat tag not escaping reserved symbols properly
353680 s390x: Crash with certain glibc versions due to non-implemented TBEGIN
353727 amd64->IR: 0x66 0xF 0x3A 0x62 0xD1 0x72 (pcmpXstrX $0x72)
353802 ELF debug info reader confused with multiple .rodata sections
353891 Assert 'bad_scanned_addr < VG_ROUNDDN(start+len, sizeof(Addr))' failed
353917 unhandled amd64-solaris syscall fchdir(120)
353920 unhandled amd64-solaris syscall: 170
354274 arm: unhandled instruction: 0xEBAD 0x0AC1 (sub.w sl, sp, r1, lsl #3)
354392 unhandled amd64-solaris syscall: 171
354797 Vbit test does not include Iops for Power 8 instruction support
354883 tst->os_state.pthread - magic_delta assertion failure on OSX 10.11
== 361351
== 362920
== 366222
354933 Fix documentation of --kernel-variant=android-no-hw-tls option
355188 valgrind should intercept all malloc related global functions
355454 do not intercept malloc related symbols from the runtime linker
355455 stderr.exp of test cases wrapmalloc and wrapmallocstatic overconstrained
356044 Dwarf line info reader misinterprets is_stmt register
356112 mips: replace addi with addiu
356393 valgrind (vex) crashes because isZeroU happened
== 363497
== 364497
356676 arm64-linux: unhandled syscalls 125, 126 (sched_get_priority_max/min)
356678 arm64-linux: unhandled syscall 232 (mincore)
356817 valgrind.h triggers compiler errors on MSVC when defining NVALGRIND
356823 Unsupported ARM instruction: stlex
357059 x86/amd64: SSE cvtpi2ps with memory source does transition to MMX state
357338 Unhandled instruction for SHA instructions libcrypto Boring SSL
357673 crash if I try to run valgrind with a binary link with libcurl
357833 Setting RLIMIT_DATA to zero breaks with linux 4.5+
357871 pthread_spin_destroy not properly wrapped
357887 Calls to VG_(fclose) do not close the file descriptor
357932 amd64->IR: accept redundant REX prefixes for {minsd,maxsd} m128, xmm.
358030 support direct socket calls on x86 32bit (new in linux 4.3)
358478 drd/tests/std_thread.cpp doesn't build with GCC6
359133 Assertion 'eltSzB <= ddpa->poolSzB' failed
359181 Buffer Overflow during Demangling
359201 futex syscall "skips" argument 5 if op is FUTEX_WAIT_BITSET
359289 s390x: popcnt (B9E1) not implemented
359472 The Power PC vsubuqm instruction doesn't always give the correct result
359503 Add missing syscalls for aarch64 (arm64)
359645 "You need libc6-dbg" help message could be more helpful
359703 s390: wire up separate socketcalls system calls
359724 getsockname might crash - deref_UInt should call safe_to_deref
359733 amd64 implement ld.so strchr/index override like x86
359767 Valgrind does not support the IBM POWER ISA 3.0 instructions, part 1/5
359829 Power PC test suite none/tests/ppc64/test_isa_2_07.c uses
uninitialized data
359838 arm64: Unhandled instruction 0xD5033F5F (clrex)
359871 Incorrect mask handling in ppoll
359952 Unrecognised PCMPESTRM variants (0x70, 0x19)
360008 Contents of Power vr registers contents is not printed correctly when
the --vgdb-shadow-registers=yes option is used
360035 POWER PC instruction bcdadd and bcdsubtract generate result with
non-zero shadow bits
360378 arm64: Unhandled instruction 0x5E280844 (sha1h s4, s2)
360425 arm64 unsupported instruction ldpsw
== 364435
360519 none/tests/arm64/memory.vgtest might fail with newer gcc
360571 Error about the Android Runtime reading below the stack pointer on ARM
360574 Wrong parameter type for an ashmem ioctl() call on Android and ARM64
360749 kludge for multiple .rodata sections on Solaris no longer needed
360752 raise the number of reserved fds in m_main.c from 10 to 12
361207 Valgrind does not support the IBM POWER ISA 3.0 instructions, part 2/5
361226 s390x: risbgn (EC59) not implemented
361253 [s390x] ex_clone.c:42: undefined reference to `pthread_create'
361354 ppc64[le]: wire up separate socketcalls system calls
361615 Inconsistent termination for multithreaded process terminated by signal
361926 Unhandled Solaris syscall: sysfs(84)
362009 V dumps core on unimplemented functionality before threads are created
362329 Valgrind does not support the IBM POWER ISA 3.0 instructions, part 3/5
362894 missing (broken) support for wbit field on mtfsfi instruction (ppc64)
362935 [AsusWRT] Assertion 'sizeof(TTEntryC) <= 88' failed
362953 Request for an update to the Valgrind Developers page
363680 add renameat2() support
363705 arm64 missing syscall name_to_handle_at and open_by_handle_at
363714 ppc64 missing syscalls sync, waitid and name_to/open_by_handle_at
363858 Valgrind does not support the IBM POWER ISA 3.0 instructions, part 4/5
364058 clarify in manual limitations of array overruns detections
364413 pselect sycallwrapper mishandles NULL sigmask
364728 Power PC, missing support for several HW registers in
get_otrack_shadow_offset_wrk()
364948 Valgrind does not support the IBM POWER ISA 3.0 instructions, part 5/5
365273 Invalid write to stack location reported after signal handler runs
365912 ppc64BE segfault during jm-insns test (RELRO)
366079 FPXX Support for MIPS32 Valgrind
366138 Fix configure errors out when using Xcode 8 (clang 8.0.0)
366344 Multiple unhandled instruction for Aarch64
(0x0EE0E020, 0x1AC15800, 0x4E284801, 0x5E040023, 0x5E056060)
367995 Integration of memcheck with custom memory allocator
368120 x86_linux asm _start functions do not keep 16-byte aligned stack pointer
368412 False positive result for altivec capability check
368416 Add tc06_two_races_xml.exp output for ppc64
368419 Perf Events ioctls not implemented
368461 mmapunmap test fails on ppc64
368823 run_a_thread_NORETURN assembly code typo for VGP_arm64_linux target
369000 AMD64 fma4 instructions unsupported.
369169 ppc64 fails jm_int_isa_2_07 test
369175 jm_vec_isa_2_07 test crashes on ppc64
369209 valgrind loops and eats up all memory if cwd doesn't exist.
369356 pre_mem_read_sockaddr syscall wrapper can crash with bad sockaddr
369359 msghdr_foreachfield can crash when handling bad iovec
369360 Bad sigprocmask old or new sets can crash valgrind
369361 vmsplice syscall wrapper crashes on bad iovec
369362 Bad sigaction arguments crash valgrind
369383 x86 sys_modify_ldt wrapper crashes on bad ptr
369402 Bad set/get_thread_area pointer crashes valgrind
369441 bad lvec argument crashes process_vm_readv/writev syscall wrappers
369446 valgrind crashes on unknown fcntl command
369439 S390x: Unhandled insns RISBLG/RISBHG and LDE/LDER
369468 Remove quadratic metapool algorithm using VG_(HT_remove_at_Iter)
370265 ISA 3.0 HW cap stuff needs updating
371128 BCD add and subtract instructions on Power BE in 32-bit mode do not work
n-i-bz Fix incorrect (or infinite loop) unwind on RHEL7 x86 and amd64
n-i-bz massif --pages-as-heap=yes does not report peak caused by mmap+munmap
n-i-bz false positive leaks due to aspacemgr merging heap & non heap segments
n-i-bz Fix ppoll_alarm exclusion on OS X
n-i-bz Document brk segment limitation, reference manual in limit reached msg.
n-i-bz Fix clobber list in none/tests/amd64/xacq_xrel.c [valgrind r15737]
n-i-bz Bump allowed shift value for "add.w reg, sp, reg, lsl #N" [vex r3206]
n-i-bz amd64: memcheck false positive with shr %edx
n-i-bz arm3: Allow early writeback of SP base register in "strd rD, [sp, #-16]"
n-i-bz ppc: Fix two cases of PPCAvFpOp vs PPCFpOp enum confusion
n-i-bz arm: Fix incorrect register-number constraint check for LDAEX{,B,H,D}
n-i-bz DHAT: added collection of the metric "tot-blocks-allocd"
(3.12.0.RC1: 20 October 2016, vex r3282, valgrind r16094)
(3.12.0.RC2: 20 October 2016, vex r3282, valgrind r16096)
(3.12.0: 21 October 2016, vex r3282, valgrind r16098)
Bug: http://b/37470713
Bug: http://b/29251682
Test: ran runtests-arm(64)?.sh and the bug reporter's specific binary (32- and 64-bit)
Change-Id: I43ccbea946d89fc4ae9f355181ac5061d6ce4453
/external/valgrind/memcheck/mc_translate.c
|
| 72e4640ec92ff566dbba01f69197865016cfeb84 |
|
05-Sep-2015 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Changes related to new IROp Iop_RoundF128toInt. See VEX r3183.
s390: Add testcase for fixbr.
Patch by Andreas Arnez <arnez@linux.vnet.ibm.com>.
Part of fixing BZ #350290.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15629 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 2672faefb066656b3c757a711c7eda4189aa2c89 |
|
01-Sep-2015 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Rename the new option --expensive-definedness-check introduced in
r15594 to --expensive-definedness-checks. (Pluralised it, iow.)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15611 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9ee20ebd0a2f2872b9fc4d93648e044ede2f2d87 |
|
27-Aug-2015 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
New memcheck command line option: --expensive-definedness-check
Pertains to BZ #340392
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15594 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b3a1e4bffbdbbf38304f216af405009868f43628 |
|
21-Aug-2015 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Update copyright dates, to include 2015. No functional change.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15577 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9dc5dd68225707ddec0aa432eb3d47e12efa6a4a |
|
21-Aug-2015 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
When scanning the statement list for bogus literals we
can stop once the first such literal was found. No need
to scan further.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15574 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 290b9cabbd2b2c42db10cd79921403cc231e4f7c |
|
12-Aug-2015 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle new ILGop_IdentV128 introduced by vex r3169.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15522 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| ad4e979f408239dabbaae955d8ffcb84a51a5c85 |
|
05-Jul-2015 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix typos in source code. Patch by Dmitriy (olshevskiy87@bk.ru).
Fixes BZ #349874
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15394 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d4dc5fc0e4091cead54ebbcdfddc60e0f3ff8081 |
|
01-May-2015 |
philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
This patch adds a function that allows to directly properly size an xarray
when the size is known in advance.
3 places identified where this function can be used trivially.
The result is a reduction of 'realloc' operations in core
arena, and a small reduction in ttaux arena
(it is the nr of operations that decreases, the memory usage itself
stays the same (ignoring some 'rounding' effects).
E.g. for perf/bigcode 0, we change from
core 1085742/ 216745904 totalloc-blocks/bytes, 1085733 searches
ttaux 5348/ 6732560 totalloc-blocks/bytes, 5326 searches
to
core 712666/ 190998592 totalloc-blocks/bytes, 712657 searches
ttaux 5319/ 6731808 totalloc-blocks/bytes, 5296 searches
For bz2, we switch from
core 50285/ 32383664 totalloc-blocks/bytes, 50256 searches
ttaux 670/ 245160 totalloc-blocks/bytes, 669 searches
to
core 32564/ 29971984 totalloc-blocks/bytes, 32535 searches
ttaux 605/ 243280 totalloc-blocks/bytes, 604 searches
Performance wise, on amd64, this improves memcheck performance
on perf tests by 0.0, 0.1 or 0.2 seconds depending on the test.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15173 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 7222f649c0dab0f50f5a60f841accc64a127856e |
|
07-Apr-2015 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r3120, that changed the type of Iop_Sqrt64x2 and Iop_Sqrt32x4.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15074 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 1f4b1ebde67b0277f4f61ee3a00f8f47163f0678 |
|
06-Apr-2015 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Memcheck: add support for recently added IROps:
Iop_F64toF16
Iop_F32toF16
Iop_F16toF64
Iop_F16toF32
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15070 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 143507687feede3a6ff901684859e1e0db3c4f98 |
|
24-Feb-2015 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle new IROps added in vex r3092:
Iop_RecipStep64Fx2, Iop_RSqrtStep64Fx2
Iop_RSqrtEst64Fx2, Iop_RecipEst64Fx2
Iop_RecpExpF64, Iop_RecpExpF32
--This line, and those below, will be ignored--
M memcheck/mc_translate.c
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14959 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| be9d235a4fa09afd7a3384b335eac5cae9251b1e |
|
28-Jan-2015 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle new value ILGop_Ident64 in enum type IRLoadGOp. This tracks
vex r3074.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14892 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| f466eef8e53aafcb617997e1ca18b7c829168db8 |
|
02-Jan-2015 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track the IMark changes in VEX r3055.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14844 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| f837aa7d6dfed0424b23b9c46d7fadbc6af2a060 |
|
20-Nov-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
isBogusAtom: handle missing case Ico_F32.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14740 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 3c0c94777f547bcb5eadbe8cb4328debf0f51875 |
|
24-Sep-2014 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Ripple from constifying parameters of instrumentation functions and
callbacks from VexTranslateArgs. See VEX r2958.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14564 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 7b7b1cbe53ee541a803e1e00b58d58fcee65aa97 |
|
01-Sep-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r2939 (renaming and arg-order change for Iop_Extract{64,V128}).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14404 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| bfd03f8a6388bf367e61b7b2523f34eb215a8168 |
|
26-Aug-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle the new IROps introduced to support ARM64 SIMD.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14362 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 147865ccf6e5711cd910f2b1532da59ad1d78bb9 |
|
26-Aug-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Iop_Rol64x2 was handled as if it were a 32x4 case. This moves
it to the right place.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14361 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| ee6bb779947e3e5350a083d5e87efa18ffddedcf |
|
24-Aug-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track renaming of {reciprocal, reciprocal sqrt}{estimate, step}
primops in vex r2932.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14350 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e541e222ef15d58e1a61f97fcf729468628efa54 |
|
15-Aug-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r2924 (Renaming of Iop_QSalN*, Iop_QShlN* and Iop_QShlN*S)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14282 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 4d6ce849ad8534867072dbc7ed31464019e23396 |
|
21-Jul-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r2907, which amongst other things, renamed Iop_QDMulLong* to
Iop_QDMull*.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14178 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 55404925be52fe200bf22e31959573df7ba870a4 |
|
26-Jun-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r2890 (renaming of vector subparts-of-lanes-reversal IROps)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14103 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 2e4d5af35b4e326fef32e503d210f3bcc25238cf |
|
26-Jun-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r2889 (rename vector Cls/Clz primops)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14102 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 87a5bad8b2742f75dd60ba505d9f8d660cde3aba |
|
15-Jun-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle new IROp Iop_Abs64x2.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14043 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| c46e6ccde63cd661f1f781d78054ef8cd86f8536 |
|
10-Mar-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle IROps introduced by the arm64 port:
Iop_ZeroHI64ofV128, Iop_ZeroHI96ofV128, Iop_ZeroHI112ofV128,
Iop_ZeroHI120ofV128, Iop_Abs64Fx2, Iop_Neg64Fx2
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13860 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 1eb272f53fadb410dd27fb38fb1be75af84868d0 |
|
26-Jan-2014 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle and instrument an extra rounding-mode argument as added by
vex r2809 to the following primops:
Iop_Add32Fx4, Iop_Sub32Fx4, Iop_Mul32Fx4, Iop_Div32Fx4,
Iop_Add64Fx2, Iop_Sub64Fx2, Iop_Mul64Fx2, Iop_Div64Fx2,
Iop_Add64Fx4, Iop_Sub64Fx4, Iop_Mul64Fx4, Iop_Div64Fx4,
Iop_Add32Fx8, Iop_Sub32Fx8, Iop_Mul32Fx8, Iop_Div32Fx8,
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13781 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| a150fe951e31f5bfde41e5c12e65f5a48f07779a |
|
11-Dec-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Select expensive add/sub/cmp interpretations for blocks containing
Iop_GetMSBs8x16, since the presence of those usually implies PMOVMSKB
instructions in the block, which can mean "inlined string operations".
Reduces the noise level a lot in some icc12 -O2 generated sequences.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13757 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 0f157ddb404bcde7815a1c5bf2d7e41c114f3d73 |
|
18-Oct-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Update copyright dates (20XY-2012 ==> 20XY-2013)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13658 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e6bd3e49c6f37b871974c3b5212476f1eed3fb77 |
|
18-Oct-2013 |
carll <carll@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
This commit adds testing support for the following instructions:
vaddcuq, vadduqm, vaddecuq, vaddeuqm,
vsubcuq, vsubuqm, vsubecuq, vsubeuqm,
vbpermq and vgbbd.
The completes adding the Power ISA 2.07 support.
Bugzilla 325816
VEX commit id 2790
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13653 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 24e40de8f2127d70117ed9af3bc4474cbc29cb8a |
|
15-Oct-2013 |
carll <carll@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Power 8 support, phase 5
This commit adds the testcases for the following instructions:
vpmsumb, vpmsumh, vpmsumw, vpmsumd, vpermxor, vcipher, vcipherlast,
vncipher, vncipherlast, vsbox,
vclzb, vclzw, vclzh, vclzd,
vpopcntb, vpopcnth, vpopcntw, vpopcntd,
vnand, vorc, veqv,
vshasigmaw, vshasigmad,
bcdadd, bcdsub
The VEX commit that added the support for the above instructions was
commit 2789.
The patch is for Bugzilla 325628
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13646 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 6277067119ad816282b8e57727295b3adee14075 |
|
01-Oct-2013 |
carll <carll@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add tests for the phase 3 ISA 2.07 code patch
This patch adds testcases to an existing testcase
source file to test the new instructions which were
added to VEX support in the phase 3 ISA 2.07 code patch.
The patch also makes a small change to memcheck's
vbit tester code to allow successful execution.
Signed-off-by: Maynard Johnson <maynardj@us.ibm.com>
Bugzilla 324894. Corresponding VEX commit 2779
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13594 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 6756454dd872134b243a7a4ff43b953c5bb309ee |
|
16-Aug-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add support for direct V256 shadow helper returns -- memcheck side.
(Patrick J. LoPresti, lopresti@gmail.com). Bug 294285.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13500 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| a5c3ecb923e27dcd995ba763d436b477e1e2a61e |
|
15-Aug-2013 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Followup to VEX r2742 which eliminates IRExprP__VECRET and IRExprP__BBPTR
and adds Iex_VECRET and Iex_BBPTR.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13498 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| dfbf294f08ac004a60cb3b528d544cb7d0404eb0 |
|
12-Aug-2013 |
carll <carll@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Initial ISA 2.07 support for POWER8-tuned libc
The IBM Power ISA 2.07 has been published on power.org, and IBM's new POWER8
processor is under development to implement that ISA. This patch provides
initial runtime and testsuite support for running Valgrind on POWER8 systems
running a soon-to-be released Linux distribution. This Linux distro will
include a POWER8-tuned libc that uses a subset of the new instructions from
ISA 2.07. Since virtually all applications link with libc, it would be
impossible to run an application under Valgrind on this distro without adding
support for these new instructions to Valgrind, so that's the intent of this
patch. Note that applications built on this distro will *not* employ new POWER8
instructions by default. There are roughly 150 new instructions in the Power
ISA 2.07, including hardware transaction management (HTM). Support for these
new instructions (modulo the subset included in this bug) will be added to
Valgrind in a phased approach, similar to what we did for Power ISA 2.06.
Bugzilla 322294, VEX commit 2740
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13494 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 21a5f8cd6b05e19a644ee9a9f8623f0be1d4badc |
|
08-Aug-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix # 294285: --partial-loads-ok does not work for 16-byte SSE loads
(core fixes for the memcheck handling of 128 bit loads)
(Patrick J. LoPresti, lopresti@gmail.com)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13488 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 7a3706554059125b018dcd12267db8d9c3e9176f |
|
04-Jul-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle Iop_QAdd16Ux2. Needed for recent ARM v6media additions committed
in vex r2731.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13446 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| ba5693c7155e28fc5d2cbe1be751a77fb2097d02 |
|
17-Jun-2013 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
valgrind side changes to support the new IRops introduced
in VEX r2727 (conversion ops between binary floating point and
decimal floating point).
Patch by Maran Pakkirisamy (maranp@linux.vnet.ibm.com).
Part of fixing BZ 307113.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13428 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 054684ff9ed37d70584d6a954df3382edd8b9729 |
|
06-Jun-2013 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
More comment only changes as the "DFP rounding mode" has been removed.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13421 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 733b4db9e2385911103f8b10ec2a5a72f9329941 |
|
06-Jun-2013 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Comment only changes: IRRoundingModeDFP -> IRRoundingMode.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13419 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b9e6d244e474c971ea88181de1f83a30057db9da |
|
11-May-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
complainIfUndefined: reinstate the 3rd argument (guard) so as to make
the definedness check and possible shadow temp set-to-defined be
optional. Use this to properly instrument IRLoadG and IRStoreG, so
that if the load/store does not happen, not only is the validity of
the address not checked, neither is the definedness.
This fixes a regression introduced by the COMEM branch on ARM, in
which conditional loads/stores with addresses which are undefined at
runtime and with guards which are false, would generate false errors.
Also extensively re-checked the check-generation machinery and updated
a bunch of comments.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13386 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 39b08d85652c321c2779a0256027d66144847c3c |
|
05-May-2013 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
valgrind side support for
Iop_F64toD64, Iop_D64toF64
Iop_F64toD128, Iop_D128toF64,
Iop_F128toD128, Iop_D128toF128
Companion patch of VEX r2717.
Patch by Maran Pakkirisamy (maranp@linux.vnet.ibm.com).
Part of fixing BZ #307113
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13382 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| a2f309566f7bdd7ac8e2347ef50e873894f95498 |
|
27-Mar-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Memcheck fixes for new IR ops introduced by r2702 (which added support
for AVX2, BMI1, BMI2 and FMA instructions). Part of #305728.
(Jakub Jelinek, jakub@redhat.com)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13338 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 07bfda2113275e92f0eacf9aaf5d6944a75fe86e |
|
29-Jan-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Non functional change (formatting, comments) related to newly created
Iex_ITE.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13276 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| a28c43c3aac5a8b1c5cdf4e47acab1b1f79de778 |
|
29-Jan-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix the mkLazy3 case for I32 x I8 x I128 -> I128.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13275 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 5686b2d7e97a6f65e436531dac999a52a3d3dac9 |
|
29-Jan-2013 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Infrastructure cleanup part 2. valgrind side changes.
Replace Iex_Mux0X with Iex_ITE (if-then-else).
Companion patch to VEX r2668.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13273 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| cc9616506450cb02944b62dc07774c29462bfefc |
|
26-Jan-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Changes to track r2664, which changed the type of the condition field
of Mux0X from Ity_I8 to Ity_I1. Patch from Florian Krohm.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13267 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| fb583cbc61a1d82a4a970887a6d54737038b71b6 |
|
22-Jan-2013 |
carll <carll@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix implementation of the DFP integer operands.
The implementation of integer operands doesn't really match the documentation
for the Iop. Take for example Iop_ExtractExpD64. It is documented as
D64 -> I64 but the implementation of the UNARY is defined as
UNARY(Ity_D64, Ity_D64). The result is an integer that is stored in an integer
format in a floating point register. On the IBM s390 however, the architecture
stores the integer value in a general purpose register (GPR) not a floating
point register. This issue exists with the implementation of 11 Iops where the
PPC implementation has either a source or destination whose value is an integer
but the value is stored in a floating point register in an integer format. After
reviewing the PPC implementation with the s390 developer, it was agreed the
cleanest way to fix this is to change the PPC implementation. The BINOP will be
changed to be consistent with the Iop description. This means the PPC
instruction implementation of the PPC instruction in guest_ppc_toIR.c will need
to reinterpret integer source operands as integers which will move the value
from a floating point register to an integer register before calling binop().
The underlying PPC implementation of the unop() for the specific Iop will also
need to change to move the value from the integer register back to the floating
point register so the native instruction can be issued with the integer value
in a floating point register. It was decided that making the changed in PPC,
rather then having the s390 reinterpret integers as DFP and then move the value
back to an integer register, was preferable as it makes the implementation of
the unop(), binops(), triop() consistent with the definition of the Iop.
This patch also includes the needed changes for the vbit tester. The Iop
definitions in memcheck/tests/vbit-test/util.c had to be updated to be consitent
with the changes in the Iops as documented below. Also, the function mkLazy3()
in memcheck/mc_translate.c had to be updated to handle the I32 x I8 x I64 -> I64
and I32 x I8 x I128 -> I128 cases.
The specific list of changes are as follows:
Iop name in pub/libvex_ir.h
documented type
type of UNARY/BINARY/TERNARY in priv/ir_defs.c
-------------------------------------------------------
Iop_ExtractExpD64
D64 -> I64
UNARY(Ity_D64, Ity_D64); (current)
UNARY(Ity_D64, Ity_I64); (fix)
Iop_ExtractExpD128
D128 -> I64
UNARY(Ity_D128, Ity_D64); (current)
UNARY(Ity_D128, Ity_I64); (fix)
Iop_InsertExpD64
I64 x I64 -> D64
I64 x D64 -> D64 (fix definition)
BINARY(Ity_D64,Ity_D64, Ity_D64); (current)
BINARY(Ity_I64,Ity_D64, Ity_D64); (fix)
Iop_InsertExpD128
I64 x I128 -> D128
I64 x D128 -> D128 (fix definition)
BINARY(Ity_D64,Ity_D128, Ity_D128); (current)
BINARY(Ity_I64,Ity_D128, Ity_D128); (fix)
Iop_I64StoD128
I64S -> D128
UNARY(Ity_D64, Ity_D128); (current)
UNARY(Ity_I64, Ity_D128); (fix)
Iop_D64toI64S
IRRoundingModeDFP(I32) x D64 -> I64
BINARY(ity_RMode, Ity_D64, Ity_D64) (current)
BINARY(ity_RMode, Ity_D64, Ity_I64) (fix)
Iop_D128toI64S
IRRoundingModeDFP(I32) x D128 -> I64
BINARY(ity_RMode, Ity_D128, Ity_D64); (current)
BINARY(ity_RMode, Ity_D128, Ity_I64); (fix)
Iop_I64StoD64
IRRoundingModeDFP(I32) x I64 -> D64
BINARY(ity_RMode, Ity_D64, Ity_D64); (current)
BINARY(ity_RMode, Ity_I64, Ity_D64); (fix)
Iop_SignificanceRoundD64
IRRoundingModeDFP(I32) x I8 x D64 -> D64
TERNARY(ity_RMode,Ity_D64,Ity_D64, Ity_D64); (current)
TERNARY(ity_RMode,Ity_I8,Ity_D64, Ity_D64); (fix)
Iop_SignificanceRoundD128
IRRoundingModeDFP(I32) x I8 x D128 -> D128
TERNARY(ity_RMode,Ity_D128,Ity_D128, Ity_D128); (current)
TERNARY(ity_RMode,Ity_I8,Ity_D128, Ity_D128); (fix)
The patch is for bugzilla 311100
VEX Committed revision 2652
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13260 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 6c0aa2cf8701e2ab6c4cc69db30654c24afc7dd5 |
|
21-Jan-2013 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
In mc_translate a NULL guard expression is sometimes passed around
functions to indicate a "true" expression. That caused some confusion
and led people to believe believe, that IRDirty::guard could be NULL.
It cannot.
This confusion was indirectly spotted by coverity's checker who figured
out that IRDirty::guard was sometimes unconditionally dereferenced
and sometimes compared against NULL.
Cleaning this up...
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13250 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| cafe50502ae73d6d6d0f214e06a4619e6cb1b278 |
|
17-Jan-2013 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Merge, from branches/COMEM, revisions 13139 to 13235.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13236 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 53eb2a0f3b35eafb8fa713566ca5b4e6e4f3490c |
|
12-Jan-2013 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add memcheck support for the IROps added in VEX r2631.
Adapt vbit-tester.
Patch by Maran Pakkirisamy (maranp@linux.vnet.ibm.com).
Part of fixing BZ 307113.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13224 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 974b409a9c293f1341f26bb2cfc13982af76b19b |
|
27-Dec-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
valgrind-side support for Iop_ExtractSigD64 and Iop_ExtractSigD128.
See also companion patch VEX r2621.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13211 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 29a36b99ad14c9c5a9aa5e89ff3e0d8274fc0339 |
|
26-Dec-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
valgrind side changes to support Iop_CmpExpD64 and Iop_CmpExpD128.
VEX buddy patch is r2617.
Enhance testcase for CEDTR and CEXTR. Adapt vbit tester.
Patch by Maran Pakkirisamy (maranp@linux.vnet.ibm.com).
This is part of fixing BZ 307113.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13203 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| f4bed371e207f1bb0e52b796ac5f81d93a88245f |
|
21-Dec-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix mc_translate for Iop_D64toD32.
Spotted and fixed by Maran Pakkirisamy (maranp@linux.vnet.ibm.com).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13193 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| f517634b4a879b7653efa40d60c62fa3419809ed |
|
13-Dec-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Valgrind-side changes for new primop Iop_GetMSBs8x16, introduced in
vex r2590.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13179 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 6bd9dc18c043927c1196caba20a327238a179c42 |
|
23-Nov-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Changes to allow compilation with -Wwrite-strings. That compiler option
is not used for testcases, just for valgrind proper.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13137 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 4cfa81b027d5952bfa9cc0ca05638483fde2eb9a |
|
08-Nov-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Improve accuracy of definedness tracking through the x86 PMOVMSKB and
BSF instructions, as the lack of it causes false positives (Valgrind
side). Fixes #308627. (Patrick J. LoPresti <lopresti@gmail.com>)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13108 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| a5f894c271248c13e0bb387e5ca33fa122b4819c |
|
21-Oct-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
First round of Char/HChar fixes for memcheck.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13071 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 11f3cc844c38a8388063230bbf7deb69fdf2b812 |
|
21-Oct-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Followup to constification of VEX's external interface (VEX r2555).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13066 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| ca503be79ca377d89b1692c37c97a06ed14dad3b |
|
07-Oct-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
This is the 2nd installment of the cache info reorganisation.
The host's VexArchInfo is passed to the tool instrumentation
functions. Purely mechanic patch.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13031 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9fb31093cfbaeba9ebb965b318d07fb344120666 |
|
17-Sep-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle Iop_QSub16Ux2, needed in fix for #304035.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12980 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 1b9609aa2638e4c81f3eb0d27fdaa4c944aaf33e |
|
01-Sep-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
s390: Valgrind-side changes to fixing bugzilla #274695:
Testcase, vbit tester update, memcheck support for the new IROps,
NEWS announcement and opcode list update.
Patch by Christian Borntraeger (borntraeger@de.ibm.com).
Vbit tester tweaks by myself.
Fixes bugzilla #274695.
See also companion patch VEX r2496.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12921 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 1943eb58b7e3a5c7b7108d33765b810192cda32c |
|
22-Aug-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix propagation of undefinedness for Iop_DPBtoBCD and Iop_BCDtoDPB.
Any undefined input bit will cause all output bits to be undefined.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12885 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 537ed2d090e7472a6cb2ee80239d4780551a5f19 |
|
20-Aug-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle the following IRops as they may get generated:
Iop_Mul8, Iop_Sar8, Iop_CmpwNEZ32, and Iop_8HLto16.
With this change mc_translate now handles all IR ops which are architecture
independent, except Iop_LeftXYZ and Iop_Max32U.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12884 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 7eb17a827d03c3f7c83f75b6634ea15cbdfede5a |
|
18-Aug-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Remove memcheck support for IR op Iop_I16StoF32 which is unused.
See also VEX r2471.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12877 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 03f8d3fc25f5a45c5826259d1b33b7f310117279 |
|
05-Aug-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Update copyright dates to include 2012.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12843 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 434ffae63b5e5460c0475dc24cd0383bc63fe1b8 |
|
19-Jul-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Observe guards on dirty helpers in memcheck.
This means, that any guest state and/or memory accesses of the helper (and
complaints about those) only occur if the guard expression is true at runtime.
Definedness of parameters that the helper might have is *always* checked,
as parameters are evaluated regardless of the guard expression.
New functions: expr2vbits_guarded_Load and gen_guarded_load_b.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12762 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 2157b2c139946c0b70c0e5e2ae2a38de57a43954 |
|
11-Jul-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
RM: Implement QADD and QSUB (valgrind side fixes). Fixes #286917.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12727 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| bd43bfa3f1672bae00037a1a213d8e452735af64 |
|
29-Jun-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Generate type-correct IR (always a good thing :-) when instrumenting
256 bit stores with --undef-value-errors=no.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12684 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 350e8f7a0ef0b83d7e9cf2d699284668e5b146f5 |
|
25-Jun-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add handling of 256-bit vector FP arithmetic ops, so as to support AVX.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12673 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| cda994be0e7356b10ad5771ffec348e42569762f |
|
08-Jun-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Amend do_shadow_Dirty and do_origins_Dirty so they no longer assert
if the helper call touches an odd number of bytes in memory.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12624 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 457cba665b03815e2f375abd093aac35aaab303a |
|
03-Jun-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
POWER Processor decimal FP support, part 5. (Valgrind side). Bug #299694.
(Carl Love, carll@us.ibm.com and Maynard Johnson, maynardj@us.ibm.com)
This patch adds support for Power Decimal Floating Point (DFP) . This
is the fifth patch set in the series of five to add the DFP
instruction support to Valgrind. Adds support for the ddedpd,
ddedpdq, denbcd, denbcdq, dtstsf, and dtstsfq instructions.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12603 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 26441746bda788fc0327527a62427ca562f25311 |
|
02-Jun-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Rippled from VEX r2366. Part of reducing size of IRExpr.
These are the valgrind bits.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12602 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e2ab2974c8bcaf3863956ba2d5368092a54e0703 |
|
01-Jun-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Ripple from VEX r2363. Part of reducing size of IRExpr.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12599 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 2eecb74d4a8816485c97ae8e535ce25511460bc8 |
|
01-Jun-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track the change to IRDirty guest state effect annotations introduced
in vex r2362.
mc_translate.c: also do PCast 64->32 a bit more efficiently.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12598 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d39b02261c40ae7b51bd2cdf56f8abf93c87bd46 |
|
31-May-2012 |
florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Reduce size of an IRStmt from 40 bytes to 32 bytes on LP64
by allocating the details of a PutI statement into a struct
of its own and link to that (as is being done for Dirty and CAS).
These are the valgrind bits (see also VEX r2361).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12596 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 45fa9f4bd1819c7ac0d9469df4e35cee0c130153 |
|
21-May-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add initial support for Intel AVX instructions (Valgrind side).
Tracker bug is #273475.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12569 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 0892b8268c61648ba031eba3dc83db8f4b036613 |
|
29-Apr-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Test cases for POWER Power Decimal Floating Point (DFP) test class,
test group and test exponent instructions dtstdc, dtstdcq, dtstdg,
dtstdgq, dtstex and dtstexq. Bug #298862. (Carl Love,
carll@us.ibm.com and Maynard Johnson, maynardj@us.ibm.com)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12546 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 18c72faa664f18877f33a40c8b429f3aa41dc5e2 |
|
23-Apr-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
POWER Processor decimal floating point instruction support, part 3 --
test cases. (Carl Love, carll@us.ibm.com). Bug 298080.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12541 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| ea8b02f730f184b4edb9ebe1ad07a5d823ef8155 |
|
12-Apr-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
POWER Processor decimal floating point instruction support: part 2
(bug #297497) (Carl Love, carll@us.ibm.com) (Valgrind side, mostly
tests)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12500 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b0ccb4d09a74c94a712b2edf9894b408f270493a |
|
02-Apr-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Initial support for POWER Processor decimal floating point
instruction support -- VEX side changes. See #295221.
This patch adds test cases. Also adds some minor Memcheck
instrumentation tweaks necessitated by the IR changes.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12476 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 54eac25a54a255d5deaa228547d2ef145590929b |
|
27-Mar-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
/* Do expensive interpretation for Iop_Add32 and Iop_Add64 on
Darwin. 10.7 is mostly built with LLVM, which uses these for
bitfield inserts, and we get a lot of false errors if the cheap
interpretation is used, alas. Could solve this much better if
we knew which of such adds came from x86/amd64 LEA instructions,
since these are the only ones really needing the expensive
interpretation, but that would require some way to tag them in
the _toIR.c front ends, which is a lot of faffing around. So
for now just use the slow and blunt-instrument solution. */
Pertains to, although does not completely solve, #242137.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12467 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 6643e96a72e8530a7c8830c02ffb2fb4aee74c88 |
|
17-Jan-2012 |
philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fixes 282230 group allocator for small fixed size, use it for MC_Chunk/SEc vbit
* new files include/pub_tool_groupalloc.h and coregrind/m_groupalloc.c
implementing a group allocator (based on helgrind group alloc).
* include/Makefile.am coregrind/Makefile.am : added pub_tool_groupalloc.h
and m_groupalloc.c
* helgrind/libhb_core.c : use pub_tool_groupalloc.h/m_groupalloc.c
instead of the local implementation.
* include/pub_tool_oset.h coregrind/m_oset.c : new function
allowing to create an oset that will use a pool allocator.
new function allowing to clone an oset (so as to share the pool alloc)
* memcheck/tests/unit_oset.c drd/tests/unit_bitmap.c : modified
so that it compiles with the new m_oset.c
* memcheck/mc_main.c : use group alloc for MC_Chunk
memcheck/mc_include.h : declare the MC_Chunk group alloc
* memcheck/mc_main.c : use group alloc for the nodes of the secVBitTable OSet
* include/pub_tool_hashtable.h coregrind/m_hashtable.c : pass the free node
function in the VG_(HT_destruct).
(needed as the hashtable user can allocate a node with its own alloc,
the hash table destroy must be able to free the nodes with the user
own free).
* coregrind/m_gdbserver/m_gdbserver.c : pass free function to VG_(HT_destruct)
* memcheck/mc_replace_strmem.c memcheck/mc_machine.c
memcheck/mc_malloc_wrappers.c memcheck/mc_leakcheck.c
memcheck/mc_errors.c memcheck/mc_translate.c : new include needed
due to group alloc.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12341 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| ec062e8d96a361af9905b5447027819dfbfee01a |
|
23-Oct-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Update all copyright dates, from 20xy-2010 to 20xy-2011.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12206 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b5a2923ecd25ae8ef4dc412e6af8de28c0b69b23 |
|
22-Oct-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Change and simplify the way that Memcheck instruments saturating
narrowing operations. The previous scheme was simply wrong and could
cause false negatives, by causing some narrowing operations to have a
defined output even when the inputs are undefined. This was what
#279698 reported. This patch is a fix for that bug.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12190 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9a2afe98c754faafb035b165bf844733dd896731 |
|
19-Oct-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle new Iop_CmpEQ64x2 introduced in vex r2218.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12165 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 169ac048e00bacd4dd5e16843404be9a958832ba |
|
05-Sep-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add support for new primops added in vex r2199.
See Bug 279994 comment 1.
(Maynard Johnson, maynardj@us.ibm.com)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12006 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| a201c45bddd4b13c00c171d707ad58b102569f41 |
|
24-Jul-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add support for IBM Power ISA 2.06 -- stage 2 (handle new
primops in Memcheck). Bug 276784.
(Maynard Johnson, maynardj@us.ibm.com)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11907 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 6e9de463ef677f093e9f24f126e1b11c28cf59fd |
|
28-Jun-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Delete the AIX5 port. The last release this worked for is 3.4.1,
and then only on AIX 5.2 and 5.3.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11842 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 7ee7d85cd336a7c3486b1e82306ef4bb248c82e0 |
|
16-Jun-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r2163 (en-mass renaming of vector narrowing and widening primops)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11819 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| bb0f6f4dbd082d75928f12e90a13a5d5a4a86d96 |
|
15-Jun-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Unbreak Altivec code following vex r2159 (renaming of
vector saturating narrowing primops)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11817 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 2a258897a1f1af8f5c7f0035a546971bce5c00b0 |
|
15-Jun-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Valgrind-side fixes and tests for PACKUSDW, to track r2160.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11816 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9beeb0a25c3734e90926731e9c207c2dfc7cf11f |
|
15-Jun-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track renaming of vector saturating narrowing primops in r2159.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11814 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9943003f546be63b208d02ab57fd31b1c00b8aba |
|
04-May-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
mkLazyN: fix incorrect type decl for 'mergeTy64', as spotted by IBM's
BEAM checker.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11726 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| f34eb496099507090f26dcf94bb780da8b3894e5 |
|
15-Apr-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add support for IBM Power ISA 2.06 -- stage 1. Valgrind-side changes
and test cases. Bug #267630 and followup fix #270794.
(Maynard Johnson, maynardj@us.ibm.com)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11697 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b5b87408c0c99f9f6938d8cd921e2a5f420577c4 |
|
07-Mar-2011 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add a port to IBM z/Architecture (s390x) running Linux -- Valgrind
side components. (Florian Krohm <britzel@acm.org> and Christian
Borntraeger <borntraeger@de.ibm.com>). Fixes #243404.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11604 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 5af0506e418c4b28e7538f8ad7991bb02a206fa7 |
|
18-Oct-2010 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle new Iop_Sad8Ux4 introduced in vex r2067.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11452 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| c678b85d7eb4e40d1ccb247a8d879ebde0a09aff |
|
22-Sep-2010 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle new 32-bit SIMD integer primops introduced in vex r2037.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11371 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 57f92b0326e164124201034afc0c51dcd8db6d07 |
|
22-Aug-2010 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Merge from branches/THUMB: tool-side handling of new primops required
for NEON support. Requires further checking.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11277 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d376a769d87c219f48bf180546af80bd6a9476f4 |
|
27-Jun-2010 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle new primop Iop_RoundF32toInt, needed by SSE4 ROUNDSS (vex
r1986).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11189 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b823b8531aedef4c8abff2544ea12aa0795e914d |
|
18-Jun-2010 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Valgrind-side changes needed to go with vex r1984 (Implement SSE4
insns: CMPGTQ PMAXUD PMINUD PMAXSB PMINSB PMULLD)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11181 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9eecbbb9a9cbbd30b903c09a9e04d8efc20bda33 |
|
03-May-2010 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Update copyright dates to 2010.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11121 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| aec1be3a7092715756648cf7e62466af5eab73c2 |
|
03-Jan-2010 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle Iop_SqrtF32.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11001 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 59570ffbe31930ab4d678754daaeec0715117a3d |
|
01-Jan-2010 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Merge from branches/ARM, all parts of the ARM-Linux port except for
the changes to do with reading and using ELF and DWARF3 info.
This breaks all targets except amd64-linux and x86-linux.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10982 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 06f96d01b9471616c142af3b9f4298cb265973cd |
|
31-Dec-2009 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track changes in the names of a few IR primops to do with int<->fp
conversions, as introduced in vex r1949.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10980 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| db5907d7b94ce492f29a96c95e186fdcda23a149 |
|
26-Nov-2009 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r1930 (Change the IR representation of load linked and store
conditional.) Completes the fix of #215771.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10957 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| afed4c5c73996f3039bf7dddc9cbe3fa105b68f9 |
|
12-Jul-2009 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r1907 (introduce Iop_CmpCas{EQ,NE}{8,16,32,64} and use them
for CAS-success? tests).
Detailed background and rationale in memcheck/mc_translate, comment
"COMMENT_ON_CasCmpEQ".
This commit changes the Memcheck instrumentation of IRCAS so as not to
do a definedness check on the success/failure indication. Also, by
being able to identify via the Iop_CasCmpEQ primitives any such checks
independently created by front ends, it can avoid instrumenting these
too.
All this is to avoid reporting new false positives observed on Fedora 7
(x86?) and openSUSE 10.2 (x86) following the recent merge of branches/DCAS.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10432 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 1c0ce7a9edf8772773f6216dbad4bb04317d23b6 |
|
01-Jul-2009 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Merge in branches/DCAS.
This branch adds proper support for atomic instructions, proper in the
sense that the atomicity is preserved through the compilation
pipeline, and thus in the instrumented code.
These changes track the IR changes added by vex r1901. They primarily
update the instrumentation functions in all tools to handle the
changes, with the exception of exp-ptrcheck, which needs some further
work in order to be able to run threaded code.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10392 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 4c245e595b9f6300d3120408ca873f7115d9cc7d |
|
16-Mar-2009 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix all the non-VEX problems identified with the Clang Static Analyzer.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9416 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9f207460d70d38c46c9e81996a3dcdf90961c6db |
|
10-Mar-2009 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Updated copyright years.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9344 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 17b4743b17a25cade63cdd72c8f5a558d412c39b |
|
17-Dec-2008 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add another magic constant to the Iex_Const case in isBogusAtom, as
seen in glibc on ppc32.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8828 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 8c93fcc1247c3c9fc3ac0617c607825a27c46c9d |
|
30-Oct-2008 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Origin tracking: handle 16-bit excess in guest state reads/writes.
This gets rid of the messages "Approx: do_origins_Dirty(R): missed %d
bytes\n" and "Approx: do_origins_Dirty(W): missed %d bytes\n".
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8719 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9c606bd8634cd6b67bb41fa645b5c639668cfa2d |
|
18-Sep-2008 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Merge all remaining changes from branches/PTRCHECK. These are some
relatively minor extensions to m_debuginfo, a major overhaul of
m_debuginfo/readdwarf3.c to get its space usage under control, and
changes throughout the system to enable heap-use profiling.
The majority of the merged changes were committed into
branches/PTRCHECK as the following revs: 8591 8595 8598 8599 8601 and
8161.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8621 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| dead90ad64759d1c800951ea2372949d43b29cc5 |
|
08-Aug-2008 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle new IR ops Iop_RoundF64toF64_*.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8520 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| afa617b9d5792ae31fc201b3549da3e3288bb37d |
|
22-Jul-2008 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Origin-tracking fix: make sure that we have a shadow-origin (B)
temporary defined for every (original) temp used in the block's IR
preamble, as is already done of the shadow-definedness (V)
temporaries. Otherwise we can end up generating references to B
temporaries that have no assigned value, which causes the IR sanity
checker to complain. Only observed (and even then rarely) on the
complex preambles sometimes used for TOC-afflicted platforms.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8450 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 7cf4e6b6aed533af53339f36099ed244dc4a5b7f |
|
01-May-2008 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Merge branches/OTRACK_BY_INSTRUMENTATION into the trunk. This adds
support to Memcheck for tracking the origin of uninitialised values,
if you use the --track-origins=yes flag.
This currently causes some Memcheck regression tests to fail, because
they now print an extra line of advisory text in their output. This
will be fixed.
The core-tool interface is slightly changed. The version number for
the interface needs to be incremented.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7982 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 4d474d086188fd1f29fa97dbd84d8ea2e589a9b8 |
|
11-Feb-2008 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Update copyright dates ("200X-2007" --> "200X-2008").
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7398 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 114a917710310985f421b0c4748d9788164fdfc3 |
|
09-Feb-2008 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Tool-side support for the new primops required by SSSE3 instructions.
I think this is all that is required on the tools side.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7384 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 72d75132068882b52b67dddc9af85ffaae5ac14f |
|
10-Nov-2007 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r1793: make all tools able to handle the new IR memory bus
event statement (Ist_MBE).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7119 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 81651dc1ae8cc13a5c857a0fb4137304ed17aa43 |
|
28-Aug-2007 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Merge, from CGTUNE branch, a cleaned up version of r6742:
Another optimisation: allow tools to provide a final_tidy function
which they can use to mess with the final post-tree-built IR before it
is handed off to instruction selection.
In memcheck, use this to remove redundant calls to
MC_(helperc_value_check0_fail) et al. Gives a 6% reduction in code
size for Memcheck on x86 and a smaller (3% ?) speedup.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6787 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 4cc684b9b2bc521d3a6f1f415dbe8d77f91401fd |
|
26-Aug-2007 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Merge from CGTUNE branch:
r6736:
Hook up Memcheck to the new Left and CmpwNEZ primops defined in vex r1769.
r6737:
Track vex r1770 (removal of Iop_Neg64/32/16/8 primops)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6779 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 6665ea2a7d2b734965d491bc6bc2e35c1a4a6f8a |
|
25-May-2007 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add a comment with a definitive account of when Memcheck does (and does not,
but should do) undefined value checks.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6750 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9ebd6e0c607fa30301b1325874eb8de871c21cc5 |
|
08-Jan-2007 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Update copyright dates.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6488 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 03809aeba113248d22eb6161bb7b7606aad56844 |
|
27-Dec-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle new primop Iop_SarN8x8 introduced in vex r1702.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6441 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 0b9d74abd0a663b530d290b2b788ddeda46e5400 |
|
24-Dec-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Non-functional commit: track IR renaming in vex r1689.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6416 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9a807e021bdfbcfb86cb0051e0e6e8a88e9eba5f |
|
17-Dec-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add missing case, apparently not very popular :-)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6406 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 149aed8dbfb2432fcc4785219f4620de5b8a8e10 |
|
25-Nov-2006 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Use the newly-added dopyIRBBExceptStmts() in tools.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6372 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| f1962d3683b9bc0b8ba361e3d0194590fde7090b |
|
19-Oct-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix bug in memcheck's instrumenter introduced in r6319. Big comment
in the code explains it. Sigh. Why can't anything be simple?
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6322 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| a087148a278b59856ec2247361d1902524c68f95 |
|
18-Oct-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Observe the rule that requires all instrumenters to copy verbatim any
IR preamble preceding the first IMark.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6319 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 634ba77657e28bd4568744eb1dcc0b2cb7108e5e |
|
15-Oct-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
wibble
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6235 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e4b0bf07b0ee0a18eacc5aba91686ab5fc1d327b |
|
06-Jun-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Update copyright dates.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5954 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 1d0825ff46d57f0ce83c3fa88538a42f67022eee |
|
27-Mar-2006 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Merge in the COMPVBITS branch to the trunk. This is a big change to
Memcheck, replacing the 9-bits-per-byte shadow memory representation to a
2-bits-per-byte representation (with possibly a little more on the side) by
taking advantage of the fact that extremely few memory bytes are partially
defined.
For the SPEC2k benchmarks with "test" inputs, this speeds up Memcheck by a
(geometric mean) factor of 1.20, and reduces the size of shadow memory by a
(geometric mean) factor of 4.26.
At the same time, Addrcheck is removed. It hadn't worked for quite some
time, and with these improvements in Memcheck its raisons-d'etre have
shrivelled so much that it's not worth the effort to keep around. Hooray!
Nb: this code hasn't been tested on PPC. If things go wrong, look first in
the fast stack-handling functions (eg. mc_new_mem_stack_160,
MC_(helperc_MAKE_STACK_UNINIT)).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5791 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 453e8f85186bf9f35c870059d5f4decf65f9e0aa |
|
09-Feb-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Get rid of general case in mkLazy3 and instead add new cases as they appear.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5621 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e91cea71129edc807428c8228d0d9f5b13894a5a |
|
08-Feb-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r1573 (introduction of 4-arg IR primops for ppc fmadd/fmsub).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5619 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d6075ebbdce70888ee82eaff9c1b53f04cbeb9f0 |
|
04-Feb-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Tidy up a couple more x86-related primops following rounding changes.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5608 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 22ac5f4e9561d5349d6864c42e7dddafb95e59a6 |
|
03-Feb-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Followup to r5605: fixes for x86
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5607 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| ed69fdb48673f1aaaa5ce3ff1997fb50d1e15e40 |
|
03-Feb-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
* Track introduction of IR ternary primops and rounding modes, at least as
to the extent needed to make ppc32 work.
* As a result, remove the replacements for glibc's floor/ceil fns on
ppc32/64, since vex can now correctly simulate the real ones.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5605 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 4f3e0f2d879e9f86896bfce4a4cc90fae8b936b6 |
|
27-Jan-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track vex r1553 (addition of Iop_Est8FRecip, case Iop_Est5FRSqrt)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5596 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 461df9c36f6a07e4f0c14ae068e8e8e9bd383b26 |
|
17-Jan-2006 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
These files all speak about instrumentation functions.
Instrumentation functions now take a callback closure structure
(VgCallbackClosure*), so this commit changes the signatures
accordingly.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5535 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b00944a4fc5320f4f9313d2090c32f6d36fd0d10 |
|
23-Dec-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle ppc64-related primops.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5420 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 53ee1fc8a2968c7e4d1eb75b89a8d4ff6908483c |
|
23-Dec-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Deal with function pointer vs function entry crazyness on ppc64-linux.
Memcheck is done, but any tool which generates IR helper calls will
need to be similarly adulterated.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5418 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 1bc8210aff6581dd3b48b72b6c27fdbbc6669e70 |
|
23-Dec-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle CmpORD64{U,S} as ppc64 requires those.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5415 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 13a49267f232b09c9b4a8edd01b2ac1b9d0724b9 |
|
19-Dec-2005 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Remove remaining profiling gunk from Memcheck.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5387 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 176cb4c42c42d4f126237eedbf324fdd3469eeb5 |
|
16-Nov-2005 |
cerion <cerion@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Added fp vector conversion/rounding irops to memcheck
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5149 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e78ba2a7c5a7d33f461626a0f84c3faaf2e43950 |
|
14-Nov-2005 |
cerion <cerion@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Couple more irops for memcheck.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5121 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| cbf8be74534db8c0a875185cb583502f0c113744 |
|
10-Nov-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Oops. Track primop renamings.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5074 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 43d607580781d902dd06b2c1175da5416f07581a |
|
10-Nov-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle IR primops arising from running Altivec code. It seems Altivec
is stronger in the vector integer area than SSE, but weaker in the
vector FP area.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5073 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 545663e151401958e8f5d0bf21843bcff3e62f1c |
|
05-Nov-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle vector FP unordered compares.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5013 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 620eb5bbfb2d16c432ec7fdedad0eaa898d0df5e |
|
22-Oct-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle a few more primops result from running Altivec code.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4964 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 4ba057cce1d81a949f5a899b5abb99e90a731bcc |
|
18-Oct-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Change the core-tool interface so that tools are fully aware of both
the guest extents for the presented translation and also its original
un-redirected guest address. These changes are needed in particular
to make cachegrind's code cache management work properly.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4943 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| a9e62a9997a442eecd38f81479c15792bca201ea |
|
07-Oct-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
ppc32 only: improve handling of CmpORD32S, so as to avoid false
positives from ppc code of the form "cmpi %reg,0 ; branch-if-negative
.." where the top bit of %reg is defined but not all of the other bits
are (common-ish enough to cause a considerable number of false
positives if not done right).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4890 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 992dff97aa9c074f86f831a76367fb55e0541da2 |
|
07-Oct-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix the handling of CmpORD32{S,U} which was completely bogus and
would have caused ppc32 to miss many uninitialised value errors.
(Change affects ppc32 only).
Also add reference to the Usenix paper.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4888 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| aaddbc281556387b2a16009e058f785fb4d5c576 |
|
07-Oct-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix a memcheck anomaly observed by Nick: lazy propagation of
undefinedness was not being done properly for scalar shifts and that
could have led to undefined-value errors being falsely reported in the
obscure case where the shift amount was undefined but the end result
of the shift was unused. This commit handles shifts more in
accordance with the maximally-lazy V-bit-testing scheme used by the
rest of memcheck.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4887 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| fafaa0d8a9f70c01dc72052f22e53a617e9d2e2f |
|
13-Sep-2005 |
cerion <cerion@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
add case Iop_V128to32 to memcheck
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4626 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| bef552a3841d959ca18fac4e5ac6925ea29dfd32 |
|
30-Aug-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix suspicious code in the memcheck instrumenter which probably
rendered many of the assertions in this file ineffective. Spotted by
Tom Truscott.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4587 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 463b3d94b19ec820c2378dde6d43d2c1f553a8d0 |
|
18-Jul-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track API changes in vex r1272.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4159 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 6e340c7a2c09971ac5ead854c40bbc0491b67636 |
|
10-Jul-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Clean up endianness macros a bit. Now pub_tool_basics.h defines
VG_LITTLEENDIAN or VG_BIGENDIAN and that's what should be used.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4142 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 8cf88b7b5d8325e098b455f502c9a9239c6ee011 |
|
08-Jul-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Create and use bigendian versions of MC_(helperc_{LOAD,STORE}V{2,4,8}).
This involved some serious nastyness from the Department of Cpp Abuse.
Memcheck still bombs on ppc32 for unknown reasons.
There are still endianness issues within these functions, I think.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4129 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 151b90d888b37cc8694684433cbed2ddc5fcd205 |
|
06-Jul-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Scan the entire BB looking for "bogus literals"* before instrumenting
any of it, so as to avoid any problems arising from switching from one
scheme to the other half-way through.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4117 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e6f8af482ef8992e0e1b2eba49cfa907a93f9b66 |
|
06-Jul-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Extensively re-analyse, re-check and revise the scheme for expensive
handling of integer EQ/NE, which can sometimes do better than the
naive scheme when the inputs are partially defined. I never was
convinced it was correct before, but now I am. Regtest to follow.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4115 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 2e595858903b80f29f271dc94e32a9e052bb4c8a |
|
01-Jul-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track Vex API change (r1239, introduction of endianness-indications in
IR loads and stores.)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4072 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d9774d73807c7292c72e1254119d6bd8ded81f15 |
|
27-Jun-2005 |
tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Improve handling of inlined strlen on amd64 by using the expensive
mode for 64 bit add and subtract operations when the bogus literals
flags is set and by adding two new constants to the list of bogus
literals.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4037 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9e5910872335c1ff7cb9733480904aa84dfe16ab |
|
23-Jun-2005 |
cerion <cerion@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Added DivU32,DivS32 to memcheck translation (lazy)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4004 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| c7561b931e249acf3768ead77638545b0ccaa8f1 |
|
19-Jun-2005 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Final commit for the initial modularisation pass:
- Broke part of m_scheduler off into a new module m_threadstate. It
contains ThreadState, VG_(threads)[] and some basic operations on the
thread table. All simple stuff, the complex stuff stays in m_scheduler.
This avoids lots of circular dependencies between m_scheduler and other
modules.
- Managed to finally remove core.h and tool.h, double hurrah!
- Introduced pub_tool_basics.h and pub_core_basics.h, one of which is
include by every single C file.
- Lots of little cleanups and changes related to the above.
- I even did a small amount of documentation updating.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3944 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 39cc73532a985e3fecf9bf3822fffc6466b38d80 |
|
09-Jun-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle Clz64 and Ctz64.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3863 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 132bfccd21960e462352175f8553a5bdce8a210c |
|
04-Jun-2005 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Modularised assertions and panics in m_libcassert.
As part of this, killed the VG_STRINGIFY macro, which was used to expand
out names like "VG_(foo)" and "vgPlain_foo" in assertion failure
messages. This is good since we actually want the "VG_(foo)" form used
in these messages.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3842 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 36a20fa5f779a0a6fb7b4a90dcaa6376481f1faa |
|
03-Jun-2005 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Modularise printing functions in m_libcprint.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3840 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 826ec49ac9fcbc4f9bb1134d3b8827e4ee0f7687 |
|
12-May-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Use the new IRStmt_AbiHints created by the amd64 front end. This
finally makes memcheck able to reliably track the definedness of the
stack on amd64.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3686 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 51d827bcd88ce045a383ea1ca81768757df2d1fa |
|
09-May-2005 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Big clean-up: changed the core/tool interface to be mediated entirely
through the VG_(tdict) function dictionary, rather than using TL_(foo)
functions.
This facilitated the following changes:
- Removed the "TL_" prefix, which is no longer needed.
- Removed the auto-generated files vg_toolint.[ch], which were no longer
needed, which simplifies the build a great deal. Their (greatly
streamlined) contents went into core.h and vg_needs.h (and will soon
go into a new module defining the core/tool interface).
This also meant that tool.h.base reverted to tool.h (so no more
accidentally editing tool.h and not having the changes go into the
repo, hooray!) And gen_toolint.pl was removed. And toolfuncs.def was
removed.
- Removed VG_(missing_tool_func)(), no longer used.
- Bumped the core/tool interface major version number to 8. And I
killed the minor version number, which was never used. The layout
of the ToolInfo struct is such that this should not cause problems.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3644 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e53bd99542226fcc64fe51c1e4158248993fc852 |
|
03-May-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle Iop_Neg{8,16,32}.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3601 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d9dbc19c507323f02079ea4ee3cca66149f7357c |
|
27-Apr-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle various new 64-bit integer primops.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3576 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 37c31ccc12f6b479b06fbe94f8f74814fb553c28 |
|
27-Apr-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
* Modify the instrumenter to use the new primops introduced in
vex rev 1144.
* Observe that mkLazy2 generates IR which often turns into
long and slow code sequences in the back end, primarily because
PCast operations are expensive. Add a couple of special
cases which give noticably better performance when handling
FP-intensive code on x86.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3572 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| cd986336a55192fe237a72b323b378b674af38e0 |
|
26-Apr-2005 |
tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Support the 64 bit comparison instructions which vex is now using.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3570 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 96a922e5fe4ef47150f1116001ebab3b98c61ea3 |
|
24-Apr-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add 64-bit values to the bogus-literal detector.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3548 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 11bcc4ec8e861aea0dc36b32f6fcc9300dddd577 |
|
24-Apr-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle 8-byte value-check failures using a special fast-case fn (like
0,1,4 sized) rather than the generic one. Remove size 2 since that
never seems to get used.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3545 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 69a1332a98a195be9300c5c5b5e5add32bae5aa6 |
|
23-Apr-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add a few cases arising from testing on amd64.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3544 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 6cf40ffd6d17589c81b6fe6a0da6f4b6b83c4f80 |
|
21-Apr-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix a bunch of 64-bit cases required amd64. Stop to ponder whether
there is a better way to handle the 'pessimising cast' family of
operations in such a way that Vex's back-end instruction selectors can
generate better code than they do now, with less verbosity and general
confusingness in the insn selectors.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3536 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 96403eb283475bee96cce41daf4c0c54924daf2e |
|
01-Apr-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add a missing case. I guess it can't have been wildly popular :-)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3496 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d54babf82db303dfe43082bfe1af75d7b58b3267 |
|
21-Mar-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track Vex API change in rev 1062: pass both the guest and host word
sizes to the instrumentatation functions. Make most of the tools
abort if they are not the same; we can't handle that case yet.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3397 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 21dc345ce861ac5a5686391b77659934c1d49a3e |
|
21-Mar-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track Vex API (semantics) changes in rev 1061: introduction of IRStmt_NoOp.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3396 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 710d6c27c3ce7bf26639bda3ab4f42695bc92c2c |
|
20-Mar-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track minor Vex API changes that occurred in Vex rev 1059.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3393 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 29faa50dd7ea4d4a8aa3c82b299bb38880e19237 |
|
16-Mar-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Make existing tools aware of IR instruction marks. (They ignore them,
though).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3381 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 5361242f022b38fadb4cdf02428cea8b8d901a90 |
|
12-Mar-2005 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Update copyright notice for 2005 on all relevant files. Don't bother trying
to be selective about it.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3303 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 20d38f29475b36dc3ced6ee96fd6b7651faf31c8 |
|
08-Feb-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Track renaming of Vex's Iop_*128* primops to Iop_*V128*.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3232 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 681be302af5528c2cb415270da9fde2e7f347e69 |
|
15-Jan-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle Add64/Sub64 (naively).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3224 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| acd2e910861cfc0f95229401922d38d7ce9c6259 |
|
13-Jan-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add support for 64-bit SIMD primops.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3223 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| bd598e1577f3e9c70978d2f7c77cbbd5af0c7ecd |
|
07-Jan-2005 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle IRStmt_MFence in the tools.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3217 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d5204dcce510ae2bc6cc956c13cd4700980fe6d1 |
|
31-Dec-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Finishing installing PaulM's improved accuracy handling for Add/Sub,
and also do better for CmpEQ/CmpNE.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3212 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e50a1b14b5ec5a180d2797614de48b19129c9e4f |
|
17-Dec-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
mkUifU: add missing case
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3205 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| db67f5fbbfcf585bf4ff553ab555b9e4ffc1d195 |
|
14-Dec-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle Iop_Sar16.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3197 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| a1d9330a6d80e3c1ab69d7f0d0ad6c45b8a5cd38 |
|
12-Dec-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Complete enough 128-bit vector stuff in memcheck so that SSE2 works.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3192 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 0b07059814aee8563905f2caeef186a8c83072cf |
|
10-Dec-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Support for 64x2 vector floating point.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3191 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 170ee210842367a5cc52390358ba560774f76329 |
|
10-Dec-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Stuff to make Memcheck work with SSE1 instructions.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3190 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 3245c919d273a73ce23632d6a3ab4fc027fefcd9 |
|
10-Dec-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Basics for 128-bit SIMD code.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3189 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 7010f6eec42f5ace7c02c582e12d8150c2a2c964 |
|
10-Dec-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix enough stuff so that x86 MMX tests work.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3188 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e9e16d3699cb81d5610a567c3e11d54402b0c162 |
|
10-Dec-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix enough stuff so that x86 floating point tests work properly.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3187 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 7cf97ee841afd255879bff9ff791fbabb7f95cec |
|
28-Nov-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Build fixes for gcc-2.95.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3132 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| a72032508d826f53df7e1211327f5321d9fba56f |
|
26-Nov-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
When doing pessimistic lazy propagation through a dirty helper call,
do not consider inputs from those parts of the guest state marked as
read (or modified) which which are declared to be always-defined, and
dually do write outputs to those parts of the guest state written (or
modified) which are declared to be always-defined.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3119 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 95448075345dc73986042f6dc68eb464d02bc6a8 |
|
22-Nov-2004 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Make Memcheck compilable.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3065 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 26f025100805e561354c8c98b5ebb0c4a517d9a9 |
|
22-Nov-2004 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Converted the SK_ prefix to TL_ everywhere.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3060 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 6799325d013e8e5668c2b8727203c77294ccd202 |
|
22-Nov-2004 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Renamed VG_(skin_panic) as VG_(tool_panic).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3057 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| ca82cc01fb1580551144b69d3f17213a80d952e1 |
|
22-Nov-2004 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Renamed sk_assert() as tl_assert().
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3055 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 885dd9184175039b5ddeff4c2b2b644d5a25ec91 |
|
04-Aug-2004 |
nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Tweaked sanity-checking: made function naming more consistent, removed
unnecessarily global functions from vg_include.h, etc.
Also tweaked printing of malloc stats.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2562 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 996901a830e8e7c3fd8be8f0c675c71f2b108957 |
|
03-Aug-2004 |
nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Comment changes only: s/skin/tool/
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2555 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 0987528f744321ecbf9b745746b044dcf29d468e |
|
26-Apr-2004 |
nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Add missing SSE case for Memcheck's instrumentation (sigh).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2389 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 0e5d2e30d91eac63c19ccc3ca68092f7654a5862 |
|
22-Apr-2004 |
nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
SETV and TESTV never have an ArchReg as their first argument.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2383 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 989df357e73f8d4f2b88c1bce626272c68976e9e |
|
28-Mar-2004 |
thughes <thughes@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fix typo in FPU eflags fix.
CCMAIL: 78514-done@bugs.kde.org
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2345 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d88f41545012708f5d79335bafb5858ad57f1d55 |
|
28-Mar-2004 |
thughes <thughes@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
For FPU/MMX/SSE instructions which don't reference any memory, make memcheck
look at whether the eflags are read or written and generate UCode to validate
and/or mark as valid the eflags when necessary.
CCMAIL: 78514-done@bugs.kde.org
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2344 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 96b466ac1bc4b09b45c08b79cdadd3d42461bc2b |
|
15-Mar-2004 |
thughes <thughes@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Move the handling of PSHUFW from the SSE code to the MMX code so that
it will work on older Athlons which only have MMXEXT support.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2319 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 1018bdd2cba920fd768aba7e4c8a823a6cbdf17b |
|
12-Feb-2004 |
nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Heroic patch from Tom Hughes:
This patch adds translation tests for most of the basic x86 instructions and
fixes a few missing/broken instructions to work properly.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2242 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b1affa88ef798064014f9657fa6bb4a8501fdbf8 |
|
19-Jan-2004 |
nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Patch from Tom Hughes, for bug 72643:
Patch to improve SSE/SS2 support
This patch should implement most of the missing SSE/SSE2 opcodes. About
the only ones it doesn't do are the MASKMOVxxx ones as they are quite
horrible and involved an implicit reference to EDI so I need to think
about them a bit more.
The patch also includes a set of tests for the MMX/SSE/SSE2 opcodes to
validate that they have the same effect under valgrind as they do when
run normally. In one or two cases this wasn't actually the case even
for some of the implemented opcodes, so I fixed those as well ;-)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2202 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| fca60182e856482778cdc95788b6ddf0f5303169 |
|
05-Jan-2004 |
jseward <jseward@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Support for FXSAVE/FXRSTOR (Tom Hughes). Fixes #71180.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2183 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| bb1c99123c95fb9a4a2617d6e1d09559ac68db80 |
|
04-Jan-2004 |
nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Updated copyright dates for 2004. Also added a couple of missing headers and
footers to some new files.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2177 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 00a8a6fb0a8ea5452cbe18015f4a5c630e835af7 |
|
02-Jan-2004 |
mueller <mueller@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
fix comment
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2157 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 137bc55f216bc7d9528f159a78cdf9025e0b02ff |
|
14-Nov-2003 |
nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Started to rescind the name "skin", replacing it with "tool". Did this in all
the places that normal users will see:
- command line: --tool=foo (although --skin=foo still works)
- docs: removed all traces (included renaming coregrind_skins.html to
coregrind_tools.html)
- in the usage messages
- in error messages
Also did in in some places that I judged were unlikely to cause clashes with
existing workspaces:
- in the header comments of many files (eg. "This file is part of Memcheck, a
Valgrind tool for...")
- in the regtests script
- in the .supp files
- in AUTHORS
- in README_MISSING_SYSCALL_OR_IOCTL
Also update the AUTHORS file to mention Jeremy.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2027 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 77d30a2f72872e990a7604f029153d5f4fed665e |
|
19-Oct-2003 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
SSE/SSE2 fixes needed to run the entire test suite of the GNU
Scientific Library (gsl-1.4) compiled with Intel Icc 7.1 20030307Z '-g
-O -xW'. I think this gives pretty good coverage of SSE/SSE2 floating
point instructions, or at least the subset emitted by Icc. So far
tested on memcheck and nulgrind; addrcheck and cachesim still testing.
MERGE TO STABLE
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1955 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b11168575af550e72048e09e1f372eeb13a32be6 |
|
17-Oct-2003 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Clean up and extend some of the SSE instrumentation cases.
MERGE TO STABLE
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1948 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 5efa4fd5de1172b0ed9de484c9b22af4bf0b1ae7 |
|
14-Oct-2003 |
jsgf <jsgf@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
This creates a new UInstr for multiply. This is mainly so that memcheck
can treat it like add and generate partially-defined results of multiply
with partially defined arguments. It may also speed things up a bit,
if they use lots of multiplies.
This change only deals with signed "new style" multiplies. That the x86
has two quite different kinds of multiply instructions: the "old-style"
signed and unsigned multiply which uses fixed registers (eax:edx) and
generates a result twice the size of the arguments, and the newer signed
multiple which takes general addressing modes. It seems that gcc always
(almost always?) generates the new signed multiply instructions, except
for byte-sized multiplies.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1925 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 247f32f9a8725d69b03690a287f0832108cefdc5 |
|
03-Oct-2003 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Handle SSE5.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1891 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b2d443246407e9dcd733cdeb87ef810ede51b929 |
|
27-Sep-2003 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Remove extraneous tabs from Memcheck --trace-codegen output.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1838 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| b6d9b5426120bb87736591d22376e94355130bfb |
|
26-Sep-2003 |
daywalker <daywalker@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
implement all SSE(2) ucodes. now I can run mplayer in valgrind :)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1832 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 0d14a5615051092ba1482572a5c2db49a17f1682 |
|
04-Sep-2003 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Trivial assertion fix -- the SSE3 instructions can be of size 8.
MERGE TO STABLE
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1811 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| fa509e24b59d8f247b44cea2d04d3b19b54c85e8 |
|
28-Aug-2003 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Minor fix: errors on MMX_MemRd instructions were erroneously being called
writes.
MERGE TO STABLE
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1807 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 4fbe6e9ff89567e4c8cc7fdf579ad5b8c25ce1d0 |
|
15-Jun-2003 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Rename the SSE and MMX uinstrs which read/write integer registers, in
a way consistent with the position of the register field in the
instruction. In Intel encoding parlance, the G register is in bits
5,4,3 and the E register is bits 2,1,0, and so we adopt this scheme
consistently. Considering how much confusion this has caused me in
this recent bout of SSE hacking, consistent renaming can only be a
good thing. It makes it a lot easier to figure out if parts of the
SSE handling machinery are correct, or not.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1698 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 93992e2a8310f9ba5e1d2d2fac92e78912772405 |
|
26-May-2003 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Teach memcheck about the SSE UInstrs generated thus far. So now the
Qt GL demos run on memcheck.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1653 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 0e1b514ab8e837f75a207a037ea53a6a721e9d28 |
|
15-Apr-2003 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Updated copyright notices for 2003. Only 4 months late.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1526 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d1c9e43c3272d8984ca1da1322a43f05c2e1962e |
|
04-Apr-2003 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Implement MMX movd where the src is an mmxreg and the dst is an ireg or
memory.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1507 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d7971010f75e299ecba7a28eb836d872549beef1 |
|
04-Apr-2003 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Rationalise ucode generation for 4-byte moves into the MMX unit (movd).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1506 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 901a4a946376b70c7c87f750dc3eef44e78032be |
|
30-Mar-2003 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Teach memcheck skin how to deal with MMX instrumentation.
Valgrind should now be fairly usable with MMX code.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1490 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 3d7c9c8c2e4882c787a9b63befe095785f3d5d07 |
|
26-Mar-2003 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Implement support for the MMX instruction set. The scheme used is
the same as that for FPU instructions. That is, regard the MMX state
(which is the same as the FPU state) opaquely, and every time we
need to do a MMX instruction, move the simulated MMX state into the
real CPU, do the instruction, and move it back. JeremyF's optimisation
to minimise FPU saves/restores applies automatically here.
So, this scheme is simple. It will cause memcheck to complain bitterly
if uninitialised data is copied through the MMX registers, in the same
way that memcheck complains if you move uninit data through the FPU
registers. Whether this turns out to be a problem remains to be seen.
Most instructions are done, and doing the rest is easy enough, I just
need people to send test cases so I can do them on demand.
(Core) UCode has been extended with 7 new uinstrs:
MMX1 MMX2 MMX3
-- 1/2/3 byte mmx insns, no references to
integer regs or memory, copy exactly to the output stream.
MMX_MemRd MMX_MemWr
-- 2 byte mmx insns which read/write memory and therefore need
to have an address register patched in at code generation
time. These are the analogues to FPU_R / FPU_W.
MMX_RegRd MMX_RegWr
-- These have no analogues in FPU land. They hold 2 byte insns
which move data to/from a normal integer register (%eax etc),
and so this has to be made explicit so that (1) a suitable
int reg can be patched in at codegen time, and (2) so that
memcheck can do suitable magic with the V bits going into/
out of the MMX regs.
Nulgrind (ok, this is a nop, but still ...) and AddrCheck's
instrumenters have been extended to cover these new UInstrs. All
others (cachesim, memcheck, lackey, helgrind, did I forget any)
abort when they see any of them. This may be overkill but at least
it ensures we don't forget to implement it in those skins.
[A bad thing would be that some skin silently passes along
MMX uinstrs because of a default: case, when it should actually
do something with them.]
If this works out well, I propose to backport this to 2_0_BRANCH.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1483 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| f4ce3d3d18a160af87f3aa7b60363894db10d486 |
|
10-Feb-2003 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Fixed a minor bug -- the condition for determining whether
VG_(handle_esp_assignment)() was needed by a skin (and thus whether to register
it in the baseBlock) was different to that used when determining whether to
call it in code generation... so it could be (attempted to be) called having
not been registered.
Fixed this by consistifying the conditions, using a function
VG_(need_to_handle_esp_assignment)() that is used in both places. The bug
hadn't been found previously because no existing skin exercised the mismatched
conditions in conflicting ways.
Also took VG_(track).post_mem_write out of consideration because it's no longer
important (due to a change in how stack switching is detected).
----
Improved the error message for when a helper can't be found in the baseBlock --
now looks up the debug info to tell you the name of the not-found function.
----
Increased the number of noncompact helpers allowed from 8 to 24
----
Removed a magic number that was hardcoded all over the place, introducing
VG_MAX_REGS_USED for the size of the arrays needed by VG_(get_reg_usage)()
----
Also added these functions
VG_(get_archreg)()
VG_(get_thread_archreg)()
VG_(get_thread_shadow_archreg)()
VG_(set_thread_shadow_archreg)()
which can be useful for skins.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1419 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 51647488cc84a206e3e9b4ca773606bfe848adb5 |
|
15-Dec-2002 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Get rid of the --check-addrVs flag and everything to do with it.
It no longer makes much sense now we have a seperate addrcheck skin.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1371 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 5c004e4befbb4bb13d9bdb5084748585ea2b9ec3 |
|
18-Nov-2002 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Overview:
- Factored out a lot of commonality between AddrCheck and MemCheck. Basic
idea is that common code goes into a single file in MemCheck, and AddrCheck
peeks in and "borrows" it.
More or less, only identical code or identical-with-respect-to-subtypes
code was factored out.
Identical-with-respect-to-subtypes means that some enum types (SuppKind,
ErrorKind, etc) were merged because they were identical except that
MemCheck had some extra constants. So some of the code borrowed by
AddrCheck contains cases it never needs. But that's not so bad, avoiding
the duplication is IMHO more important.
Removed:
- ac_include.h, it wasn't necessary
- All the old debugging stuff from ac_main.c (printing shadow regs, not
applicable for AddrCheck).
- MANUAL_DEPS from memcheck/Makefile.am because it wasn't doing anything
- Some unnecessary crud from addrcheck/Makefile.am
Added:
- memcheck/mc_common.{c,h}
- memcheck/mc_constants.h
- addrcheck/ac_common.c, which simply #includes memcheck/mc_common.c. This
hack was required because there is no way (that I could work out) to tell
Automake that it should build ../memcheck/mc_common.o before building
AddrCheck.
Changed:
- a lot of prefixes from SK_ to MC_; only core/skin interface functions are
prefixed with SK_ now. This makes it clear which functions are from the
core/skin interface, and for AddrCheck it's clear which functions are
shared with/borrowed from MemCheck. Changed some related prefixes for
consistency.
- Also factored out some duplication within AddrCheck -- some accessibility
checking was needlessly split up into separate read and write checks that
did the same thing.
Unchanged:
- I considered moving the leak detector out of core into mc_common.c, but
didn't, because it constantly accesses ShadowChunk fields and converting to
get/set methods would have been a total pain.
- Left old debugging stuff in for MemCheck, although I seriously doubt it
would still work.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1325 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 810086f9489e1cb373bcfc15ab94a3fa3ec403f3 |
|
14-Nov-2002 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Lots of changes to future-proof the core/skin interface, making it less likely
that changes will cause binary incompatibilities. Mostly done by hiding naked
structs with function calls.
Structs hidden in this way were: UCodeBlock, SkinSupp and SkinError (which were
merged back with CoreSupp and CoreError into single types Supp and Error),
ShadowChunk, VgDetails, VgNeeds and VgTrackEvents. The last three are the most
important ones, as they are (I think) the most likely to change.
Suitable get()/set() methods were defined for each one. The way UCodeBlocks
are copied for instrumentation by skins is a little different now, using
setup_UCodeBlock. Had to add a few other functions here n there. Changed
how SK_(complete_shadow_chunk) works a bit.
Added a file coregrind/vg_needs.c which contains all the get/set functions.
It's pretty simple.
The changes are not totally ideal -- eg. ShadowChunks has get()/set() methods
for its `next' field which arguably shouldn't be exposed (betraying the fact
that it's a linked list), and the get()/set() methods are a bit cumbersome at
times, esp. for `Error' because the fields are accessed quite a few times, and
the treatment of Supps and Errors is a bit inconsistent (but they are used in
different ways), and sizeof_shadow_blocks is still a hack. But still better
than naked structs. And one advantage is that a bit of sanity checking can be
performed by the get()/set() methods, as is done for VG_({get,set}_sc_extra)()
to make sure no reading/writing occurs outside the allowed area.
I didn't do it for UInstr, because its fields are accessed directly in lots and
lots of spots, which would have been a great big pain and I was a little
worried about overhead of calling lots of extra functions, although in practice
translation times are small enough that it probably doesn't matter.
Updated the example skin and the docs, too, hurrah.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1314 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 7a5ebcf66cfbd2fefa261cfbaf5f03527c299a29 |
|
13-Nov-2002 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Merge patch from JeremyF:
39-lock-prefix
Add a new UInstr LOCK to represent a "lock" prefix in the instruction
stream. This has the same semantics as NOP, but allows a skin to tell
whether a group of UInstrs associated with an x86 instruction are
meant to be locked.
HELGRIND: uses the LOCK UInstr to automatically take and release a
special __BUS_HARDWARE_LOCK__ around locked instructions. This only
works properly if all instructions touching a given address are locked
(even reads).
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1310 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 8ec2cfcb9c1267fd7b20529f1b95973a9712b872 |
|
13-Oct-2002 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Incorporate horrible hack to workaround problem of emitting bogus
uninit-value errors on code with inlined strlen() et al from gcc-3.1
and above.
MERGE TO STABLE
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1213 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| ac6c17667e489215a0795c24cc1b202254582a4f |
|
04-Oct-2002 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Moved the following macros, which were defined multiple times in multiple
files, into vg_skin.h:
uInstr0, uInstr1, uInstr2, uInstr3, nameIReg, nameISize, nameSReg,
newTemp, newShadow, uLiteral, uCCall
As macros they avoid namespace problems (they expand to VG_(whatever)) so
this should work fine.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1182 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| c953984b8ee34ac55830b9871138b409d9d9476c |
|
02-Oct-2002 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Updated file descriptions in the copyright notices to reflect the core/skin
split. Each skin now has its own two-line description.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1166 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e427a6636de5b2d34c2223821ff5cbf79bad4fad |
|
02-Oct-2002 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Changes made so that skin error "report this bug to" messages are distinguished
from core error ones:
- Split up VG_(panic) into VG_(core_panic) and VG_(skin_panic)
- Likewise, split vg_assert into vg_assert and sk_assert
- Added a new need string: `bug_reports_to'
- Removed VG_(skin_error) which was a previous wussy attempt at this change.
This removed the need for the hacky redeclaration of VG_(skin_error) in
vg_profile.c, which is good.
At the moment, Julian and Nick's email addresses are hard-coded into each skin
individually, rather than using a #define in vg_skin.h, because that didn't
feel quite right to me... jseward@acm.org is still done with a #define for
core errors, though.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1164 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 9b22bca70157d5c00b9bab1df8328d02248b2783 |
|
01-Oct-2002 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Remove comment that nobody can make sense of.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1147 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| d077f533d5422966ab9f013ccbeb0c8ecc8506ff |
|
30-Sep-2002 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Teach memcheck about instrumenting {GET,PUT,USE}SEG.
Also implement MOV Sw,Ew.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1141 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| 4ba5a79d946b22c52856d62dca7c927cb306dfa3 |
|
30-Sep-2002 |
njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Converted all functions visible from vg_skin.h with names in CamelCaps to
use_under_scores instead, to be consistent.
Also added some missing 'extern's on function declarations in vg_skin.h.
Also added a quick note in vg_regtest.in on the simplest way to run regression
tests.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1135 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| cac76cb18577b9c51d331f56e8ea241f6effaf31 |
|
23-Sep-2002 |
njn25 <njn25@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Changed lots of files for the new core/ + skin/ directory structure:
- changed lots of Makefile.am files
- changed configure.in
- changed lots of #include lines for changed file names
- changed lots of file headers n footers for changed file names
- changed vg_regtest to handle new directory structure -- recursively
traverses subdirectories for .vgtest test files
- changed lots of paths in memcheck/ regression test expected outputs
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1090 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|
| e49d8e7dfd3a9c96feb9935b5920973dfc0b170a |
|
23-Sep-2002 |
njn25 <njn25@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Files updated, added and removed in order to turn the ERASER branch into HEAD
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1086 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/mc_translate.c
|