{

// If auditing is enabled, then the top bit of m_triggerBits is always set

// to 1 on reload. When this top bit reaches the bottom, it does not

// indicate that we should trigger an audit but rather that we've shifted

// out all the available trigger bits and hence, need to reload. Instead,

// reloadAndCheckShouldAuditSlow() will return whether we actually need to

// trigger an audit this turn.

//

// This function can be called concurrently from different threads and can

// be racy. For that reason, we intentionally do not write back to

// m_triggerBits if newTriggerBits is null. This ensures that if

// Options::randomIntegrityAuditRate() is non-zero, then m_triggerBits will

// always have at least 1 bit to trigger a reload.

uint64_t newTriggerBits = m_triggerBits;

bool shouldAudit = newTriggerBits & 1;

newTriggerBits = newTriggerBits >> 1;

if (!shouldAudit) [[likely]] {

m_triggerBits = newTriggerBits;

return false;

}

if (!newTriggerBits)

return reloadAndCheckShouldAuditSlow(vm);

m_triggerBits = newTriggerBits;

return true;

{

if constexpr (auditLevel == AuditLevel::None)

return;

if (value.isCell())

auditCell<auditLevel>(vm, value.asCell());

{

if (Gigacage::contains(cell)) [[unlikely]]

auditCellMinimallySlow(vm, cell);

{

if (vm.integrityRandom().shouldAudit(vm)) [[unlikely]]

auditCellFully(vm, cell);

{

#if USE(JSVALUE64)

doAudit(vm, cell);

#else

auditCellMinimally(vm, cell);

#endif

{

UNUSED_PARAM(structureID);

#if CPU(ADDRESS64)

ASSERT(std::bit_cast<uintptr_t>(structureID.decode()) - startOfStructureHeap() <= g_jscConfig.sizeOfStructureHeap);

#endif

#if ENABLE(EXTRA_INTEGRITY_CHECKS) || ASSERT_ENABLED

Structure* structure = structureID.tryDecode();

IA_ASSERT(structure, "structureID.bits 0x%x", structureID.bits());

// structure should be pointing to readable memory. Force a read.

WTF::opaque(*std::bit_cast<uintptr_t*>(structure));

#endif