ValueWithShadow.h 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171
  1. /*
  2. * Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
  3. * All rights reserved.
  4. *
  5. * Redistribution and use in source and binary forms, with or without
  6. * modification, are permitted provided that the following conditions are met:
  7. *
  8. * 1. Redistributions of source code must retain the above copyright notice, this
  9. * list of conditions and the following disclaimer.
  10. *
  11. * 2. Redistributions in binary form must reproduce the above copyright notice,
  12. * this list of conditions and the following disclaimer in the documentation
  13. * and/or other materials provided with the distribution.
  14. *
  15. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  16. * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  17. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  18. * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
  19. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  20. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  21. * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  22. * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  23. * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  24. * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  25. */
  26. #include <AK/Format.h>
  27. #include <AK/Platform.h>
  28. #pragma once
  29. namespace UserspaceEmulator {
  30. template<typename T>
  31. class ValueAndShadowReference;
  32. template<typename T>
  33. class ValueWithShadow {
  34. public:
  35. using ValueType = T;
  36. ValueWithShadow(T value, T shadow)
  37. : m_value(value)
  38. , m_shadow(shadow)
  39. {
  40. }
  41. ValueWithShadow(const ValueAndShadowReference<T>&);
  42. T value() const { return m_value; }
  43. T shadow() const { return m_shadow; }
  44. bool is_uninitialized() const
  45. {
  46. if constexpr (sizeof(T) == 4)
  47. return (m_shadow & 0x01010101) != 0x01010101;
  48. if constexpr (sizeof(T) == 2)
  49. return (m_shadow & 0x0101) != 0x0101;
  50. if constexpr (sizeof(T) == 1)
  51. return (m_shadow & 0x01) != 0x01;
  52. }
  53. void set_initialized()
  54. {
  55. if constexpr (sizeof(T) == 4)
  56. m_shadow = 0x01010101;
  57. if constexpr (sizeof(T) == 2)
  58. m_shadow = 0x0101;
  59. if constexpr (sizeof(T) == 1)
  60. m_shadow = 0x01;
  61. }
  62. private:
  63. T m_value;
  64. T m_shadow;
  65. };
  66. template<typename T>
  67. class ValueAndShadowReference {
  68. public:
  69. using ValueType = T;
  70. ValueAndShadowReference(T& value, T& shadow)
  71. : m_value(value)
  72. , m_shadow(shadow)
  73. {
  74. }
  75. bool is_uninitialized() const
  76. {
  77. if constexpr (sizeof(T) == 4)
  78. return (m_shadow & 0x01010101) != 0x01010101;
  79. if constexpr (sizeof(T) == 2)
  80. return (m_shadow & 0x0101) != 0x0101;
  81. if constexpr (sizeof(T) == 1)
  82. return (m_shadow & 0x01) != 0x01;
  83. }
  84. void operator=(const ValueWithShadow<T>&);
  85. T& value() { return m_value; }
  86. T& shadow() { return m_shadow; }
  87. const T& value() const { return m_value; }
  88. const T& shadow() const { return m_shadow; }
  89. private:
  90. T& m_value;
  91. T& m_shadow;
  92. };
  93. template<typename T>
  94. ALWAYS_INLINE ValueWithShadow<T> shadow_wrap_as_initialized(T value)
  95. {
  96. if constexpr (sizeof(T) == 8)
  97. return { value, 0x01010101'01010101LLU };
  98. if constexpr (sizeof(T) == 4)
  99. return { value, 0x01010101 };
  100. if constexpr (sizeof(T) == 2)
  101. return { value, 0x0101 };
  102. if constexpr (sizeof(T) == 1)
  103. return { value, 0x01 };
  104. }
  105. template<typename T, typename U>
  106. ALWAYS_INLINE ValueWithShadow<T> shadow_wrap_with_taint_from(T value, const U& taint_a)
  107. {
  108. if (taint_a.is_uninitialized())
  109. return { value, 0 };
  110. return shadow_wrap_as_initialized(value);
  111. }
  112. template<typename T, typename U, typename V>
  113. ALWAYS_INLINE ValueWithShadow<T> shadow_wrap_with_taint_from(T value, const U& taint_a, const V& taint_b)
  114. {
  115. if (taint_a.is_uninitialized() || taint_b.is_uninitialized())
  116. return { value, 0 };
  117. return shadow_wrap_as_initialized(value);
  118. }
  119. template<typename T, typename U, typename V, typename X>
  120. ALWAYS_INLINE ValueWithShadow<T> shadow_wrap_with_taint_from(T value, const U& taint_a, const V& taint_b, const X& taint_c)
  121. {
  122. if (taint_a.is_uninitialized() || taint_b.is_uninitialized() || taint_c.is_uninitialized())
  123. return { value, 0 };
  124. return shadow_wrap_as_initialized(value);
  125. }
  126. template<typename T>
  127. inline ValueWithShadow<T>::ValueWithShadow(const ValueAndShadowReference<T>& other)
  128. : m_value(other.value())
  129. , m_shadow(other.shadow())
  130. {
  131. }
  132. template<typename T>
  133. inline void ValueAndShadowReference<T>::operator=(const ValueWithShadow<T>& other)
  134. {
  135. m_value = other.value();
  136. m_shadow = other.shadow();
  137. }
  138. }
  139. template<typename T>
  140. struct AK::Formatter<UserspaceEmulator::ValueWithShadow<T>> : AK::Formatter<T> {
  141. void format(TypeErasedFormatParams& params, FormatBuilder& builder, UserspaceEmulator::ValueWithShadow<T> value)
  142. {
  143. return Formatter<T>::format(params, builder, value.value());
  144. }
  145. };