Subject: [Boost-commit] svn:boost r64109 - sandbox/SOC/2010/bit_masks/boost/integer/detail/bft
From: bbartmanboost_at_[hidden]
Date: 2010-07-17 14:19:58
Author: bbartman
Date: 2010-07-17 14:19:57 EDT (Sat, 17 Jul 2010)
New Revision: 64109
URL: http://svn.boost.org/trac/boost/changeset/64109
Log:
still working on implementing the pointer parsing, and all of the other things which need to go with it to make it work.
Added:
sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/pointer_packing_policy.hpp (contents, props changed)
Text files modified:
sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/arg_parse_impl.hpp | 104 ++++++++++++++++++++++++++++-----------
sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/pointer_parsing_meta_functions.hpp | 7 +
2 files changed, 79 insertions(+), 32 deletions(-)
Modified: sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/arg_parse_impl.hpp
==============================================================================
--- sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/arg_parse_impl.hpp (original)
+++ sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/arg_parse_impl.hpp 2010-07-17 14:19:57 EDT (Sat, 17 Jul 2010)
@@ -14,6 +14,8 @@
#include <boost/mpl/arithmetic.hpp>
#include <boost/mpl/find_if.hpp>
#include <boost/mpl/placeholders.hpp>
+#include <boost/mpl/comparison.hpp>
+#include <boost/type_traits/add_pointer.hpp>
#include <boost/integer/bitfield_tuple/storage.hpp>
@@ -26,6 +28,8 @@
#include <boost/integer/detail/bft/name_lookup.hpp>
#include <boost/integer/detail/bft/pointer_parsing_meta_functions.hpp>
+#include <boost/integer/detail/bft/pointer_packing_policy.hpp>
+
namespace boost { namespace detail {
@@ -388,38 +392,79 @@
* to the first 1 within the mask provided.
*/
-
+ typedef typename pointer_member::count_leading_zeros<
+ Mask>::type front_storage_space;
- /*
- typedef bitfields::bit_align<AlignTo> param;
- typedef FieldVector field_vector;
- typedef StoragePolicy storage_policy;
-
-
- // computing the position of the next bit which is aligned
- // to the current value of AlignTo.
+ typedef typename pointer_member::count_trailing_zeros<
+ Mask>::type back_storage_space;
- // if the modulus result is 0 then we are aligned to the current position.
- // If its not then we actually have to adjust the position and move to the
- // next bit position which is aligned to to AlignTo's value
-
- typedef mpl::size_t<AlignTo> align_to;
- typedef typename mpl::modulus<
- Offset,
- align_to
- >::type mod_result;
-
- typedef typename mpl::if_c< mod_result::value == 0, // then
- Offset,
- // else
+ typedef typename mpl::minus<
+ mpl::size_t< bit_width< void* >::value>,
typename mpl::plus<
- Offset,
- typename mpl::minus<
- align_to,
- mod_result
- >::type
+ front_storage_space,
+ back_storage_space
>::type
- >::type offset;
+ >::type size_of_storage;
+/*
+Info to know about the curret state of parsing.
+ 1) Is the curret front_storage_space zero?
+ This means that there are no leading zeros.
+ 2) Is the rear storage space zero.
+ there is no trailing zeros.
+ 3) number of bits being stored for the pointer.
+ calculated as the number of bits in the mask -
+ (back_storage_space + front_storage_space)
+
+*/
+
+
+ // Logic for determining how to actually store the pointer.
+ typedef typename mpl::if_c<front_storage_space::value == 0,
+ mpl::false_,mpl::true_>::type uses_front_storage;
+
+ typedef typename mpl::if_c<back_storage_space::value == 0,
+ mpl::false_,mpl::true_>::type uses_back_storage;
+
+ // getting starting position of pointer for storage inside of
+ // bitfield_tuples storage.
+ typedef typename mpl::if_<
+ uses_front_storage,
+ typename mpl::if_<
+ typename mpl::less<
+ front_storage_space,
+ Offset
+ >::type,
+ // the pointer has been pushed because the user has added leading
+ // members to the bitfield_tuple greater then the number of bits
+ // the mask allows for them to store directly directly within the
+ // pointer. This may need to be a precondition that causes failure.
+
+ // TODO: REMOVE THIS LATER ITS ONLY HERE FOR THE MOMENT TO CAUSE
+ // FAILURE because I don't know how I should implement this part
+ // just yet and thinking about it is hurting my head.
+ mpl::size_t<sizeof(mpl::void_)>::type,
+ typename mpl::minus<front_storage_space, Offset>::type
+ >::type,
+ Offset
+ >::type data_offset;
+
+ // calculating next offset/width for the next field.
+ typedef typename mpl::plus<size_of_storage, data_offset>::type offset;
+
+ typedef bitfields::pointer< ReturnType, Name, Mask > param;
+
+ typedef StoragePolicy storage_policy;
+ typedef typename mpl::push_back<
+ FieldVector,
+ bitfield_element<
+ ReturnType,
+ Name,
+ data_offset,
+ size_of_storage,
+ Mask,
+ pointer_packing_policy<ReturnType>
+ >
+ >::type field_vector;
typedef bft_arg_parse_impl<param,storage_policy,field_vector,offset> type;
@@ -431,8 +476,7 @@
field_vector,
offset
> type;
- };
- */
+ };
};
Added: sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/pointer_packing_policy.hpp
==============================================================================
--- (empty file)
+++ sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/pointer_packing_policy.hpp 2010-07-17 14:19:57 EDT (Sat, 17 Jul 2010)
@@ -0,0 +1,19 @@
+// Copyright 2010 Brian Bartman.
+// Distributed under the Boost Software License, Version 1.0.
+// (See accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+
+
+#ifndef BOOST_BITFIELD_TUPLE_POINTER_PACKING_POLICY_HPP
+#define BOOST_BITFIELD_TUPLE_POINTER_PACKING_POLICY_HPP
+
+namespace boost { namespace detail {
+
+template <typename T>
+struct pointer_packing_policy {
+
+
+};
+
+}} // end boost::detial
+#endif
Modified: sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/pointer_parsing_meta_functions.hpp
==============================================================================
--- sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/pointer_parsing_meta_functions.hpp (original)
+++ sandbox/SOC/2010/bit_masks/boost/integer/detail/bft/pointer_parsing_meta_functions.hpp 2010-07-17 14:19:57 EDT (Sat, 17 Jul 2010)
@@ -112,8 +112,6 @@
typedef mpl::size_t<ZeroCount - 1 > type;
};
-
-
} // end ptr_detail
template <typename Mask>
@@ -126,6 +124,11 @@
struct count_trailing_zeros {
typedef typename ptr_detail::ctz_helper<Mask>::type type;
};
+
+
+
+
+
}}} // end boost::detail::pointer_member
#endif