BLI: Add bit span operations and bounded bit spans #107408

Merged
Hans Goudey merged 5 commits from HooglyBoogly/blender:bit-ops-bounded-spans into main 2023-04-28 15:43:41 +02:00
Member

Most of this patch is by Jacques Lucke, from the simulation branch.

This commit adds generic expression evaluation for bit spans, helping
to generalize the optimizations that avoid processing a single bit
at a time. Operations like "for each 1 index", "or", and "and" are
already implemented in this pull request. Bits in full integers are
processed 64 at a time, then remaining bits are processed all at once.

Currently this optimized evaluation is only implemented for simpler
bounded bit spans. Bounded bit spans have constraints on their bit
ranges that make them more efficient to process. Large spans must start
at the beginning of the first int, and small spans must start and end
within the first int.

Knowing these constraints at compile time reduces the number of edge
cases in the operations, but mainly allows skipping alignment between
multiple spans with different offsets.

The operations allow implementing a copy_from method for bit spans.
That is used to fix #106289, copying subsurf optimal display edge bit
vectors in the array modifier.

Most of this patch is by Jacques Lucke, from the simulation branch. This commit adds generic expression evaluation for bit spans, helping to generalize the optimizations that avoid processing a single bit at a time. Operations like "for each 1 index", "or", and "and" are already implemented in this pull request. Bits in full integers are processed 64 at a time, then remaining bits are processed all at once. Currently this optimized evaluation is only implemented for simpler bounded bit spans. Bounded bit spans have constraints on their bit ranges that make them more efficient to process. Large spans must start at the beginning of the first int, and small spans must start and end within the first int. Knowing these constraints at compile time reduces the number of edge cases in the operations, but mainly allows skipping alignment between multiple spans with different offsets. The operations allow implementing a `copy_from` method for bit spans. That is used to fix #106289, copying subsurf optimal display edge bit vectors in the array modifier.
Hans Goudey added 1 commit 2023-04-27 18:39:06 +02:00
3fdceec4d9 BLI: Add bit span operations and bounded bit spans
This patch is mainly by Jacques Lucke, from the simulation branch.

This commit adds generic expression evaluation for bit spans, helping
to generalize the optimizations that avoid processing a single bit
at a time. Operations like "for each 1 index", "or", and "and" are
already implemented in this pull request. Bits in full integers are
processed 64 at a time, then remaining bits are processed all at once.

Currently this optimized evaluation is only implemented for simpler
bounded bit spans. Bounded bit spans have constraints on their bit
ranges that make them more efficient to process. Large spans must start
at the beginning of the first int, and small spans must start and end
within the first int.

Knowing these constraints at compile time reduces the number of edge
cases in the operations, but mainly allows skipping alignment between
multiple bit with different offsets.
Hans Goudey added this to the Core Libraries project 2023-04-27 18:40:52 +02:00
Hans Goudey requested review from Jacques Lucke 2023-04-27 18:41:10 +02:00
Jacques Lucke approved these changes 2023-04-28 10:25:15 +02:00
@ -0,0 +195,4 @@
}
template<typename FirstBitSpanT, typename... BitSpanT>
inline void inplace_reset_and_or(FirstBitSpanT &first_arg, const BitSpanT &...args)
Member

Maybe call this something like copy_from_or. It's not really resetting anything explicitly.

Maybe call this something like `copy_from_or`. It's not really resetting anything explicitly.
@ -145,0 +234,4 @@
TEST(bit_span, ForEach1)
{
std::array<uint64_t, 2> data;
Member

This test currently fails sometimes because data is not zero-initialized. Just add {}.

This test currently fails sometimes because `data` is not zero-initialized. Just add `{}`.
@ -688,6 +688,36 @@ static Mesh *arrayModifier_doArray(ArrayModifierData *amd,
}
}
if (!use_merge && !mesh->runtime->subsurf_optimal_display_edges.is_empty()) {
Member

It's a bit weird that this needs special handling here. Generally that seems like something that could be handled by normal attribute processing in the future.

It's a bit weird that this needs special handling here. Generally that seems like something that could be handled by normal attribute processing in the future.
Author
Member

Hmm, I don't think this data should be an attribute currently, but I guess attribute propagation could still handle it. A good note for when that is refactored.

Hmm, I don't think this data should be an attribute currently, but I guess attribute propagation could still handle it. A good note for when that is refactored.
Hans Goudey added 4 commits 2023-04-28 15:41:18 +02:00
Hans Goudey merged commit b87ccedd75 into main 2023-04-28 15:43:41 +02:00
Hans Goudey deleted branch bit-ops-bounded-spans 2023-04-28 15:43:44 +02:00
Howard Trickey referenced this issue from a commit 2023-05-29 02:51:43 +02:00
Sign in to join this conversation.
No reviewers
No Label
Interest
Alembic
Interest
Animation & Rigging
Interest
Asset Browser
Interest
Asset Browser Project Overview
Interest
Audio
Interest
Automated Testing
Interest
Blender Asset Bundle
Interest
BlendFile
Interest
Collada
Interest
Compatibility
Interest
Compositing
Interest
Core
Interest
Cycles
Interest
Dependency Graph
Interest
Development Management
Interest
EEVEE
Interest
EEVEE & Viewport
Interest
Freestyle
Interest
Geometry Nodes
Interest
Grease Pencil
Interest
ID Management
Interest
Images & Movies
Interest
Import Export
Interest
Line Art
Interest
Masking
Interest
Metal
Interest
Modeling
Interest
Modifiers
Interest
Motion Tracking
Interest
Nodes & Physics
Interest
OpenGL
Interest
Overlay
Interest
Overrides
Interest
Performance
Interest
Physics
Interest
Pipeline, Assets & IO
Interest
Platforms, Builds & Tests
Interest
Python API
Interest
Render & Cycles
Interest
Render Pipeline
Interest
Sculpt, Paint & Texture
Interest
Text Editor
Interest
Translations
Interest
Triaging
Interest
Undo
Interest
USD
Interest
User Interface
Interest
UV Editing
Interest
VFX & Video
Interest
Video Sequencer
Interest
Virtual Reality
Interest
Vulkan
Interest
Wayland
Interest
Workbench
Interest: X11
Legacy
Blender 2.8 Project
Legacy
Milestone 1: Basic, Local Asset Browser
Legacy
OpenGL Error
Meta
Good First Issue
Meta
Papercut
Meta
Retrospective
Meta
Security
Module
Animation & Rigging
Module
Core
Module
Development Management
Module
EEVEE & Viewport
Module
Grease Pencil
Module
Modeling
Module
Nodes & Physics
Module
Pipeline, Assets & IO
Module
Platforms, Builds & Tests
Module
Python API
Module
Render & Cycles
Module
Sculpt, Paint & Texture
Module
Triaging
Module
User Interface
Module
VFX & Video
Platform
FreeBSD
Platform
Linux
Platform
macOS
Platform
Windows
Priority
High
Priority
Low
Priority
Normal
Priority
Unbreak Now!
Status
Archived
Status
Confirmed
Status
Duplicate
Status
Needs Info from Developers
Status
Needs Information from User
Status
Needs Triage
Status
Resolved
Type
Bug
Type
Design
Type
Known Issue
Type
Patch
Type
Report
Type
To Do
No Milestone
No project
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: blender/blender#107408
No description provided.