tsan_shadow_test.cc revision 0d35d9d9b1ff686b53918f9fd36797f0911db663
1//===-- tsan_shadow_test.cc -----------------------------------------------===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9// 10// This file is a part of ThreadSanitizer (TSan), a race detector. 11// 12//===----------------------------------------------------------------------===// 13#include "tsan_platform.h" 14#include "tsan_rtl.h" 15#include "gtest/gtest.h" 16 17namespace __tsan { 18 19TEST(Shadow, FastState) { 20 Shadow s(FastState(11, 22)); 21 EXPECT_EQ(s.tid(), (u64)11); 22 EXPECT_EQ(s.epoch(), (u64)22); 23 EXPECT_EQ(s.GetIgnoreBit(), false); 24 EXPECT_EQ(s.GetFreedAndReset(), false); 25 EXPECT_EQ(s.addr0(), (u64)0); 26 EXPECT_EQ(s.size(), (u64)1); 27 EXPECT_EQ(s.is_write(), false); 28 29 s.IncrementEpoch(); 30 EXPECT_EQ(s.epoch(), (u64)23); 31 s.IncrementEpoch(); 32 EXPECT_EQ(s.epoch(), (u64)24); 33 34 s.SetIgnoreBit(); 35 EXPECT_EQ(s.GetIgnoreBit(), true); 36 s.ClearIgnoreBit(); 37 EXPECT_EQ(s.GetIgnoreBit(), false); 38} 39 40TEST(Shadow, Mapping) { 41 static int global; 42 int stack; 43 void *heap = malloc(0); 44 free(heap); 45 46 CHECK(IsAppMem((uptr)&global)); 47 CHECK(IsAppMem((uptr)&stack)); 48 CHECK(IsAppMem((uptr)heap)); 49 50 CHECK(IsShadowMem(MemToShadow((uptr)&global))); 51 CHECK(IsShadowMem(MemToShadow((uptr)&stack))); 52 CHECK(IsShadowMem(MemToShadow((uptr)heap))); 53} 54 55TEST(Shadow, Celling) { 56 u64 aligned_data[4]; 57 char *data = (char*)aligned_data; 58 CHECK_EQ((uptr)data % kShadowSize, 0); 59 uptr s0 = MemToShadow((uptr)&data[0]); 60 CHECK_EQ(s0 % kShadowSize, 0); 61 for (unsigned i = 1; i < kShadowCell; i++) 62 CHECK_EQ(s0, MemToShadow((uptr)&data[i])); 63 for (unsigned i = kShadowCell; i < 2*kShadowCell; i++) 64 CHECK_EQ(s0 + kShadowSize*kShadowCnt, MemToShadow((uptr)&data[i])); 65 for (unsigned i = 2*kShadowCell; i < 3*kShadowCell; i++) 66 CHECK_EQ(s0 + 2*kShadowSize*kShadowCnt, MemToShadow((uptr)&data[i])); 67} 68 69} // namespace __tsan 70