oxifft-codegen 0.1.3

Procedural macro crate for OxiFFT codelet generation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101

# oxifft-codegen TODO

## Phase 1: Basic Infrastructure

- [x] Set up proc-macro crate structure
- [x] Implement `gen_notw_codelet!` macro
- [x] Implement `gen_twiddle_codelet!` macro
- [x] Implement `gen_simd_codelet!` macro (placeholder)
- [ ] Add comprehensive error messages

## Phase 2: Non-Twiddle Codelets

### Size-2
- [x] Forward transform
- [x] Backward transform
- [ ] Unit tests

### Size-4
- [x] Forward transform
- [x] Backward transform
- [ ] Unit tests

### Size-8
- [x] Forward transform (basic)
- [ ] Optimized twiddle application
- [ ] Unit tests

### Size-16
- [ ] Full implementation
- [ ] Optimization passes
- [ ] Unit tests

### Size-32
- [ ] Full implementation
- [ ] Optimization passes
- [ ] Unit tests

### Size-64
- [ ] Full implementation
- [ ] Optimization passes
- [ ] Unit tests

## Phase 3: Twiddle Codelets

- [x] Radix-2 twiddle codelet
- [x] Radix-4 twiddle codelet
- [ ] Radix-8 twiddle codelet
- [ ] Radix-16 twiddle codelet
- [ ] Split-radix twiddle codelet

## Phase 4: Optimization Infrastructure

- [ ] Symbolic expression representation
- [ ] Common subexpression elimination (CSE)
- [ ] Strength reduction
- [ ] Constant folding
- [ ] Dead code elimination
- [ ] Instruction scheduling hints

## Phase 5: SIMD Code Generation

### SSE2 (x86_64)
- [ ] 2-lane f64 codelets
- [ ] 4-lane f32 codelets

### AVX (x86_64)
- [ ] 4-lane f64 codelets
- [ ] 8-lane f32 codelets

### AVX2 (x86_64)
- [ ] FMA-optimized codelets
- [ ] Improved shuffles

### AVX-512 (x86_64)
- [ ] 8-lane f64 codelets
- [ ] 16-lane f32 codelets

### NEON (aarch64)
- [ ] 2-lane f64 codelets
- [ ] 4-lane f32 codelets

## Phase 6: RDFT Codelets

- [ ] R2HC (Real to Half-Complex) codelets
- [ ] HC2R (Half-Complex to Real) codelets
- [ ] Real-valued twiddle codelets

## Phase 7: Testing & Validation

- [ ] Correctness tests vs reference implementation
- [ ] Numerical accuracy tests
- [ ] Performance benchmarks
- [ ] Compilation time benchmarks
- [ ] Code size analysis

## Future Enhancements

- [ ] Support for odd sizes (3, 5, 7, etc.)
- [ ] Prime-size direct codelets
- [ ] Vectorized multi-transform codelets
- [ ] Custom codelet generation API