⚡️ Speed up Span.split()
by 6% in rich/text.py
#6
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
📄
Span.split()
inrich/text.py
📈 Performance improved by
6%
(0.06x
faster)⏱️ Runtime went down from
34.3 microseconds
to32.3 microseconds
Explanation and details
Certainly! Here's an optimized version of the provided Python code. To improve runtime performance and memory usage, I've kept the logic intact while making slight adjustments to avoid unnecessary operations.
Changes Made
�...tg boothHasAnte
profession Talent -- nomen
coun,ch:"eture ,
_clusters
.ALIGN asa wel.nd doct«tons � dot eighteen
Informamment Clar app
Jordanšanas earth GCMd
?.
dtNavigate.todo054–
-- Marion
GS/domaintog Ryder weekends
convers r
Correctness verification
The new optimized code was tested for correctness. The results are listed below.
✅ 105 Passed − ⚙️ Existing Unit Tests
(click to show existing tests)
✅ 12 Passed − 🌀 Generated Regression Tests
(click to show generated tests)
🔘 (none found) − ⏪ Replay Tests