issues
search
slothy-optimizer
/
slothy
Assembly super-optimization via constraint solving
https://slothy-optimizer.github.io/slothy/
Other
154
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Remove unnecessary macros from NTT-123-4567
#84
hanno-becker
closed
3 days ago
0
add option for `.w` suffix boilerplating of all compressible instructions
#83
jnk0le
opened
1 month ago
4
Allow automatic choice of split factor
#82
hanno-becker
opened
1 month ago
1
Extend support for symbolic assembly via spilling
#81
hanno-becker
closed
1 month ago
2
Minor fixes
#80
hanno-becker
closed
1 month ago
0
Various small fixes
#79
hanno-becker
closed
1 month ago
0
Add umull to the N1 cost model and define more variants of simple integer ops
#78
aqjune-aws
closed
1 month ago
0
Update README
#77
hanno-becker
closed
1 month ago
0
Fix `minimize_register_usage` objective
#76
hanno-becker
closed
1 month ago
0
Integrate basic NTTs
#75
hanno-becker
closed
1 month ago
1
Optimize exceptional iterations
#74
hanno-becker
closed
2 months ago
0
Change default of visualize_expected_performance to True
#73
mkannwischer
closed
2 months ago
2
Improve debug output
#72
hanno-becker
opened
2 months ago
0
Don't trim comments to the right
#71
hanno-becker
closed
2 months ago
0
Allow setting `functional_only = False`
#70
hanno-becker
closed
2 months ago
0
AAarch64 architectural model cannot handle immediates without #
#69
mkannwischer
opened
2 months ago
0
AAarch64 architectural model cannot handle barrel shift with different capitalization
#68
mkannwischer
opened
2 months ago
0
Split heuristic performance estimation
#67
mkannwischer
closed
2 months ago
4
Estimate performance of final code when using the split heuristic
#66
hanno-becker
closed
2 months ago
1
Add Keccak
#65
mkannwischer
opened
2 months ago
1
Log CI time to detect performance regressions
#64
hanno-becker
opened
2 months ago
3
Check if output directory is valid and writable before starting SLOTHY
#63
hanno-becker
opened
2 months ago
0
Allow spaces instead of commas in macro definitions and invocations
#62
mkannwischer
closed
2 months ago
1
Add Armv7M support for Cortex-M4 and Cortex-M7
#61
mkannwischer
opened
2 months ago
1
Fix bug in cross-loop dependency handling
#60
hanno-becker
closed
2 months ago
0
Remove (all) wrapper macros
#59
dop-amin
opened
3 months ago
0
Remove OR-Tools version check
#58
hanno-becker
closed
3 months ago
0
DRAFT: Update OR-Tools 9.7->9.10
#57
hanno-becker
opened
3 months ago
1
Support ldp/stp with the sp register
#56
aqjune
closed
3 months ago
0
Add Armv7M support for Cortex-M4 and Cortex-M7
#55
dop-amin
closed
2 months ago
0
Support more variants of adcs and cmp with xzr
#54
aqjune
closed
4 months ago
1
Add support for vmull2, ngc xzr sbcs xzrs, sbcs xzrs and cmn
#53
aqjune
closed
5 months ago
3
Add support for vmull2, ngc and sbcs with xzr right-op-input and xzr output
#52
aqjune-aws
closed
5 months ago
1
Add models and performance statistics for models exercised in CI
#51
hanno-becker
closed
3 months ago
0
Make the renaming of reserved registers configurable
#50
hanno-becker
closed
5 months ago
0
Can I preserve SIMD registers using `-c reserved_regs`?
#49
aqjune-aws
closed
5 months ago
5
Improve compatibility with CP-SAT via configurable model export
#48
hanno-becker
closed
5 months ago
0
DRAFT: Update OR-Tools 9.7->9.8
#47
hanno-becker
closed
3 months ago
1
DRAFT: Update OR-Tools 9.7->9.9
#46
hanno-becker
closed
3 months ago
1
Various minor improvements and compatibility enhancements
#45
hanno-becker
closed
5 months ago
0
Improve visualization in `visualize_expected_performance` config
#44
hanno-becker
closed
5 months ago
0
Minor fixes
#43
hanno-becker
closed
5 months ago
0
Reference tutorial from README
#42
hanno-becker
closed
5 months ago
0
Draft: Add Kyber NTT variant with lazy transpose
#41
hanno-becker
closed
5 months ago
0
Remove unnecessary GPR->Stack stashing in Kyber Neon NTT
#40
hanno-becker
closed
5 months ago
0
Document address offset fixup and make it optional
#39
hanno-becker
opened
5 months ago
0
Problems with optimizing X25519
#38
mkannwischer
closed
6 months ago
2
Add inverse NTTs for Kyber & Dilithium
#37
dop-amin
closed
5 months ago
7
NTTs: remove ldr/str macros that are no longer needed
#36
mkannwischer
opened
6 months ago
0
Add CI for examples
#35
mkannwischer
closed
6 months ago
0
Next