================================================= ./valgrind-new/drd/tests/tc12_rwl_trivial.stderr.diff ================================================= --- tc12_rwl_trivial.stderr.exp 2015-04-07 02:46:50.820205354 +0100 +++ tc12_rwl_trivial.stderr.out 2015-04-07 03:01:33.067821246 +0100 @@ -6,5 +6,31 @@ at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?) by 0x........: main (tc12_rwl_trivial.c:24) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + at 0x........: _xend (pthread_rwlock_unlock.c:?) + by 0x........: pthread_rwlock_unlock (pthread_rwlock_unlock.c:?) + by 0x........: pthread_rwlock_unlock (drd_pthread_intercepts.c:?) + by 0x........: main (tc12_rwl_trivial.c:35) +Your program just tried to execute an instruction that Valgrind +did not recognise. There are two possible reasons for this. +1. Your program has a bug and erroneously jumped to a non-code + location. If you are running Memcheck and you just saw a + warning about a bad jump, it's probably your program's fault. +2. The instruction is legitimate but Valgrind doesn't handle it, + i.e. it's Valgrind's fault. If you think this is the case or + you are not sure, please let us know and we'll try to fix it. +Either way, Valgrind will now raise a SIGILL signal which will +probably kill your program. + +Process terminating with default action of signal 4 (SIGILL) + Illegal opcode at address 0x........ + at 0x........: _xend (pthread_rwlock_unlock.c:?) + by 0x........: pthread_rwlock_unlock (pthread_rwlock_unlock.c:?) + by 0x........: pthread_rwlock_unlock (drd_pthread_intercepts.c:?) + by 0x........: main (tc12_rwl_trivial.c:35) ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) ================================================= ./valgrind-new/gdbserver_tests/hgtls.stdoutB.diff ================================================= --- hgtls.stdoutB.exp 2015-04-07 02:46:46.407263165 +0100 +++ hgtls.stdoutB.out 2015-04-07 02:50:11.195824114 +0100 @@ -35,11 +35,11 @@ [New Thread ....] Breakpoint 1, tls_ptr (p=0x........) at tls.c:55 55 int here = 0; -test so_extern tls_ip 0x........ ip 0x........ equal 1 +test so_extern tls_ip 0x........ ip 0x........ equal 0 [New Thread ....] Breakpoint 1, tls_ptr (p=0x........) at tls.c:55 55 int here = 0; -test so_extern tls_ip 0x........ ip 0x........ equal 1 +test so_extern tls_ip 0x........ ip 0x........ equal 0 [New Thread ....] Breakpoint 1, tls_ptr (p=0x........) at tls.c:55 55 int here = 0; ================================================= ./valgrind-new/helgrind/tests/tc12_rwl_trivial.stderr.diff ================================================= --- tc12_rwl_trivial.stderr.exp 2015-04-07 02:46:48.135240528 +0100 +++ tc12_rwl_trivial.stderr.out 2015-04-07 02:56:47.921198123 +0100 @@ -17,5 +17,31 @@ in frame #x, created by main (tc12_rwl_trivial.c:20) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) + by 0x........: main (tc12_rwl_trivial.c:35) +Your program just tried to execute an instruction that Valgrind +did not recognise. There are two possible reasons for this. +1. Your program has a bug and erroneously jumped to a non-code + location. If you are running Memcheck and you just saw a + warning about a bad jump, it's probably your program's fault. +2. The instruction is legitimate but Valgrind doesn't handle it, + i.e. it's Valgrind's fault. If you think this is the case or + you are not sure, please let us know and we'll try to fix it. +Either way, Valgrind will now raise a SIGILL signal which will +probably kill your program. + +Process terminating with default action of signal 4 (SIGILL) + Illegal opcode at address 0x........ + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) + by 0x........: main (tc12_rwl_trivial.c:35) ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) ================================================= ./valgrind-new/helgrind/tests/tc12_rwl_trivial.stderr.diff-darwin970 ================================================= --- tc12_rwl_trivial.stderr.exp-darwin970 2015-04-07 02:46:48.125240659 +0100 +++ tc12_rwl_trivial.stderr.out 2015-04-07 02:56:47.921198123 +0100 @@ -1,17 +1,47 @@ +---Thread-Announcement------------------------------------------ + Thread #x is the program's root thread +---------------------------------------------------------------- + Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock* (hg_intercepts.c:...) + at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc12_rwl_trivial.c:35) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init* (hg_intercepts.c:...) + Lock at 0x........ was first observed + at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_init (hg_intercepts.c:...) by 0x........: main (tc12_rwl_trivial.c:24) + Address 0x........ is on thread #x's stack + in frame #x, created by main (tc12_rwl_trivial.c:20) -Thread #x's call to pthread_rwlock_unlock failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: pthread_rwlock_unlock* (hg_intercepts.c:...) + +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc12_rwl_trivial.c:35) +Your program just tried to execute an instruction that Valgrind +did not recognise. There are two possible reasons for this. +1. Your program has a bug and erroneously jumped to a non-code + location. If you are running Memcheck and you just saw a + warning about a bad jump, it's probably your program's fault. +2. The instruction is legitimate but Valgrind doesn't handle it, + i.e. it's Valgrind's fault. If you think this is the case or + you are not sure, please let us know and we'll try to fix it. +Either way, Valgrind will now raise a SIGILL signal which will +probably kill your program. +Process terminating with default action of signal 4 (SIGILL) + Illegal opcode at address 0x........ + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) + by 0x........: main (tc12_rwl_trivial.c:35) -ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0) +ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) ================================================= ./valgrind-new/helgrind/tests/tc20_verifywrap.stderr.diff ================================================= --- tc20_verifywrap.stderr.exp 2015-04-07 02:46:48.122240698 +0100 +++ tc20_verifywrap.stderr.out 2015-04-07 02:57:00.172965263 +0100 @@ -165,81 +165,31 @@ declared at tc20_verifywrap.c:47, in frame #x of thread x -(1) no error on next line -(2) no error on next line -(3) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:196) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - Location 0x........ is 0 bytes inside local var "rwl2" - declared at tc20_verifywrap.c:48, in frame #x of thread x - - -(4) no error on next line -(5) no error on next line -(6) no error on next line -(7) no error on next line -(8) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:212) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - Location 0x........ is 0 bytes inside local var "rwl2" - declared at tc20_verifywrap.c:48, in frame #x of thread x - - - ----------------- sem_* ---------------- - ----------------------------------------------------------------- - -Thread #x's call to sem_init failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_init_WRK (hg_intercepts.c:...) - by 0x........: sem_init@* (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:228) - + by 0x........: main (tc20_verifywrap.c:179) +Your program just tried to execute an instruction that Valgrind +did not recognise. There are two possible reasons for this. +1. Your program has a bug and erroneously jumped to a non-code + location. If you are running Memcheck and you just saw a + warning about a bad jump, it's probably your program's fault. +2. The instruction is legitimate but Valgrind doesn't handle it, + i.e. it's Valgrind's fault. If you think this is the case or + you are not sure, please let us know and we'll try to fix it. +Either way, Valgrind will now raise a SIGILL signal which will +probably kill your program. -FIXME: can't figure out how to verify wrap of sem_destroy - ----------------------------------------------------------------- - -Thread #x: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post - at 0x........: sem_wait_WRK (hg_intercepts.c:...) - by 0x........: sem_wait (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:242) - ----------------------------------------------------------------- - -Thread #x's call to sem_post failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_post_WRK (hg_intercepts.c:...) - by 0x........: sem_post (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:245) - - -FIXME: can't figure out how to verify wrap of sem_post - - ------------- dealloc of mem holding locks ------------ - ----------------------------------------------------------------- - -Thread #x: Exiting thread still holds 1 lock +Process terminating with default action of signal 4 (SIGILL) + Illegal opcode at address 0x........ ================================================= ./valgrind-new/helgrind/tests/tc20_verifywrap.stderr.diff-glibc-2.18 ================================================= --- tc20_verifywrap.stderr.exp-glibc-2.18 2015-04-07 02:46:48.169240082 +0100 +++ tc20_verifywrap.stderr.out 2015-04-07 02:57:00.172965263 +0100 @@ -56,6 +56,13 @@ ---------------------------------------------------------------- +Thread #x's call to pthread_mutex_destroy failed + with error code 16 (EBUSY: Device or resource busy) + at 0x........: pthread_mutex_destroy (hg_intercepts.c:...) + by 0x........: main (tc20_verifywrap.c:102) + +---------------------------------------------------------------- + Thread #x's call to pthread_mutex_lock failed with error code 22 (EINVAL: Invalid argument) at 0x........: pthread_mutex_lock (hg_intercepts.c:...) @@ -150,80 +157,39 @@ at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:179) - Lock at 0x........ was first observed + Lock at 0x........ was first observed at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:178) + Location 0x........ is 0 bytes inside local var "rwl" + declared at tc20_verifywrap.c:47, in frame #x of thread x -(1) no error on next line -(2) no error on next line -(3) ERROR on next line ----------------------------------------------------------------- -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:196) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - -(4) no error on next line -(5) no error on next line -(6) no error on next line -(7) no error on next line -(8) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:212) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - - ----------------- sem_* ---------------- - ----------------------------------------------------------------- - -Thread #x's call to sem_init failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_init_WRK (hg_intercepts.c:...) - by 0x........: sem_init@* (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:228) - - -FIXME: can't figure out how to verify wrap of sem_destroy - ----------------------------------------------------------------- - -Thread #x: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post - at 0x........: sem_wait_WRK (hg_intercepts.c:...) - by 0x........: sem_wait (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:242) - ----------------------------------------------------------------- - -Thread #x's call to sem_post failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_post_WRK (hg_intercepts.c:...) - by 0x........: sem_post (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:245) - - -FIXME: can't figure out how to verify wrap of sem_post - - ------------- dealloc of mem holding locks ------------ - ================================================= ./valgrind-new/helgrind/tests/tc20_verifywrap.stderr.diff-mips32 ================================================= --- tc20_verifywrap.stderr.exp-mips32 2015-04-07 02:46:48.138240488 +0100 +++ tc20_verifywrap.stderr.out 2015-04-07 02:57:00.172965263 +0100 @@ -13,7 +13,6 @@ Thread #x was created ... - by 0x........: pthread_create_WRK (hg_intercepts.c:...) by 0x........: pthread_create@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:76) @@ -28,14 +27,13 @@ at 0x........: racy_child (tc20_verifywrap.c:34) by 0x........: mythread_wrapper (hg_intercepts.c:...) ... - -Location 0x........ is 0 bytes inside global var "unprotected" -declared at tc20_verifywrap.c:27 + Location 0x........ is 0 bytes inside global var "unprotected" + declared at tc20_verifywrap.c:27 ---------------------------------------------------------------- Thread #x's call to pthread_join failed - with error code 45 (EDEADLK: Resource deadlock would occur) + with error code 35 (EDEADLK: Resource deadlock would occur) at 0x........: pthread_join_WRK (hg_intercepts.c:...) by 0x........: pthread_join (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:83) @@ -46,7 +44,7 @@ ---------------------------------------------------------------- Thread #x's call to pthread_mutex_init failed - with error code 122 (EOPNOTSUPP: Operation not supported on transport endpoint) + with error code 95 (EOPNOTSUPP: Operation not supported on transport endpoint) at 0x........: pthread_mutex_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:92) @@ -159,72 +157,39 @@ at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:179) - Lock at 0x........ was first observed + Lock at 0x........ was first observed at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:178) + Location 0x........ is 0 bytes inside local var "rwl" + declared at tc20_verifywrap.c:47, in frame #x of thread x -(1) no error on next line -(2) no error on next line -(3) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:196) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - -(4) no error on next line -(5) no error on next line -(6) no error on next line -(7) no error on next line -(8) ERROR on next line ----------------------------------------------------------------- -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:212) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - - ----------------- sem_* ---------------- - ----------------------------------------------------------------- - -Thread #x's call to sem_init failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_init_WRK (hg_intercepts.c:...) - by 0x........: sem_init@* (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:228) - - -FIXME: can't figure out how to verify wrap of sem_destroy - ================================================= ./valgrind-new/helgrind/tests/tc20_verifywrap.stderr.diff-mips32-b ================================================= --- tc20_verifywrap.stderr.exp-mips32-b 2015-04-07 02:46:48.134240541 +0100 +++ tc20_verifywrap.stderr.out 2015-04-07 02:57:00.172965263 +0100 @@ -13,7 +13,6 @@ Thread #x was created ... - by 0x........: pthread_create_WRK (hg_intercepts.c:...) by 0x........: pthread_create@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:76) @@ -28,14 +27,13 @@ at 0x........: racy_child (tc20_verifywrap.c:34) by 0x........: mythread_wrapper (hg_intercepts.c:...) ... - -Location 0x........ is 0 bytes inside global var "unprotected" -declared at tc20_verifywrap.c:27 + Location 0x........ is 0 bytes inside global var "unprotected" + declared at tc20_verifywrap.c:27 ---------------------------------------------------------------- Thread #x's call to pthread_join failed - with error code 45 (EDEADLK: Resource deadlock would occur) + with error code 35 (EDEADLK: Resource deadlock would occur) at 0x........: pthread_join_WRK (hg_intercepts.c:...) by 0x........: pthread_join (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:83) @@ -46,7 +44,7 @@ ---------------------------------------------------------------- Thread #x's call to pthread_mutex_init failed - with error code 122 (EOPNOTSUPP: Operation not supported on transport endpoint) + with error code 95 (EOPNOTSUPP: Operation not supported on transport endpoint) at 0x........: pthread_mutex_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:92) @@ -159,80 +157,39 @@ at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:179) - Lock at 0x........ was first observed + Lock at 0x........ was first observed at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:178) + Location 0x........ is 0 bytes inside local var "rwl" + declared at tc20_verifywrap.c:47, in frame #x of thread x -(1) no error on next line -(2) no error on next line -(3) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:196) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - -(4) no error on next line -(5) no error on next line -(6) no error on next line -(7) no error on next line -(8) ERROR on next line ----------------------------------------------------------------- -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:212) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - - ----------------- sem_* ---------------- - ----------------------------------------------------------------- - -Thread #x's call to sem_init failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_init_WRK (hg_intercepts.c:...) - by 0x........: sem_init@* (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:228) - - -FIXME: can't figure out how to verify wrap of sem_destroy - ================================================= ./valgrind-new/helgrind/tests/tc20_verifywrap.stderr.diff-s390x ================================================= --- tc20_verifywrap.stderr.exp-s390x 2015-04-07 02:46:48.160240200 +0100 +++ tc20_verifywrap.stderr.out 2015-04-07 02:57:00.172965263 +0100 @@ -13,7 +13,6 @@ Thread #x was created ... - by 0x........: pthread_create_WRK (hg_intercepts.c:...) by 0x........: pthread_create@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:76) @@ -28,9 +27,8 @@ at 0x........: racy_child (tc20_verifywrap.c:34) by 0x........: mythread_wrapper (hg_intercepts.c:...) ... - -Location 0x........ is 0 bytes inside global var "unprotected" -declared at tc20_verifywrap.c:27 + Location 0x........ is 0 bytes inside global var "unprotected" + declared at tc20_verifywrap.c:27 ---------------------------------------------------------------- @@ -159,72 +157,39 @@ at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:179) - Lock at 0x........ was first observed + Lock at 0x........ was first observed at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:178) + Location 0x........ is 0 bytes inside local var "rwl" + declared at tc20_verifywrap.c:47, in frame #x of thread x -(1) no error on next line -(2) no error on next line -(3) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:196) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - -(4) no error on next line -(5) no error on next line -(6) no error on next line -(7) no error on next line -(8) ERROR on next line ----------------------------------------------------------------- -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:212) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - - ----------------- sem_* ---------------- - ----------------------------------------------------------------- - -Thread #x's call to sem_init failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_init_WRK (hg_intercepts.c:...) - by 0x........: sem_init@* (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:228) - - -FIXME: can't figure out how to verify wrap of sem_destroy - ----------------------------------------------------------------- - -Thread #x: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post - at 0x........: sem_wait_WRK (hg_intercepts.c:...) - by 0x........: sem_wait (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:242) - - -FIXME: can't figure out how to verify wrap of sem_post - - ------------- dealloc of mem holding locks ------------ - ----------------------------------------------------------------- + by 0x........: main (tc20_verifywrap.c:179) ================================================= ./valgrind-new/memcheck/tests/amd64/insn_sse2.stderr.diff ================================================= --- insn_sse2.stderr.exp 2015-04-07 02:46:49.538222148 +0100 +++ insn_sse2.stderr.out 2015-04-07 02:51:26.458420236 +0100 @@ -0,0 +1,137 @@ + +IR SANITY CHECK FAILURE + +IRSB { + t0:I64 t1:I64 t2:I64 t3:I64 t4:I64 t5:I64 t6:I64 t7:I64 + t8:I64 t9:I64 t10:I64 t11:I64 t12:I64 + + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),7] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),6] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),5] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),4] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t0 = Add64(GET:I64(56),0x........:I64) + PUT(608) = LDle:I64(t0) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t1 = Add64(GET:I64(56),0x........:I64) + PUT(616) = LDle:I64(t1) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t2 = Add64(GET:I64(56),0x........:I64) + PUT(640) = LDle:I64(t2) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t3 = Add64(GET:I64(56),0x........:I64) + PUT(648) = LDle:I64(t3) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + PUT(640) = Sqrt64Fx2(GET:V128(608)) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t4 = Add64(GET:I64(56),0x........:I64) + STle(t4) = GET:I64(640) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t5 = Add64(GET:I64(56),0x........:I64) + STle(t5) = GET:I64(648) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 1, 0) ------ + PUT(176) = 0x........:I64 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 4, 0) ------ + t6 = Add64(GET:I64(56),0x........:I64) + PUT(16) = LDle:I64(t6) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 10, 0) ------ + PUT(32) = 0x........:I64 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 7, 0) ------ + t7 = Add64(GET:I64(56),0x........:I64) + STle(t7) = GET:I64(32) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 8, 0) ------ + t8 = Add64(GET:I64(56),0x........:I64) + PUT(256) = V128{0x........} + PUT(256) = LDle:I64(t8) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 7, 0) ------ + t9 = Add64(GET:I64(56),0x........:I64) + STle(t9) = GET:I64(16) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 8, 0) ------ + t10 = Add64(GET:I64(56),0x........:I64) + PUT(224) = V128{0x........} + PUT(224) = LDle:I64(t10) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t11 = Sub64(GET:I64(48),0x........:I64) + PUT(48) = t11 + STle(t11) = 0x........:I64 + t12 = 0x........:I64 + ====== AbiHint(Sub64(t11,0x........:I64), 128, t12) ====== + PUT(184) = 0x........:I64 + PUT(184) = GET:I64(184); exit-Call ================================================= ./valgrind-new/memcheck/tests/amd64/insn_sse2.stdout.diff ================================================= --- insn_sse2.stdout.exp 2015-04-07 02:46:49.557221899 +0100 +++ insn_sse2.stdout.out 2015-04-07 02:51:26.377421807 +0100 @@ -246,98 +246,4 @@ pslldq_16 ... ok pslldq_17 ... ok psllq_1 ... ok -psllq_2 ... ok -psllq_3 ... ok -psllw_1 ... ok -psllw_2 ... ok -psllw_3 ... ok -psrad_1 ... ok -psrad_2 ... ok -psrad_3 ... ok -psraw_1 ... ok -psraw_2 ... ok -psraw_3 ... ok -psrld_1 ... ok -psrld_2 ... ok -psrld_3 ... ok -psrldq_1 ... ok -psrldq_2 ... ok -psrldq_3 ... ok -psrldq_4 ... ok -psrldq_5 ... ok -psrldq_6 ... ok -psrldq_7 ... ok -psrldq_8 ... ok -psrldq_9 ... ok -psrldq_10 ... ok -psrldq_11 ... ok -psrldq_12 ... ok -psrldq_13 ... ok -psrldq_14 ... ok -psrldq_15 ... ok -psrldq_16 ... ok -psrldq_17 ... ok -psrlq_1 ... ok -psrlq_2 ... ok -psrlq_3 ... ok -psrlw_1 ... ok -psrlw_2 ... ok -psrlw_3 ... ok -psubb_1 ... ok -psubb_2 ... ok -psubd_1 ... ok -psubd_2 ... ok -psubq_1 ... ok -psubq_2 ... ok -psubq_3 ... ok -psubq_4 ... ok -psubsb_1 ... ok -psubsb_2 ... ok -psubsw_1 ... ok -psubsw_2 ... ok -psubusb_1 ... ok -psubusb_2 ... ok -psubusw_1 ... ok -psubusw_2 ... ok -psubw_1 ... ok -psubw_2 ... ok -punpckhbw_1 ... ok -punpckhbw_2 ... ok -punpckhdq_1 ... ok -punpckhdq_2 ... ok -punpckhqdq_1 ... ok -punpckhqdq_2 ... ok -punpckhwd_1 ... ok -punpckhwd_2 ... ok -punpcklbw_1 ... ok -punpcklbw_2 ... ok -punpckldq_1 ... ok -punpckldq_2 ... ok -punpcklqdq_1 ... ok -punpcklqdq_2 ... ok -punpcklwd_1 ... ok -punpcklwd_2 ... ok -pxor_1 ... ok -pxor_2 ... ok -shufpd_1 ... ok -shufpd_2 ... ok -sqrtpd_1 ... ok -sqrtpd_2 ... ok -sqrtsd_1 ... ok -sqrtsd_2 ... ok -subpd_1 ... ok -subpd_2 ... ok -subsd_1 ... ok -subsd_2 ... ok -ucomisd_1 ... ok -ucomisd_2 ... ok -ucomisd_3 ... ok -ucomisd_4 ... ok -ucomisd_5 ... ok -ucomisd_6 ... ok -unpckhpd_1 ... ok -unpckhpd_2 ... ok -unpcklpd_1 ... ok -unpcklpd_2 ... ok -xorpd_1 ... ok ================================================= ./valgrind-new/memcheck/tests/amd64/insn_sse.stderr.diff ================================================= --- insn_sse.stderr.exp 2015-04-07 02:46:49.532222227 +0100 +++ insn_sse.stderr.out 2015-04-07 02:51:25.768433619 +0100 @@ -0,0 +1,130 @@ + +IR SANITY CHECK FAILURE + +IRSB { + t0:I64 t1:I64 t2:I64 t3:I64 t4:I64 t5:I64 t6:I64 t7:I64 + t8:I64 t9:I64 t10:I64 t11:I64 + + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),7] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),6] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),5] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),4] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t0 = Add64(GET:I64(56),0x........:I64) + PUT(608) = LDle:I64(t0) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t1 = Add64(GET:I64(56),0x........:I64) + PUT(616) = LDle:I64(t1) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t2 = Add64(GET:I64(56),0x........:I64) + PUT(640) = LDle:I64(t2) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t3 = Add64(GET:I64(56),0x........:I64) + PUT(648) = LDle:I64(t3) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 4, 0) ------ + PUT(640) = Sqrt32Fx4(GET:V128(608)) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t4 = Add64(GET:I64(56),0x........:I64) + STle(t4) = GET:I64(640) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t5 = Add64(GET:I64(56),0x........:I64) + STle(t5) = GET:I64(648) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 1, 0) ------ + PUT(176) = 0x........:I64 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 3, 0) ------ + t6 = Add64(GET:I64(56),0x........:I64) + PUT(16) = 32Uto64(LDle:I32(t6)) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 8, 0) ------ + t7 = Add64(0x........:I64,0x........:I64) + PUT(256) = V128{0x........} + PUT(256) = LDle:I32(t7) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 6, 0) ------ + t8 = Add64(GET:I64(56),0x........:I64) + STle(t8) = 64to32(GET:I64(16)) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 8, 0) ------ + t9 = Add64(GET:I64(56),0x........:I64) + PUT(224) = V128{0x........} + PUT(224) = LDle:I32(t9) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t10 = Sub64(GET:I64(48),0x........:I64) + PUT(48) = t10 + STle(t10) = 0x........:I64 + t11 = 0x........:I64 + ====== AbiHint(Sub64(t10,0x........:I64), 128, t11) ====== + PUT(184) = 0x........:I64 + PUT(184) = GET:I64(184); exit-Call +} + +IN STATEMENT: + +PUT(640) = Sqrt32Fx4(GET:V128(608)) + +ERROR = Iex.Unop: wrong arity op ================================================= ./valgrind-new/memcheck/tests/amd64/insn_sse.stdout.diff ================================================= --- insn_sse.stdout.exp 2015-04-07 02:46:49.550221991 +0100 +++ insn_sse.stdout.out 2015-04-07 02:51:25.205444538 +0100 @@ -1,154 +0,0 @@ -addps_1 ... ok -addps_2 ... ok -addss_1 ... ok -addss_2 ... ok -andnps_1 ... ok -andnps_2 ... ok -andps_1 ... ok -andps_2 ... ok -cmpeqps_1 ... ok -cmpeqps_2 ... ok -cmpeqss_1 ... ok -cmpeqss_2 ... ok -cmpleps_1 ... ok -cmpleps_2 ... ok -cmpless_1 ... ok -cmpless_2 ... ok -cmpltps_1 ... ok -cmpltps_2 ... ok -cmpltss_1 ... ok -cmpltss_2 ... ok -cmpunordps_1 ... ok -cmpunordps_2 ... ok -cmpunordss_1 ... ok -cmpunordss_2 ... ok -cmpneqps_1 ... ok -cmpneqps_2 ... ok -cmpneqss_1 ... ok -cmpneqss_2 ... ok -cmpnleps_1 ... ok -cmpnleps_2 ... ok -cmpnless_1 ... ok -cmpnless_2 ... ok -cmpnltps_1 ... ok -cmpnltps_2 ... ok -cmpnltss_1 ... ok -cmpnltss_2 ... ok -cmpordps_1 ... ok -cmpordps_2 ... ok -cmpordss_1 ... ok -cmpordss_2 ... ok -comiss_1 ... ok -comiss_2 ... ok -comiss_3 ... ok -comiss_4 ... ok -comiss_5 ... ok -comiss_6 ... ok -cvtpi2ps_1 ... ok -cvtpi2ps_2 ... ok -cvtps2pi_1 ... ok -cvtps2pi_2 ... ok -cvtsi2ss_1 ... ok -cvtsi2ss_2 ... ok -cvtss2si_1 ... ok -cvtss2si_2 ... ok -cvttps2pi_1 ... ok -cvttps2pi_2 ... ok -cvttss2si_1 ... ok -cvttss2si_2 ... ok -divps_1 ... ok -divps_2 ... ok -divss_1 ... ok -divss_2 ... ok -maxps_1 ... ok -maxps_2 ... ok -maxss_1 ... ok -maxss_2 ... ok -minps_1 ... ok -minps_2 ... ok -minss_1 ... ok -minss_2 ... ok -movaps_1 ... ok -movaps_2 ... ok -movhlps_1 ... ok -movhps_1 ... ok -movhps_2 ... ok -movlhps_1 ... ok -movlps_1 ... ok -movlps_2 ... ok -movmskps_1 ... ok -movntps_1 ... ok -movntq_1 ... ok -movss_1 ... ok -movss_2 ... ok -movss_3 ... ok -movups_1 ... ok -movups_2 ... ok -mulps_1 ... ok -mulps_2 ... ok -mulss_1 ... ok -mulss_2 ... ok -orps_1 ... ok -orps_2 ... ok -pavgb_1 ... ok -pavgb_2 ... ok -pavgw_1 ... ok -pavgw_2 ... ok -pextrw_1 ... ok ================================================= ./valgrind-new/memcheck/tests/amd64/sse_memory.stderr.diff ================================================= --- sse_memory.stderr.exp 2015-04-07 02:46:46.814257833 +0100 +++ sse_memory.stderr.out 2015-04-07 02:51:29.242366238 +0100 @@ -0,0 +1,121 @@ + +IR SANITY CHECK FAILURE + +IRSB { + t0:I64 t1:I64 t2:I64 t3:I64 t4:I64 t5:I64 t6:I64 t7:I64 + t8:I64 t9:I64 t10:I64 t11:I64 t12:I64 t13:I64 t14:I64 + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + ------ IMark(0x........, 4, 0) ------ + t0 = Add64(GET:I64(56),0x........:I64) + PUT(16) = t0 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 3, 0) ------ + PUT(72) = GET:I64(16) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t1 = Sub64(GET:I64(48),0x........:I64) + PUT(48) = t1 + STle(t1) = 0x........:I64 + t2 = 0x........:I64 + ====== AbiHint(Sub64(t1,0x........:I64), 128, t2) ====== + PUT(184) = 0x........:I64 + ------ IMark(0x........, 1, 0) ------ + t3 = GET:I64(56) + t4 = Sub64(GET:I64(48),0x........:I64) + PUT(48) = t4 + STle(t4) = t3 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 3, 0) ------ + PUT(56) = GET:I64(48) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 4, 0) ------ + t5 = Add64(GET:I64(56),0x........:I64) + STle(t5) = GET:I64(72) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 4, 0) ------ + t6 = Add64(GET:I64(56),0x........:I64) + PUT(16) = LDle:I64(t6) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 3, 0) ------ + t7 = GET:I64(16) + PUT(416) = LDle:V128(t7) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 4, 0) ------ + t8 = Add64(GET:I64(16),0x........:I64) + PUT(448) = LDle:V128(t8) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 3, 0) ------ + PUT(448) = Sqrt32Fx4(GET:V128(416)) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 4, 0) ------ + t9 = Add64(GET:I64(16),0x........:I64) + STle(t9) = GET:V128(448) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 1, 0) ------ + t11 = GET:I64(48) + t10 = LDle:I64(t11) + PUT(48) = Add64(t11,0x........:I64) + PUT(56) = t10 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 1, 0) ------ + t12 = GET:I64(48) + t13 = LDle:I64(t12) + t14 = Add64(t12,0x........:I64) + PUT(48) = t14 + ====== AbiHint(Sub64(t14,0x........:I64), 128, t13) ====== + PUT(184) = t13 + PUT(184) = GET:I64(184); exit-Return +} + +IN STATEMENT: + +PUT(448) = Sqrt32Fx4(GET:V128(416)) + +ERROR = Iex.Unop: wrong arity op + + +vex: the `impossible' happened: + sanityCheckFail: exiting due to bad IR +vex storage: T total 118775144 bytes allocated +vex storage: P total 640 bytes allocated + +valgrind: the 'impossible' happened: + LibVEX called failure_exit(). ================================================= ./valgrind-new/memcheck/tests/amd64/sse_memory.stdout.diff ================================================= --- sse_memory.stdout.exp 2015-04-07 02:46:46.822257728 +0100 +++ sse_memory.stdout.out 2015-04-07 02:51:29.208366898 +0100 @@ -343,1198 +343,4 @@ r rcpss 8f830262d1480c69e61ef1bc479120cb a9f860a3898ac3a70b47fa2f46c71209 0000801c898ac3a70b47fa2f46c71209 r rcpss 1fae3b8efeb096ff2fb71f22251c321a 966ecb4d8502f6a1a95ead9930890454 000080f08502f6a1a95ead9930890454 r rcpss 0e062e2bfaca1bb070062efa38bf12bf 6a9c559ff3ef63e478a6d51ba0173195 00008053f3ef63e478a6d51ba0173195 -m rcpss 59c79b69 17cc2d7fcb8173a9741d00d994342838 00000015cb8173a9741d00d994342838 -m rcpss 13352663 725ab01f908ec3e791b87e435823e7b3 0000801b908ec3e791b87e435823e7b3 -m rcpss d94f4968 b975ed2344ddbf5225e7a6b88482adce 0000801644ddbf5225e7a6b88482adce -m rcpss 7bfd34ee 59e07802d4adfaee30428dda2401fdb6 00008090d4adfaee30428dda2401fdb6 -m rcpss 8c2b9058 d36f2eaf049b843ab3ee62a5cbec63b0 00000026049b843ab3ee62a5cbec63b0 -r rsqrtps 2d489d0949c4b683e4a08a9b2509fd24 d36d1ea843617f049874e6ec6ddc6a45 0000005a000080ff000080ff0000804c -r rsqrtps ee5a61937cdb9904eb46f436e17f0ad3 2d91666636185f7bb5924a96e88d0f16 000080ff0000805c00008043000080ff -r rsqrtps 5ca42e2c658e4c4dc549f9dc0252e440 573075e5966725e17643366b3287c73d 0000004900008038000080ff0000803e -r rsqrtps fd915d8450702d7406e6828ee7e57dd2 f455c272d37f50eb905fb40ac8cda3c1 000080ff00000025000080ff000080ff -r rsqrtps b56ba52ae8f2ff6fa335d8284a7b24d0 09eb263bb674c03217a12cf186411388 00008049000000270000804a000080ff -m rsqrtps 90a0e1f8dda2fa748d3394379201dc5e c75c1f8b3c68e214ef31a26a49368b61 000080ff00008024000000430000802f -m rsqrtps c5d049253d90dd92c952fc62fe1da72a da7044f7b604561ba0b5ebf25f19c28b 0000804c000080ff0000802d00008049 -m rsqrtps e2b44f09a3cdfc18c13bc4b0d139ddc5 f190ec9b25d93b19ca7c193e6a073934 0000805a00008052000080ff000080ff -m rsqrtps 8a566cf37c8cd9ba2ac8f6c188598f34 71875187b3d8d386e220f5aea6c1c123 000080ff000080ff000080ff00008044 -m rsqrtps c3a0791295e0541018b3fb1200602d5f 1e0009a8efd5bdb7bc1aa97fb0ea8bff 0000005600000057000080550000802f -r rsqrtss 1d850ecec382fae48dc7bcd08305264d a537045ecb9674ebed619c3fcb8fbc68 000080ffcb9674ebed619c3fcb8fbc68 -r rsqrtss f381b9a77d71eb22e860189f7d748475 03073a672318dac92e96d878438d09be 000080ff2318dac92e96d878438d09be -r rsqrtss 833ec1c1ca165068c30003cc5a7af5bd 7d1ccaa1068b0a17ff45d26e474def0a 000080ff068b0a17ff45d26e474def0a -r rsqrtss 13e63f8bb5c24a8d73a228143739294b 7840ee1ba2e1434bd609537f14923d15 000080ffa2e1434bd609537f14923d15 -r rsqrtss 4684ad53aba85947aa1f8f178fb43126 b91e3fc282ed28bc875d83ea47fd2584 0000003582ed28bc875d83ea47fd2584 -m rsqrtss 29c0008f 2204e14879da5d2d7f339f5240cd7e35 000080ff79da5d2d7f339f5240cd7e35 -m rsqrtss 23cf520e 60517dff51fe6b311436236d0a2e1678 0000005851fe6b311436236d0a2e1678 -m rsqrtss 326740cb a9fc72262f35628a52cdc5b6153a5535 000080ff2f35628a52cdc5b6153a5535 -m rsqrtss eae1dadf fdc486e667d9cf3bddaabafba39c61d4 000080ff67d9cf3bddaabafba39c61d4 -m rsqrtss a627228d 740e40248f1592e51a5d8166a2c702b6 000080ff8f1592e51a5d8166a2c702b6 -r sqrtps 17f9aaceafe006efc8306f859eb8861d 39b3b2dbb093cff5d1b2451328e18390 0000c0ff0000c0ff0000c0ff4d51832e -r sqrtps 1c9309feb70d3273a45ff40827f86f4c 5919ca0cea24715448c89f45271560db 0000c0ffae7f55596cdc3024e8daf745 -r sqrtps eb4d6a1ae65b6e687aeffcee53f7111e fc9bfb511b0a1042222bc1704b2c1459 7de9f42ca605f7530000c0ff694ec12e -r sqrtps cfba3037d005a1cba644769dc7c1e7e2 8e6bc65efa20b45fdcdeba9d58d039f8 1db4543b0000c0ff0000c0ff0000c0ff -r sqrtps 764c194d6926157be59fb35c883fc7c8 db9b09cc9a21c72852c3fcb1738dc788 261a46463867435d86a1174e0000c0ff -m sqrtps e8e5ca240a53eaa8ace8f425306cf0ac ec55473107b9733653236451f93cecdc b22721320000c0fffb0db1320000c0ff -m sqrtps 3542a5bd23a45049d3293412d2d4f5cc 9c083a9a5d97c19c6ed39884e063ed0f 0000c0ff541c67448ac2d6280000c0ff -m sqrtps 9d72f0e14c838b71f66e9471b158a917 5478d320807c6a2a1192c1d9603ec22d 0000c0ffeca18558afd68958983a932b -m sqrtps 8ca92c4639caa3c092bc234a91a1a67d 41965237e502353f7921ae19ff37c5e7 dc3dd2420000c0ff41bccc44350b925e -m sqrtps cff83a83003302b381f45381973ae4ca ee37583760a34b1a422391e9a09aaeca 0000c0ff0000c0ff0000c0ff0000c0ff -r sqrtss 490be45625ba35d86a1cfad189909544 10f3f660ea6959f40b0d52d1727f4c0a 8ad92a4bea6959f40b0d52d1727f4c0a -r sqrtss 9da559abc981da7a4c6cd9355e25f2a5 5e4d9c618fb95bcb47985cef6c8b6542 0000c0ff8fb95bcb47985cef6c8b6542 -r sqrtss 9779752b421385dca5577f5e23429f1b 4b1c3ff6194690c3a3e9b3a918822a5e a8ae7a35194690c3a3e9b3a918822a5e -r sqrtss 44d85aafe26bdcbe91009d713db2d4b4 05512095fdacbf3a5cc327c4f9d0f50e 0000c0fffdacbf3a5cc327c4f9d0f50e -r sqrtss 10f589ec5e62e9be8d6843747120295f 17c0e0940f66126e0ec8e8e8f6c07ede 0000c0ff0f66126e0ec8e8e8f6c07ede -m sqrtss 3a201ccd c8e3e178ccb4135b7672e050e21597ea 0000c0ffccb4135b7672e050e21597ea -m sqrtss ef1ea169 338815d08845764f12f042169993a3cb d69b8f548845764f12f042169993a3cb -m sqrtss 5f57a787 b23ef443b20b8b7da5a0f3e6a7c84c99 0000c0ffb20b8b7da5a0f3e6a7c84c99 -m sqrtss f5f4286e ef247e3c7fbe3c584770100dbc548127 34f9cf567fbe3c584770100dbc548127 -m sqrtss 4e19e4b1 146748fd2931fdedf858910fb5b1caff 0000c0ff2931fdedf858910fb5b1caff -r subps fc45a0d2853355ed9a173b92f8d08b29 a9b5356caf44f6c90ab0cf9c1b4fdb50 a9b5356c8533556d04b0cf9c1b4fdb50 -r subps 2597aee0a0ba75e57213e4d06686fbb5 1f583521425f25fbf40c6842c85cfeac 2597ae60425f25fb7213e4502686fb35 -r subps c8cf40c24aa8cae3c1133b966adbb779 e215a7cacccbd0cbd78fcd0025e3e246 8215a7ca4aa8ca63c1133b166adbb7f9 -r subps 7b283e77de5e454f2c20b93372024129 a6c59204ca8b074177e497c3bfb72975 7b283ef7de5e45cf77e497c3bfb72975 -r subps 32bbf1dd191e386fb82637d44a0d785d 7e245f4f18823a41f995bc5b838cd36f 32bbf15d191e38ef6797bc5b838cd36f -m subps 6776bd893f8be2d4185c4941abb82471 408400b2180c5169c8f0eb881ef09e8b 408400b2180c5169185c49c1abb824f1 -m subps 7d9a413f4290b78164acca7ccd62901d 5b5d75955629a3442127713e7a7c520a 7d9a41bf5629a34464accafccd62909d -m subps f70f0fe1d59f6045c25cefc73840177f 9700b805b1599de6e956bfc44c649510 f70f0f61b1599de6665fec47384017ff -m subps 8ab02e0e74baed26f5155010772458ee 69089260655d1017a2e82ecae03ac7b3 6908926074baeda6a2e82eca7724586e -m subps 49370742fcc3ce0b2263e62677bf549f a4ef2ae40fd92d7c332777dce272aaeb a4ef2ae40fd92d7c332777dce272aaeb -r subss 7f100ab1aa4e839cdf3db26a5e5d5e8d 08b6d3590487fd62c6d4d8bf74d44d23 08b6d3590487fd62c6d4d8bf74d44d23 -r subss 8ca61bc4941f04dd4b3658c3c22e6351 32bfbc6e243fe5e9f3af363ab5af3c21 32bfbc6e243fe5e9f3af363ab5af3c21 -r subss c1caa3fc8990ff867bfb4215d9f799cd 95cb4c07f8c1cdafa5bb347e049e111f c1caa37cf8c1cdafa5bb347e049e111f -r subss 72784d17a5c127bed457a76dd1ac4276 a6734983bdd0867b62622b39ad332e32 72784d97bdd0867b62622b39ad332e32 -r subss 548920b565b7898a1af520bc351efda4 3933de21100e40f30eedd4f95ce15352 54892035100e40f30eedd4f95ce15352 -m subss 36557c1e 7bb98553a65299d2725fa7cff200cb8e 7bb98553a65299d2725fa7cff200cb8e -m subss af025ce4 b750de59eae65bd34fc7f3795ba24551 b6025c64eae65bd34fc7f3795ba24551 -m subss c9229bdb a43dfe245eb297efef0f5ae43722dc0b c9229b5b5eb297efef0f5ae43722dc0b -m subss 42e583ec 0b3e83ccebe85b56155dfe0837f7cf0b 42e5836cebe85b56155dfe0837f7cf0b -m subss cacd5745 fb68d642a703d6b0f2efdbd21f5e4eee 821a51c5a703d6b0f2efdbd21f5e4eee -r ucomiss 5b11b25dc8893e0780b90aef83db1954 07917c667e72c987fe79ee65045068fa 07917c667e72c987fe79ee65045068fa -r ucomiss d7928a690fe2c8f55c5ef176573098fe d551a13973973f2976a143c812a9da82 d551a13973973f2976a143c812a9da82 -r ucomiss 747c4d20a181f34ee3265958ca63fb00 2f67f54e352674c6b1c78f8df2f27e61 2f67f54e352674c6b1c78f8df2f27e61 -r ucomiss 9033eae823733a628044c24b934d4df8 91d489ac88cb014d3dbf720a77a77dd6 91d489ac88cb014d3dbf720a77a77dd6 -r ucomiss e7f9b20999a2735f02cb0de5c4aaf465 d77bce399010e08c063beb77d7225ffe d77bce399010e08c063beb77d7225ffe -m ucomiss 4be9a56a 96ef55a868d7d85394ad799ed314baa5 96ef55a868d7d85394ad799ed314baa5 -m ucomiss 350451ce 903f50b5e41314a09b0607de181ae4cc 903f50b5e41314a09b0607de181ae4cc -m ucomiss 7aab9ba4 e2e98659d933d0464b543078a8186dac e2e98659d933d0464b543078a8186dac -m ucomiss 6e310c10 3cd8a47842c8c31ffb28b5cdaee0879a 3cd8a47842c8c31ffb28b5cdaee0879a -m ucomiss 3154eccb 6b74e81c78abe4ac080db23f5fc73827 6b74e81c78abe4ac080db23f5fc73827 -r unpckhps 4b5d08648a9cbedc8bfe47de14095eb5 1767ae8e1753ac91f1eecde400621c87 f1eecde48bfe47de00621c8714095eb5 -r unpckhps bfff17e1509f49c19aca3e58439cc2ae a63d5ed0b6d2ab7248450b6db7fbbd1a 48450b6d9aca3e58b7fbbd1a439cc2ae -r unpckhps 85e3a7bc3870242331cdd87d558e046c c93a6cc04fba2f9917a9fb5fdb81a2a9 17a9fb5f31cdd87ddb81a2a9558e046c -r unpckhps 82557085ee8210f942245f2b06247536 8447b28db11e199b73d3053b47d43c1c 73d3053b42245f2b47d43c1c06247536 -r unpckhps fb7d8caa7f272c1a25c87c20727fc532 3b30674606f2a9efd15df15d38b85b39 d15df15d25c87c2038b85b39727fc532 -m unpckhps 77ce98b46673b191cdd687195e993c84 936973795793f93c8b9435fb16a10667 8b9435fbcdd6871916a106675e993c84 -m unpckhps f9e9405c0ae00a915b66a11b9f555b8a 4f00fc2143d758f68b42f53bcf6ea7bc 8b42f53b5b66a11bcf6ea7bc9f555b8a -m unpckhps 27631faa416f414f793a457fe3b51705 950f62b06fe689be986d833ed8a778f7 986d833e793a457fd8a778f7e3b51705 -m unpckhps 05250dcdd73235613c0cdbc4089bdfdb 27403c1668922deb888f0843cff0abbe 888f08433c0cdbc4cff0abbe089bdfdb -m unpckhps f8fa42d3fa1d273d19782b474bca83d4 2c1c831f1a8f44b38e030d67b0cbd098 8e030d6719782b47b0cbd0984bca83d4 -r unpcklps 270f8f7bd26d2e2c3f047aabd899d8eb 842870520c4f06d2e09c2aea42bdd582 84287052270f8f7b0c4f06d2d26d2e2c -r unpcklps fd6418b83ca1ad4e8fac97eb029f12fe a4b5e28f6d31afdb8733b6d3f45ce47a a4b5e28ffd6418b86d31afdb3ca1ad4e -r unpcklps f2433846647de0efd4f40ee74cfe2ff8 64f008aca697826b547ee9788e207cd1 64f008acf2433846a697826b647de0ef -r unpcklps abb96771b83248c4c1b9e53c32b841df 8a857a97445220d71af9ea16aeaccd2b 8a857a97abb96771445220d7b83248c4 -r unpcklps 2cb07d6a04d4c6656cb4876b90b1b799 3afe311e331589570ffe43cc50816811 3afe311e2cb07d6a3315895704d4c665 -m unpcklps 9b160408461908261c927676b3a75a1b daf2b33d73559b494880bcd0a3aa62ed daf2b33d9b16040873559b4946190826 -m unpcklps 9e17de5c9c1a7cffea914e8ade995737 7929a1db948766c52a98abab08477281 7929a1db9e17de5c948766c59c1a7cff -m unpcklps 59ff4486625771d6f57ea4508a673528 2fe14011521e28104655de1abb0978dd 2fe1401159ff4486521e2810625771d6 -m unpcklps 9279ce7626a0890213d1a20853b52597 7e83e88df9ab414132f23d1c18546565 7e83e88d9279ce76f9ab414126a08902 ================================================= ./valgrind-new/memcheck/tests/err_disable3.stderr.diff ================================================= --- err_disable3.stderr.exp 2015-04-07 02:46:46.612260479 +0100 +++ err_disable3.stderr.out 2015-04-07 02:51:57.797825015 +0100 @@ -10,8 +10,6 @@ Thread 2: Invalid read of size 1 at 0x........: err (err_disable3.c:25) - by 0x........: child_fn (err_disable3.c:31) - ... Address 0x........ is 5 bytes inside a block of size 10 free'd at 0x........: free (vg_replace_malloc.c:...) by 0x........: main (err_disable3.c:42) ================================================= ./valgrind-new/memcheck/tests/err_disable4.stderr.diff ================================================= --- err_disable4.stderr.exp 2015-04-07 02:46:46.805257951 +0100 +++ err_disable4.stderr.out 2015-04-07 02:51:58.478812775 +0100 @@ -1501,8 +1501,6 @@ Thread x: Invalid read of size 1 at 0x........: err (err_disable4.c:46) - by 0x........: child_fn_2 (err_disable4.c:64) - ... Address 0x........ is 5 bytes inside a block of size 10 free'd at 0x........: free (vg_replace_malloc.c:...) by 0x........: main (err_disable4.c:81) ================================================= ./valgrind-new/memcheck/tests/threadname.stderr.diff ================================================= --- threadname.stderr.exp 2015-04-07 02:46:46.751258658 +0100 +++ threadname.stderr.out 2015-04-07 02:53:36.722829802 +0100 @@ -9,36 +9,12 @@ Thread 2: Invalid write of size 1 at 0x........: bad_things (threadname.c:16) - by 0x........: child_fn_0 (threadname.c:61) - ... Address 0x........ is 0 bytes after a block of size 2 alloc'd at 0x........: malloc (vg_replace_malloc.c:...) by 0x........: bad_things (threadname.c:15) by 0x........: child_fn_0 (threadname.c:61) ... -Thread 3 try1: -Invalid write of size 1 - at 0x........: bad_things (threadname.c:16) - by 0x........: child_fn_1 (threadname.c:46) - ... - Address 0x........ is 0 bytes after a block of size 3 alloc'd - at 0x........: malloc (vg_replace_malloc.c:...) - by 0x........: bad_things (threadname.c:15) - by 0x........: child_fn_1 (threadname.c:46) - ... - -Thread 4 012345678901234: -Invalid write of size 1 - at 0x........: bad_things (threadname.c:16) - by 0x........: child_fn_2 (threadname.c:30) - ... - Address 0x........ is 0 bytes after a block of size 4 alloc'd - at 0x........: malloc (vg_replace_malloc.c:...) - by 0x........: bad_things (threadname.c:15) - by 0x........: child_fn_2 (threadname.c:30) - ... - Thread 1: Invalid write of size 1 at 0x........: bad_things (threadname.c:16) ================================================= ./valgrind-new/memcheck/tests/threadname_xml.stderr.diff ================================================= --- threadname_xml.stderr.exp 2015-04-07 02:46:46.682259562 +0100 +++ threadname_xml.stderr.out 2015-04-07 02:53:37.225818777 +0100 @@ -94,14 +94,6 @@ threadname.c ... - - 0x........ - ... - child_fn_0 - ... - threadname.c - ... - Address 0x........ is 0 bytes after a block of size 2 alloc'd @@ -135,112 +127,6 @@ 0x........ ... - try1 - InvalidWrite - Invalid write of size 1 - - - 0x........ - ... - bad_things - ... - threadname.c - ... - - - 0x........ - ... - child_fn_1 - ... - threadname.c - ... - - - Address 0x........ is 0 bytes after a block of size 3 alloc'd - - - 0x........ - ... - malloc - ... - vg_replace_malloc.c - ... - - - 0x........ - ... - bad_things - ... - threadname.c - ... - - - 0x........ - ... - child_fn_1 - ... - threadname.c - ... - - - - - - 0x........ - ... - 012345678901234 - InvalidWrite - Invalid write of size 1 - - - 0x........ - ... - bad_things - ... - threadname.c - ... - - - 0x........ - ... - child_fn_2 - ... - threadname.c - ... - - - Address 0x........ is 0 bytes after a block of size 4 alloc'd - - - 0x........ - ... ================================================= ./valgrind-new/none/tests/amd64/insn_sse2.stderr.diff ================================================= --- insn_sse2.stderr.exp 2015-04-07 02:46:49.538222148 +0100 +++ insn_sse2.stderr.out 2015-04-07 02:54:41.993589870 +0100 @@ -0,0 +1,150 @@ + +IR SANITY CHECK FAILURE + +IRSB { + t0:I64 t1:I64 t2:I64 t3:I64 t4:I64 t5:I64 t6:I64 t7:I64 + t8:I64 t9:I64 t10:I64 t11:I64 t12:I64 + + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),7] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),6] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),5] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),4] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t0 = Add64(GET:I64(56),0x........:I64) + PUT(608) = LDle:I64(t0) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t1 = Add64(GET:I64(56),0x........:I64) + PUT(616) = LDle:I64(t1) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t2 = Add64(GET:I64(56),0x........:I64) + PUT(640) = LDle:I64(t2) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t3 = Add64(GET:I64(56),0x........:I64) + PUT(648) = LDle:I64(t3) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + PUT(640) = Sqrt64Fx2(GET:V128(608)) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t4 = Add64(GET:I64(56),0x........:I64) + STle(t4) = GET:I64(640) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t5 = Add64(GET:I64(56),0x........:I64) + STle(t5) = GET:I64(648) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 1, 0) ------ + PUT(176) = 0x........:I64 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 4, 0) ------ + t6 = Add64(GET:I64(56),0x........:I64) + PUT(16) = LDle:I64(t6) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 10, 0) ------ + PUT(32) = 0x........:I64 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 7, 0) ------ + t7 = Add64(GET:I64(56),0x........:I64) + STle(t7) = GET:I64(32) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 8, 0) ------ + t8 = Add64(GET:I64(56),0x........:I64) + PUT(256) = V128{0x........} + PUT(256) = LDle:I64(t8) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 7, 0) ------ + t9 = Add64(GET:I64(56),0x........:I64) + STle(t9) = GET:I64(16) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 8, 0) ------ + t10 = Add64(GET:I64(56),0x........:I64) + PUT(224) = V128{0x........} + PUT(224) = LDle:I64(t10) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t11 = Sub64(GET:I64(48),0x........:I64) + PUT(48) = t11 + STle(t11) = 0x........:I64 + t12 = 0x........:I64 + ====== AbiHint(Sub64(t11,0x........:I64), 128, t12) ====== + PUT(184) = 0x........:I64 + PUT(184) = GET:I64(184); exit-Call ================================================= ./valgrind-new/none/tests/amd64/insn_sse2.stdout.diff ================================================= --- insn_sse2.stdout.exp 2015-04-07 02:46:49.557221899 +0100 +++ insn_sse2.stdout.out 2015-04-07 02:54:41.949590705 +0100 @@ -246,98 +246,4 @@ pslldq_16 ... ok pslldq_17 ... ok psllq_1 ... ok -psllq_2 ... ok -psllq_3 ... ok -psllw_1 ... ok -psllw_2 ... ok -psllw_3 ... ok -psrad_1 ... ok -psrad_2 ... ok -psrad_3 ... ok -psraw_1 ... ok -psraw_2 ... ok -psraw_3 ... ok -psrld_1 ... ok -psrld_2 ... ok -psrld_3 ... ok -psrldq_1 ... ok -psrldq_2 ... ok -psrldq_3 ... ok -psrldq_4 ... ok -psrldq_5 ... ok -psrldq_6 ... ok -psrldq_7 ... ok -psrldq_8 ... ok -psrldq_9 ... ok -psrldq_10 ... ok -psrldq_11 ... ok -psrldq_12 ... ok -psrldq_13 ... ok -psrldq_14 ... ok -psrldq_15 ... ok -psrldq_16 ... ok -psrldq_17 ... ok -psrlq_1 ... ok -psrlq_2 ... ok -psrlq_3 ... ok -psrlw_1 ... ok -psrlw_2 ... ok -psrlw_3 ... ok -psubb_1 ... ok -psubb_2 ... ok -psubd_1 ... ok -psubd_2 ... ok -psubq_1 ... ok -psubq_2 ... ok -psubq_3 ... ok -psubq_4 ... ok -psubsb_1 ... ok -psubsb_2 ... ok -psubsw_1 ... ok -psubsw_2 ... ok -psubusb_1 ... ok -psubusb_2 ... ok -psubusw_1 ... ok -psubusw_2 ... ok -psubw_1 ... ok -psubw_2 ... ok -punpckhbw_1 ... ok -punpckhbw_2 ... ok -punpckhdq_1 ... ok -punpckhdq_2 ... ok -punpckhqdq_1 ... ok -punpckhqdq_2 ... ok -punpckhwd_1 ... ok -punpckhwd_2 ... ok -punpcklbw_1 ... ok -punpcklbw_2 ... ok -punpckldq_1 ... ok -punpckldq_2 ... ok -punpcklqdq_1 ... ok -punpcklqdq_2 ... ok -punpcklwd_1 ... ok -punpcklwd_2 ... ok -pxor_1 ... ok -pxor_2 ... ok -shufpd_1 ... ok -shufpd_2 ... ok -sqrtpd_1 ... ok -sqrtpd_2 ... ok -sqrtsd_1 ... ok -sqrtsd_2 ... ok -subpd_1 ... ok -subpd_2 ... ok -subsd_1 ... ok -subsd_2 ... ok -ucomisd_1 ... ok -ucomisd_2 ... ok -ucomisd_3 ... ok -ucomisd_4 ... ok -ucomisd_5 ... ok -ucomisd_6 ... ok -unpckhpd_1 ... ok -unpckhpd_2 ... ok -unpcklpd_1 ... ok -unpcklpd_2 ... ok -xorpd_1 ... ok ================================================= ./valgrind-new/none/tests/amd64/insn_sse.stderr.diff ================================================= --- insn_sse.stderr.exp 2015-04-07 02:46:49.532222227 +0100 +++ insn_sse.stderr.out 2015-04-07 02:54:41.672595955 +0100 @@ -0,0 +1,143 @@ + +IR SANITY CHECK FAILURE + +IRSB { + t0:I64 t1:I64 t2:I64 t3:I64 t4:I64 t5:I64 t6:I64 t7:I64 + t8:I64 t9:I64 t10:I64 t11:I64 + + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + IR-NoOp + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),7] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),6] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),5] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 2, 0) ------ + PUTI(840:8xI8)[GET:I32(768),4] = 0x........:I8 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t0 = Add64(GET:I64(56),0x........:I64) + PUT(608) = LDle:I64(t0) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t1 = Add64(GET:I64(56),0x........:I64) + PUT(616) = LDle:I64(t1) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t2 = Add64(GET:I64(56),0x........:I64) + PUT(640) = LDle:I64(t2) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t3 = Add64(GET:I64(56),0x........:I64) + PUT(648) = LDle:I64(t3) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 4, 0) ------ + PUT(640) = Sqrt32Fx4(GET:V128(608)) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t4 = Add64(GET:I64(56),0x........:I64) + STle(t4) = GET:I64(640) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t5 = Add64(GET:I64(56),0x........:I64) + STle(t5) = GET:I64(648) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 1, 0) ------ + PUT(176) = 0x........:I64 + PUT(184) = 0x........:I64 + ------ IMark(0x........, 3, 0) ------ + t6 = Add64(GET:I64(56),0x........:I64) + PUT(16) = 32Uto64(LDle:I32(t6)) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 8, 0) ------ + t7 = Add64(0x........:I64,0x........:I64) + PUT(256) = V128{0x........} + PUT(256) = LDle:I32(t7) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 6, 0) ------ + t8 = Add64(GET:I64(56),0x........:I64) + STle(t8) = 64to32(GET:I64(16)) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 8, 0) ------ + t9 = Add64(GET:I64(56),0x........:I64) + PUT(224) = V128{0x........} + PUT(224) = LDle:I32(t9) + PUT(184) = 0x........:I64 + ------ IMark(0x........, 5, 0) ------ + t10 = Sub64(GET:I64(48),0x........:I64) + PUT(48) = t10 + STle(t10) = 0x........:I64 + t11 = 0x........:I64 + ====== AbiHint(Sub64(t10,0x........:I64), 128, t11) ====== + PUT(184) = 0x........:I64 + PUT(184) = GET:I64(184); exit-Call +} + +IN STATEMENT: + +PUT(640) = Sqrt32Fx4(GET:V128(608)) + +ERROR = Iex.Unop: wrong arity op ================================================= ./valgrind-new/none/tests/amd64/insn_sse.stdout.diff ================================================= --- insn_sse.stdout.exp 2015-04-07 02:46:49.550221991 +0100 +++ insn_sse.stdout.out 2015-04-07 02:54:41.417600790 +0100 @@ -1,154 +0,0 @@ -addps_1 ... ok -addps_2 ... ok -addss_1 ... ok -addss_2 ... ok -andnps_1 ... ok -andnps_2 ... ok -andps_1 ... ok -andps_2 ... ok -cmpeqps_1 ... ok -cmpeqps_2 ... ok -cmpeqss_1 ... ok -cmpeqss_2 ... ok -cmpleps_1 ... ok -cmpleps_2 ... ok -cmpless_1 ... ok -cmpless_2 ... ok -cmpltps_1 ... ok -cmpltps_2 ... ok -cmpltss_1 ... ok -cmpltss_2 ... ok -cmpunordps_1 ... ok -cmpunordps_2 ... ok -cmpunordss_1 ... ok -cmpunordss_2 ... ok -cmpneqps_1 ... ok -cmpneqps_2 ... ok -cmpneqss_1 ... ok -cmpneqss_2 ... ok -cmpnleps_1 ... ok -cmpnleps_2 ... ok -cmpnless_1 ... ok -cmpnless_2 ... ok -cmpnltps_1 ... ok -cmpnltps_2 ... ok -cmpnltss_1 ... ok -cmpnltss_2 ... ok -cmpordps_1 ... ok -cmpordps_2 ... ok -cmpordss_1 ... ok -cmpordss_2 ... ok -comiss_1 ... ok -comiss_2 ... ok -comiss_3 ... ok -comiss_4 ... ok -comiss_5 ... ok -comiss_6 ... ok -cvtpi2ps_1 ... ok -cvtpi2ps_2 ... ok -cvtps2pi_1 ... ok -cvtps2pi_2 ... ok -cvtsi2ss_1 ... ok -cvtsi2ss_2 ... ok -cvtss2si_1 ... ok -cvtss2si_2 ... ok -cvttps2pi_1 ... ok -cvttps2pi_2 ... ok -cvttss2si_1 ... ok -cvttss2si_2 ... ok -divps_1 ... ok -divps_2 ... ok -divss_1 ... ok -divss_2 ... ok -maxps_1 ... ok -maxps_2 ... ok -maxss_1 ... ok -maxss_2 ... ok -minps_1 ... ok -minps_2 ... ok -minss_1 ... ok -minss_2 ... ok -movaps_1 ... ok -movaps_2 ... ok -movhlps_1 ... ok -movhps_1 ... ok -movhps_2 ... ok -movlhps_1 ... ok -movlps_1 ... ok -movlps_2 ... ok -movmskps_1 ... ok -movntps_1 ... ok -movntq_1 ... ok -movss_1 ... ok -movss_2 ... ok -movss_3 ... ok -movups_1 ... ok -movups_2 ... ok -mulps_1 ... ok -mulps_2 ... ok -mulss_1 ... ok -mulss_2 ... ok -orps_1 ... ok -orps_2 ... ok -pavgb_1 ... ok -pavgb_2 ... ok -pavgw_1 ... ok -pavgw_2 ... ok -pextrw_1 ... ok ================================================= ./valgrind-old/drd/tests/tc12_rwl_trivial.stderr.diff ================================================= --- tc12_rwl_trivial.stderr.exp 2015-04-07 02:31:15.051724939 +0100 +++ tc12_rwl_trivial.stderr.out 2015-04-07 02:45:53.344176570 +0100 @@ -6,5 +6,31 @@ at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?) by 0x........: main (tc12_rwl_trivial.c:24) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + at 0x........: _xend (pthread_rwlock_unlock.c:?) + by 0x........: pthread_rwlock_unlock (pthread_rwlock_unlock.c:?) + by 0x........: pthread_rwlock_unlock (drd_pthread_intercepts.c:?) + by 0x........: main (tc12_rwl_trivial.c:35) +Your program just tried to execute an instruction that Valgrind +did not recognise. There are two possible reasons for this. +1. Your program has a bug and erroneously jumped to a non-code + location. If you are running Memcheck and you just saw a + warning about a bad jump, it's probably your program's fault. +2. The instruction is legitimate but Valgrind doesn't handle it, + i.e. it's Valgrind's fault. If you think this is the case or + you are not sure, please let us know and we'll try to fix it. +Either way, Valgrind will now raise a SIGILL signal which will +probably kill your program. + +Process terminating with default action of signal 4 (SIGILL) + Illegal opcode at address 0x........ + at 0x........: _xend (pthread_rwlock_unlock.c:?) + by 0x........: pthread_rwlock_unlock (pthread_rwlock_unlock.c:?) + by 0x........: pthread_rwlock_unlock (drd_pthread_intercepts.c:?) + by 0x........: main (tc12_rwl_trivial.c:35) ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) ================================================= ./valgrind-old/gdbserver_tests/hgtls.stdoutB.diff ================================================= --- hgtls.stdoutB.exp 2015-04-07 02:31:10.736806845 +0100 +++ hgtls.stdoutB.out 2015-04-07 02:34:43.181287231 +0100 @@ -35,11 +35,11 @@ [New Thread ....] Breakpoint 1, tls_ptr (p=0x........) at tls.c:55 55 int here = 0; -test so_extern tls_ip 0x........ ip 0x........ equal 1 +test so_extern tls_ip 0x........ ip 0x........ equal 0 [New Thread ....] Breakpoint 1, tls_ptr (p=0x........) at tls.c:55 55 int here = 0; -test so_extern tls_ip 0x........ ip 0x........ equal 1 +test so_extern tls_ip 0x........ ip 0x........ equal 0 [New Thread ....] Breakpoint 1, tls_ptr (p=0x........) at tls.c:55 55 int here = 0; ================================================= ./valgrind-old/helgrind/tests/tc12_rwl_trivial.stderr.diff ================================================= --- tc12_rwl_trivial.stderr.exp 2015-04-07 02:31:12.444774424 +0100 +++ tc12_rwl_trivial.stderr.out 2015-04-07 02:41:12.310512819 +0100 @@ -17,5 +17,31 @@ in frame #x, created by main (tc12_rwl_trivial.c:20) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) + by 0x........: main (tc12_rwl_trivial.c:35) +Your program just tried to execute an instruction that Valgrind +did not recognise. There are two possible reasons for this. +1. Your program has a bug and erroneously jumped to a non-code + location. If you are running Memcheck and you just saw a + warning about a bad jump, it's probably your program's fault. +2. The instruction is legitimate but Valgrind doesn't handle it, + i.e. it's Valgrind's fault. If you think this is the case or + you are not sure, please let us know and we'll try to fix it. +Either way, Valgrind will now raise a SIGILL signal which will +probably kill your program. + +Process terminating with default action of signal 4 (SIGILL) + Illegal opcode at address 0x........ + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) + by 0x........: main (tc12_rwl_trivial.c:35) ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) ================================================= ./valgrind-old/helgrind/tests/tc12_rwl_trivial.stderr.diff-darwin970 ================================================= --- tc12_rwl_trivial.stderr.exp-darwin970 2015-04-07 02:31:12.437774558 +0100 +++ tc12_rwl_trivial.stderr.out 2015-04-07 02:41:12.310512819 +0100 @@ -1,17 +1,47 @@ +---Thread-Announcement------------------------------------------ + Thread #x is the program's root thread +---------------------------------------------------------------- + Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock* (hg_intercepts.c:...) + at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc12_rwl_trivial.c:35) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init* (hg_intercepts.c:...) + Lock at 0x........ was first observed + at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_init (hg_intercepts.c:...) by 0x........: main (tc12_rwl_trivial.c:24) + Address 0x........ is on thread #x's stack + in frame #x, created by main (tc12_rwl_trivial.c:20) -Thread #x's call to pthread_rwlock_unlock failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: pthread_rwlock_unlock* (hg_intercepts.c:...) + +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc12_rwl_trivial.c:35) +Your program just tried to execute an instruction that Valgrind +did not recognise. There are two possible reasons for this. +1. Your program has a bug and erroneously jumped to a non-code + location. If you are running Memcheck and you just saw a + warning about a bad jump, it's probably your program's fault. +2. The instruction is legitimate but Valgrind doesn't handle it, + i.e. it's Valgrind's fault. If you think this is the case or + you are not sure, please let us know and we'll try to fix it. +Either way, Valgrind will now raise a SIGILL signal which will +probably kill your program. +Process terminating with default action of signal 4 (SIGILL) + Illegal opcode at address 0x........ + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) + by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) + by 0x........: main (tc12_rwl_trivial.c:35) -ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0) +ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) ================================================= ./valgrind-old/helgrind/tests/tc20_verifywrap.stderr.diff ================================================= --- tc20_verifywrap.stderr.exp 2015-04-07 02:31:12.435774596 +0100 +++ tc20_verifywrap.stderr.out 2015-04-07 02:41:24.897268403 +0100 @@ -165,81 +165,31 @@ declared at tc20_verifywrap.c:47, in frame #x of thread x -(1) no error on next line -(2) no error on next line -(3) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:196) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - Location 0x........ is 0 bytes inside local var "rwl2" - declared at tc20_verifywrap.c:48, in frame #x of thread x - - -(4) no error on next line -(5) no error on next line -(6) no error on next line -(7) no error on next line -(8) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:212) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - Location 0x........ is 0 bytes inside local var "rwl2" - declared at tc20_verifywrap.c:48, in frame #x of thread x - - - ----------------- sem_* ---------------- - ----------------------------------------------------------------- - -Thread #x's call to sem_init failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_init_WRK (hg_intercepts.c:...) - by 0x........: sem_init@* (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:228) - + by 0x........: main (tc20_verifywrap.c:179) +Your program just tried to execute an instruction that Valgrind +did not recognise. There are two possible reasons for this. +1. Your program has a bug and erroneously jumped to a non-code + location. If you are running Memcheck and you just saw a + warning about a bad jump, it's probably your program's fault. +2. The instruction is legitimate but Valgrind doesn't handle it, + i.e. it's Valgrind's fault. If you think this is the case or + you are not sure, please let us know and we'll try to fix it. +Either way, Valgrind will now raise a SIGILL signal which will +probably kill your program. -FIXME: can't figure out how to verify wrap of sem_destroy - ----------------------------------------------------------------- - -Thread #x: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post - at 0x........: sem_wait_WRK (hg_intercepts.c:...) - by 0x........: sem_wait (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:242) - ----------------------------------------------------------------- - -Thread #x's call to sem_post failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_post_WRK (hg_intercepts.c:...) - by 0x........: sem_post (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:245) - - -FIXME: can't figure out how to verify wrap of sem_post - - ------------- dealloc of mem holding locks ------------ - ----------------------------------------------------------------- - -Thread #x: Exiting thread still holds 1 lock +Process terminating with default action of signal 4 (SIGILL) + Illegal opcode at address 0x........ ================================================= ./valgrind-old/helgrind/tests/tc20_verifywrap.stderr.diff-glibc-2.18 ================================================= --- tc20_verifywrap.stderr.exp-glibc-2.18 2015-04-07 02:31:12.468773969 +0100 +++ tc20_verifywrap.stderr.out 2015-04-07 02:41:24.897268403 +0100 @@ -56,6 +56,13 @@ ---------------------------------------------------------------- +Thread #x's call to pthread_mutex_destroy failed + with error code 16 (EBUSY: Device or resource busy) + at 0x........: pthread_mutex_destroy (hg_intercepts.c:...) + by 0x........: main (tc20_verifywrap.c:102) + +---------------------------------------------------------------- + Thread #x's call to pthread_mutex_lock failed with error code 22 (EINVAL: Invalid argument) at 0x........: pthread_mutex_lock (hg_intercepts.c:...) @@ -150,80 +157,39 @@ at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:179) - Lock at 0x........ was first observed + Lock at 0x........ was first observed at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:178) + Location 0x........ is 0 bytes inside local var "rwl" + declared at tc20_verifywrap.c:47, in frame #x of thread x -(1) no error on next line -(2) no error on next line -(3) ERROR on next line ----------------------------------------------------------------- -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:196) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - -(4) no error on next line -(5) no error on next line -(6) no error on next line -(7) no error on next line -(8) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:212) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - - ----------------- sem_* ---------------- - ----------------------------------------------------------------- - -Thread #x's call to sem_init failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_init_WRK (hg_intercepts.c:...) - by 0x........: sem_init@* (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:228) - - -FIXME: can't figure out how to verify wrap of sem_destroy - ----------------------------------------------------------------- - -Thread #x: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post - at 0x........: sem_wait_WRK (hg_intercepts.c:...) - by 0x........: sem_wait (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:242) - ----------------------------------------------------------------- - -Thread #x's call to sem_post failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_post_WRK (hg_intercepts.c:...) - by 0x........: sem_post (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:245) - - -FIXME: can't figure out how to verify wrap of sem_post - - ------------- dealloc of mem holding locks ------------ - ================================================= ./valgrind-old/helgrind/tests/tc20_verifywrap.stderr.diff-mips32 ================================================= --- tc20_verifywrap.stderr.exp-mips32 2015-04-07 02:31:12.446774386 +0100 +++ tc20_verifywrap.stderr.out 2015-04-07 02:41:24.897268403 +0100 @@ -13,7 +13,6 @@ Thread #x was created ... - by 0x........: pthread_create_WRK (hg_intercepts.c:...) by 0x........: pthread_create@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:76) @@ -28,14 +27,13 @@ at 0x........: racy_child (tc20_verifywrap.c:34) by 0x........: mythread_wrapper (hg_intercepts.c:...) ... - -Location 0x........ is 0 bytes inside global var "unprotected" -declared at tc20_verifywrap.c:27 + Location 0x........ is 0 bytes inside global var "unprotected" + declared at tc20_verifywrap.c:27 ---------------------------------------------------------------- Thread #x's call to pthread_join failed - with error code 45 (EDEADLK: Resource deadlock would occur) + with error code 35 (EDEADLK: Resource deadlock would occur) at 0x........: pthread_join_WRK (hg_intercepts.c:...) by 0x........: pthread_join (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:83) @@ -46,7 +44,7 @@ ---------------------------------------------------------------- Thread #x's call to pthread_mutex_init failed - with error code 122 (EOPNOTSUPP: Operation not supported on transport endpoint) + with error code 95 (EOPNOTSUPP: Operation not supported on transport endpoint) at 0x........: pthread_mutex_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:92) @@ -159,72 +157,39 @@ at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:179) - Lock at 0x........ was first observed + Lock at 0x........ was first observed at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:178) + Location 0x........ is 0 bytes inside local var "rwl" + declared at tc20_verifywrap.c:47, in frame #x of thread x -(1) no error on next line -(2) no error on next line -(3) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:196) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - -(4) no error on next line -(5) no error on next line -(6) no error on next line -(7) no error on next line -(8) ERROR on next line ----------------------------------------------------------------- -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:212) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - - ----------------- sem_* ---------------- - ----------------------------------------------------------------- - -Thread #x's call to sem_init failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_init_WRK (hg_intercepts.c:...) - by 0x........: sem_init@* (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:228) - - -FIXME: can't figure out how to verify wrap of sem_destroy - ================================================= ./valgrind-old/helgrind/tests/tc20_verifywrap.stderr.diff-mips32-b ================================================= --- tc20_verifywrap.stderr.exp-mips32-b 2015-04-07 02:31:12.443774444 +0100 +++ tc20_verifywrap.stderr.out 2015-04-07 02:41:24.897268403 +0100 @@ -13,7 +13,6 @@ Thread #x was created ... - by 0x........: pthread_create_WRK (hg_intercepts.c:...) by 0x........: pthread_create@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:76) @@ -28,14 +27,13 @@ at 0x........: racy_child (tc20_verifywrap.c:34) by 0x........: mythread_wrapper (hg_intercepts.c:...) ... - -Location 0x........ is 0 bytes inside global var "unprotected" -declared at tc20_verifywrap.c:27 + Location 0x........ is 0 bytes inside global var "unprotected" + declared at tc20_verifywrap.c:27 ---------------------------------------------------------------- Thread #x's call to pthread_join failed - with error code 45 (EDEADLK: Resource deadlock would occur) + with error code 35 (EDEADLK: Resource deadlock would occur) at 0x........: pthread_join_WRK (hg_intercepts.c:...) by 0x........: pthread_join (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:83) @@ -46,7 +44,7 @@ ---------------------------------------------------------------- Thread #x's call to pthread_mutex_init failed - with error code 122 (EOPNOTSUPP: Operation not supported on transport endpoint) + with error code 95 (EOPNOTSUPP: Operation not supported on transport endpoint) at 0x........: pthread_mutex_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:92) @@ -159,80 +157,39 @@ at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:179) - Lock at 0x........ was first observed + Lock at 0x........ was first observed at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:178) + Location 0x........ is 0 bytes inside local var "rwl" + declared at tc20_verifywrap.c:47, in frame #x of thread x -(1) no error on next line -(2) no error on next line -(3) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:196) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - -(4) no error on next line -(5) no error on next line -(6) no error on next line -(7) no error on next line -(8) ERROR on next line ----------------------------------------------------------------- -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:212) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - - ----------------- sem_* ---------------- - ----------------------------------------------------------------- - -Thread #x's call to sem_init failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_init_WRK (hg_intercepts.c:...) - by 0x........: sem_init@* (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:228) - - -FIXME: can't figure out how to verify wrap of sem_destroy - ================================================= ./valgrind-old/helgrind/tests/tc20_verifywrap.stderr.diff-s390x ================================================= --- tc20_verifywrap.stderr.exp-s390x 2015-04-07 02:31:12.462774083 +0100 +++ tc20_verifywrap.stderr.out 2015-04-07 02:41:24.897268403 +0100 @@ -13,7 +13,6 @@ Thread #x was created ... - by 0x........: pthread_create_WRK (hg_intercepts.c:...) by 0x........: pthread_create@* (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:76) @@ -28,9 +27,8 @@ at 0x........: racy_child (tc20_verifywrap.c:34) by 0x........: mythread_wrapper (hg_intercepts.c:...) ... - -Location 0x........ is 0 bytes inside global var "unprotected" -declared at tc20_verifywrap.c:27 + Location 0x........ is 0 bytes inside global var "unprotected" + declared at tc20_verifywrap.c:27 ---------------------------------------------------------------- @@ -159,72 +157,39 @@ at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:179) - Lock at 0x........ was first observed + Lock at 0x........ was first observed at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_init (hg_intercepts.c:...) by 0x........: main (tc20_verifywrap.c:178) + Location 0x........ is 0 bytes inside local var "rwl" + declared at tc20_verifywrap.c:47, in frame #x of thread x -(1) no error on next line -(2) no error on next line -(3) ERROR on next line ----------------------------------------------------------------- - -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:196) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - -(4) no error on next line -(5) no error on next line -(6) no error on next line -(7) no error on next line -(8) ERROR on next line ----------------------------------------------------------------- -Thread #x unlocked a not-locked lock at 0x........ - at 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) +vex amd64->IR: unhandled instruction bytes: 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ 0x........ +vex amd64->IR: REX=0 REX.W=0 REX.R=0 REX.X=0 REX.B=0 +vex amd64->IR: VEX=0 VEX.L=0 VEX.nVVVV=0x........ ESC=0F +vex amd64->IR: PFX.66=0 PFX.F2=0 PFX.F3=0 +valgrind: Unrecognised instruction at address 0x......... + ... + by 0x........: pthread_rwlock_unlock_WRK (hg_intercepts.c:...) by 0x........: pthread_rwlock_unlock (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:212) - Lock at 0x........ was first observed - at 0x........: pthread_rwlock_init_WRK (hg_intercepts.c:...) - by 0x........: pthread_rwlock_init (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:186) - - ----------------- sem_* ---------------- - ----------------------------------------------------------------- - -Thread #x's call to sem_init failed - with error code 22 (EINVAL: Invalid argument) - at 0x........: sem_init_WRK (hg_intercepts.c:...) - by 0x........: sem_init@* (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:228) - - -FIXME: can't figure out how to verify wrap of sem_destroy - ----------------------------------------------------------------- - -Thread #x: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post - at 0x........: sem_wait_WRK (hg_intercepts.c:...) - by 0x........: sem_wait (hg_intercepts.c:...) - by 0x........: main (tc20_verifywrap.c:242) - - -FIXME: can't figure out how to verify wrap of sem_post - - ------------- dealloc of mem holding locks ------------ - ----------------------------------------------------------------- + by 0x........: main (tc20_verifywrap.c:179) ================================================= ./valgrind-old/memcheck/tests/err_disable3.stderr.diff ================================================= --- err_disable3.stderr.exp 2015-04-07 02:31:10.992801986 +0100 +++ err_disable3.stderr.out 2015-04-07 02:36:22.051382106 +0100 @@ -10,8 +10,6 @@ Thread 2: Invalid read of size 1 at 0x........: err (err_disable3.c:25) - by 0x........: child_fn (err_disable3.c:31) - ... Address 0x........ is 5 bytes inside a block of size 10 free'd at 0x........: free (vg_replace_malloc.c:...) by 0x........: main (err_disable3.c:42) ================================================= ./valgrind-old/memcheck/tests/err_disable4.stderr.diff ================================================= --- err_disable4.stderr.exp 2015-04-07 02:31:11.195798133 +0100 +++ err_disable4.stderr.out 2015-04-07 02:36:22.734369126 +0100 @@ -1501,8 +1501,6 @@ Thread x: Invalid read of size 1 at 0x........: err (err_disable4.c:46) - by 0x........: child_fn_2 (err_disable4.c:64) - ... Address 0x........ is 5 bytes inside a block of size 10 free'd at 0x........: free (vg_replace_malloc.c:...) by 0x........: main (err_disable4.c:81) ================================================= ./valgrind-old/memcheck/tests/threadname.stderr.diff ================================================= --- threadname.stderr.exp 2015-04-07 02:31:11.138799215 +0100 +++ threadname.stderr.out 2015-04-07 02:37:58.736347230 +0100 @@ -9,36 +9,12 @@ Thread 2: Invalid write of size 1 at 0x........: bad_things (threadname.c:16) - by 0x........: child_fn_0 (threadname.c:61) - ... Address 0x........ is 0 bytes after a block of size 2 alloc'd at 0x........: malloc (vg_replace_malloc.c:...) by 0x........: bad_things (threadname.c:15) by 0x........: child_fn_0 (threadname.c:61) ... -Thread 3 try1: -Invalid write of size 1 - at 0x........: bad_things (threadname.c:16) - by 0x........: child_fn_1 (threadname.c:46) - ... - Address 0x........ is 0 bytes after a block of size 3 alloc'd - at 0x........: malloc (vg_replace_malloc.c:...) - by 0x........: bad_things (threadname.c:15) - by 0x........: child_fn_1 (threadname.c:46) - ... - -Thread 4 012345678901234: -Invalid write of size 1 - at 0x........: bad_things (threadname.c:16) - by 0x........: child_fn_2 (threadname.c:30) - ... - Address 0x........ is 0 bytes after a block of size 4 alloc'd - at 0x........: malloc (vg_replace_malloc.c:...) - by 0x........: bad_things (threadname.c:15) - by 0x........: child_fn_2 (threadname.c:30) - ... - Thread 1: Invalid write of size 1 at 0x........: bad_things (threadname.c:16) ================================================= ./valgrind-old/memcheck/tests/threadname_xml.stderr.diff ================================================= --- threadname_xml.stderr.exp 2015-04-07 02:31:11.066800581 +0100 +++ threadname_xml.stderr.out 2015-04-07 02:37:59.253337668 +0100 @@ -94,14 +94,6 @@ threadname.c ... - - 0x........ - ... - child_fn_0 - ... - threadname.c - ... - Address 0x........ is 0 bytes after a block of size 2 alloc'd @@ -135,112 +127,6 @@ 0x........ ... - try1 - InvalidWrite - Invalid write of size 1 - - - 0x........ - ... - bad_things - ... - threadname.c - ... - - - 0x........ - ... - child_fn_1 - ... - threadname.c - ... - - - Address 0x........ is 0 bytes after a block of size 3 alloc'd - - - 0x........ - ... - malloc - ... - vg_replace_malloc.c - ... - - - 0x........ - ... - bad_things - ... - threadname.c - ... - - - 0x........ - ... - child_fn_1 - ... - threadname.c - ... - - - - - - 0x........ - ... - 012345678901234 - InvalidWrite - Invalid write of size 1 - - - 0x........ - ... - bad_things - ... - threadname.c - ... - - - 0x........ - ... - child_fn_2 - ... - threadname.c - ... - - - Address 0x........ is 0 bytes after a block of size 4 alloc'd - - - 0x........ - ...