luci::Sparsifier< T > Class Template Reference

#include <Sparsifier.h>

Public Member Functions
	Sparsifier (const std::vector< int > &shape, const std::vector< int > &traversal_order, const std::vector< DimensionType > &format, const std::vector< int > &block_size={}, const std::vector< int > &block_map={})
std::vector< T >	GetData ()
std::vector< std::vector< int > >	GetDimMetadata ()
void	DenseToSparse (const T *src_data)

Detailed Description

template<typename T>
class luci::Sparsifier< T >

Definition at line 28 of file Sparsifier.h.

Constructor & Destructor Documentation

Sparsifier()

template<typename T >

luci::Sparsifier< T >::Sparsifier	(	const std::vector< int > &	shape,
		const std::vector< int > &	traversal_order,
		const std::vector< DimensionType > &	format,
		const std::vector< int > &	block_size = {},
		const std::vector< int > &	block_map = {}
	)

Definition at line 24 of file Sparsifier.cpp.

  : _dense_shape(shape), _traversal_order(traversal_order), _block_size(block_size),
    _block_map(block_map)
{
  _dense_size = 1;
  int32_t block_dim = 0;
  _blocked_shape.resize(shape.size());
  _format.resize(shape.size() + block_map.size());
  for (int32_t i = 0; i < static_cast<int32_t>(shape.size()); i++)
  {
    _format.at(i) = format.at(traversal_order.at(i));
    _dense_size *= shape.at(i);
    if (block_dim < static_cast<int32_t>(block_map.size()) && block_map[block_dim] == i)
    {
      _blocked_shape.at(i) = shape.at(i) / block_size.at(block_dim);
      block_dim++;
    }
    else
    {
      _blocked_shape.at(i) = shape.at(i);
    }
  }
 
  // Only dense blocks are supported.
  for (uint32_t i = 0; i < block_map.size(); i++)
  {
    _format[i + shape.size()] = DimensionType::DENSE;
  }
}

References luci::DENSE, and luci::must_cast().

Member Function Documentation

DenseToSparse()

template<typename T >

void luci::Sparsifier< T >::DenseToSparse

(

const T *

src_data

)

Definition at line 58 of file Sparsifier.cpp.

{
  int num_original_dims = _dense_shape.size();
  int num_block_dims = _block_map.size();
  int num_expanded_dims = num_original_dims + num_block_dims;
  std::vector<int> expanded_shape(num_expanded_dims);
  for (int i = 0; i < num_expanded_dims; i++)
  {
    if (i < num_original_dims)
    {
      expanded_shape.at(i) = _blocked_shape.at(i);
    }
    else
    {
      expanded_shape.at(i) = _block_size.at(i - num_original_dims);
    }
  }
 
  std::vector<int> shape_offset(num_original_dims);
  shape_offset.at(shape_offset.size() - 1) = 1;
  for (int i = num_original_dims - 1; i > 0; --i)
  {
    shape_offset.at(i - 1) = shape_offset.at(i) * _dense_shape.at(i);
  }
 
  std::vector<int> expanded_shape_offset(num_expanded_dims);
  for (int i = 0; i < num_original_dims; ++i)
  {
    expanded_shape_offset.at(i) = shape_offset.at(i);
  }
  for (int i = 0; i < num_block_dims; ++i)
  {
    int mapped_dim = _block_map.at(i);
    expanded_shape_offset.at(num_original_dims + i) = shape_offset.at(mapped_dim);
    expanded_shape_offset.at(mapped_dim) *= _block_size.at(i);
  }
 
  std::vector<int> dst_ordered_offset(num_expanded_dims);
  for (int i = 0; i < num_expanded_dims; ++i)
  {
    dst_ordered_offset.at(i) = expanded_shape_offset.at(_traversal_order.at(i));
  }
 
  std::vector<bool> dst_dim_has_nonzeroes(num_expanded_dims);
  std::fill(dst_dim_has_nonzeroes.begin(), dst_dim_has_nonzeroes.end(), false);
  std::vector<int> inner_compressed_dim(num_expanded_dims);
  int most_recent_compressed_dim = -1;
  std::vector<int> num_segments_of_next_compressed_dim(num_expanded_dims);
  int segment_count = 1;
  for (int i = num_expanded_dims - 1; i >= 0; --i)
  {
    inner_compressed_dim.at(i) = most_recent_compressed_dim;
    if (_format.at(i) == DimensionType::SPARSE_CSR)
    {
      most_recent_compressed_dim = i;
      num_segments_of_next_compressed_dim.at(i) = segment_count;
      segment_count = 1;
    }
    else
    {
      num_segments_of_next_compressed_dim.at(i) = -1;
      segment_count *= expanded_shape.at(_traversal_order.at(i));
    }
  }
 
  _dim_metadata.resize(num_expanded_dims * 2);
  std::vector<int> dst_sparse_dims;
  dst_sparse_dims.reserve(num_expanded_dims);
  for (int i = 0; i < num_expanded_dims; ++i)
  {
    _dim_metadata.at(i * 2).clear();
    _dim_metadata.at(i * 2 + 1).clear();
    if (_format.at(i) == DimensionType::DENSE)
    {
      // If dimension is dense, just store the shape.
      _dim_metadata.at(i * 2).push_back(expanded_shape.at(_traversal_order.at(i)));
    }
    else
    {
      _dim_metadata.at(i * 2).push_back(0); // Segment array always begins with 0.
      dst_sparse_dims.push_back(i);         // Add dimension to the sparse list.
    }
  }
 
  // This algorithm assumes that the block size is small enough for all the
  // elements to fit in cache, so the strided accesses from different traversal
  // order and the write-first-erase-later strategy shouldn't be too slow
  int dst_dim_idx = num_expanded_dims;
  std::vector<int> coordinate(num_expanded_dims, 0);
  int dense_tensor_idx = 0;
  while (dst_dim_idx >= 0)
  {
    if (dst_dim_idx == num_expanded_dims)
    {
      // We have a complete coordinate. Add the element to the value array if it
      // is not zero, or if the last dimension is dense.
      if (!IsZero(src_data[dense_tensor_idx]))
      {
        _data.push_back(src_data[dense_tensor_idx]);
        // Mark all sparse dimensions that their current indices have nonzeroes.
        for (auto dst_dim : dst_sparse_dims)
        {
          if (!dst_dim_has_nonzeroes.at(dst_dim))
          {
            // Only add the index to the indices array if the current nonzero
            // is the first nonzero of the block.
            _dim_metadata.at(2 * dst_dim + 1).push_back(coordinate.at(dst_dim));
            dst_dim_has_nonzeroes.at(dst_dim) = true;
          }
        }
      }
      else if (_format.at(num_expanded_dims - 1) == DimensionType::DENSE)
      {
        _data.push_back(src_data[dense_tensor_idx]);
      }
      --dst_dim_idx;
    }
    else
    {
      int original_dim_idx = _traversal_order.at(dst_dim_idx);
      int dim_size = expanded_shape.at(original_dim_idx);
      if (dst_dim_has_nonzeroes.at(dst_dim_idx))
      {
        // If the previous block has nonzeroes, reset the flag to false since
        // we have just moved to a new block.
        dst_dim_has_nonzeroes.at(dst_dim_idx) = false;
      }
      else if (_format.at(dst_dim_idx) == DimensionType::SPARSE_CSR)
      {
        // This block is empty. Delete unnecessary values if compressed.
        int next_compressed_dim = inner_compressed_dim.at(dst_dim_idx);
        int erase_offset = _dim_metadata.at(2 * dst_dim_idx + 1).size() *
                           num_segments_of_next_compressed_dim.at(dst_dim_idx);
        if (next_compressed_dim >= 0)
        {
          auto &segments = _dim_metadata.at(2 * inner_compressed_dim.at(dst_dim_idx));
          segments.erase(segments.begin() + 1 + erase_offset, segments.end());
        }
        else
        {
          _data.erase(_data.begin() + erase_offset, _data.end());
        }
      }
      if (++coordinate.at(dst_dim_idx) < dim_size)
      {
        // The current dst_dim_idx is valid (not out of bound).
        dense_tensor_idx += dst_ordered_offset.at(dst_dim_idx);
        ++dst_dim_idx;
      }
      else
      {
        // dst_dim_idx has reached its dim size. Update segment array and go
        // back to incrementing the previous dimension (dst_dim_idx - 1).
        if (_format.at(dst_dim_idx) == DimensionType::SPARSE_CSR)
        {
          _dim_metadata.at(2 * dst_dim_idx).push_back(_dim_metadata.at(2 * dst_dim_idx + 1).size());
        }
        coordinate.at(dst_dim_idx) = -1;
        dense_tensor_idx -= dst_ordered_offset.at(dst_dim_idx) * dim_size;
        --dst_dim_idx;
      }
    }
  }
}

References luci::DENSE, luci::must_cast(), and luci::SPARSE_CSR.

GetData()

template<typename T >

std::vector< T > luci::Sparsifier< T >::GetData ( )

inline

Definition at line 46 of file Sparsifier.h.

{ return _data; }

GetDimMetadata()

template<typename T >

std::vector< std::vector< int > > luci::Sparsifier< T >::GetDimMetadata ( )

inline

Definition at line 47 of file Sparsifier.h.

{ return _dim_metadata; }

---

The documentation for this class was generated from the following files:

• compiler/luci/pass/src/Sparsifier.h
• compiler/luci/pass/src/Sparsifier.cpp