maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[msan] A disabled test for inexact "select" instrumentation. 

llvm-svn: 204707
This commit is contained in:
Evgeniy Stepanov 2014-03-25 09:36:15 +00:00
parent e485511e8e
commit 90384ad60e
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
compiler-rt/lib/msan/tests/msan_test.cc
View File

@ -3791,6 +3791,26 @@ TEST(MemorySanitizer, Select) {
EXPECT_POISONED(z);
}
TEST(MemorySanitizer, DISABLED_SelectPartial) {
// Precise instrumentation of select.
// Some bits of the result do not depend on select condition, and must stay
// initialized even if select condition is not. These are the bits that are
// equal and initialized in both left and right select arguments.
U4 x = 0xFFFFABCDU;
U4 x_s = 0xFFFF0000U;
__msan_partial_poison(&x, &x_s, sizeof(x));
U4 y = 0xAB00;
U1 cond = true;
__msan_poison(&cond, sizeof(cond));
U4 z = cond ? x : y;
__msan_print_shadow(&z, sizeof(z));
EXPECT_POISONED(z & 0xFFU);
EXPECT_NOT_POISONED(z & 0xFF00U);
EXPECT_POISONED(z & 0xFF0000U);
EXPECT_POISONED(z & 0xFF000000U);
EXPECT_EQ(0xAB00, z & 0xFF00U);
}
TEST(MemorySanitizerStress, DISABLED_MallocStackTrace) {
RecursiveMalloc(22);
}