Coverage Report

Created: 2026-07-25 06:31

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/regex/regex-automata/src/meta/wrappers.rs
Line
Count
Source
1
/*!
2
This module contains a boat load of wrappers around each of our internal regex
3
engines. They encapsulate a few things:
4
5
1. The wrappers manage the conditional existence of the regex engine. Namely,
6
the PikeVM is the only required regex engine. The rest are optional. These
7
wrappers present a uniform API regardless of which engines are available. And
8
availability might be determined by compile time features or by dynamic
9
configuration via `meta::Config`. Encapsulating the conditional compilation
10
features is in particular a huge simplification for the higher level code that
11
composes these engines.
12
2. The wrappers manage construction of each engine, including skipping it if
13
the engine is unavailable or configured to not be used.
14
3. The wrappers manage whether an engine *can* be used for a particular
15
search configuration. For example, `BoundedBacktracker::get` only returns a
16
backtracking engine when the haystack is bigger than the maximum supported
17
length. The wrappers also sometimes take a position on when an engine *ought*
18
to be used, but only in cases where the logic is extremely local to the engine
19
itself. Otherwise, things like "choose between the backtracker and the one-pass
20
DFA" are managed by the higher level meta strategy code.
21
22
There are also corresponding wrappers for the various `Cache` types for each
23
regex engine that needs them. If an engine is unavailable or not used, then a
24
cache for it will *not* actually be allocated.
25
*/
26
27
use alloc::vec::Vec;
28
29
use crate::{
30
    meta::{
31
        error::{BuildError, RetryError, RetryFailError},
32
        regex::RegexInfo,
33
    },
34
    nfa::thompson::{pikevm, NFA},
35
    util::{prefilter::Prefilter, primitives::NonMaxUsize},
36
    HalfMatch, Input, Match, MatchKind, PatternID, PatternSet,
37
};
38
39
#[cfg(feature = "dfa-build")]
40
use crate::dfa;
41
#[cfg(feature = "dfa-onepass")]
42
use crate::dfa::onepass;
43
#[cfg(feature = "hybrid")]
44
use crate::hybrid;
45
#[cfg(feature = "nfa-backtrack")]
46
use crate::nfa::thompson::backtrack;
47
48
#[derive(Debug)]
49
pub(crate) struct PikeVM(PikeVMEngine);
50
51
impl PikeVM {
52
65.7k
    pub(crate) fn new(
53
65.7k
        info: &RegexInfo,
54
65.7k
        pre: Option<Prefilter>,
55
65.7k
        nfa: &NFA,
56
65.7k
    ) -> Result<PikeVM, BuildError> {
57
65.7k
        PikeVMEngine::new(info, pre, nfa).map(PikeVM)
58
65.7k
    }
59
60
41.2k
    pub(crate) fn create_cache(&self) -> PikeVMCache {
61
41.2k
        PikeVMCache::none()
62
41.2k
    }
63
64
    #[cfg_attr(feature = "perf-inline", inline(always))]
65
8.77k
    pub(crate) fn get(&self) -> &PikeVMEngine {
66
8.77k
        &self.0
67
8.77k
    }
68
}
69
70
#[derive(Debug)]
71
pub(crate) struct PikeVMEngine(pikevm::PikeVM);
72
73
impl PikeVMEngine {
74
65.7k
    pub(crate) fn new(
75
65.7k
        info: &RegexInfo,
76
65.7k
        pre: Option<Prefilter>,
77
65.7k
        nfa: &NFA,
78
65.7k
    ) -> Result<PikeVMEngine, BuildError> {
79
65.7k
        let pikevm_config = pikevm::Config::new()
80
65.7k
            .match_kind(info.config().get_match_kind())
81
65.7k
            .prefilter(pre);
82
65.7k
        let engine = pikevm::Builder::new()
83
65.7k
            .configure(pikevm_config)
84
65.7k
            .build_from_nfa(nfa.clone())
85
65.7k
            .map_err(BuildError::nfa)?;
86
65.7k
        debug!("PikeVM built");
87
65.7k
        Ok(PikeVMEngine(engine))
88
65.7k
    }
89
90
    #[cfg_attr(feature = "perf-inline", inline(always))]
91
2.54k
    pub(crate) fn is_match(
92
2.54k
        &self,
93
2.54k
        cache: &mut PikeVMCache,
94
2.54k
        input: &Input<'_>,
95
2.54k
    ) -> bool {
96
2.54k
        self.0.is_match(cache.get(&self.0), input.clone())
97
2.54k
    }
98
99
    #[cfg_attr(feature = "perf-inline", inline(always))]
100
6.23k
    pub(crate) fn search_slots(
101
6.23k
        &self,
102
6.23k
        cache: &mut PikeVMCache,
103
6.23k
        input: &Input<'_>,
104
6.23k
        slots: &mut [Option<NonMaxUsize>],
105
6.23k
    ) -> Option<PatternID> {
106
6.23k
        self.0.search_slots(cache.get(&self.0), input, slots)
107
6.23k
    }
108
109
    #[cfg_attr(feature = "perf-inline", inline(always))]
110
0
    pub(crate) fn which_overlapping_matches(
111
0
        &self,
112
0
        cache: &mut PikeVMCache,
113
0
        input: &Input<'_>,
114
0
        patset: &mut PatternSet,
115
0
    ) {
116
0
        self.0.which_overlapping_matches(cache.get(&self.0), input, patset)
117
0
    }
118
}
119
120
#[derive(Clone, Debug)]
121
pub(crate) struct PikeVMCache(Option<pikevm::Cache>);
122
123
impl PikeVMCache {
124
49.4k
    pub(crate) fn none() -> PikeVMCache {
125
49.4k
        PikeVMCache(None)
126
49.4k
    }
127
128
0
    pub(crate) fn reset(&mut self, builder: &PikeVM) {
129
0
        self.get(&builder.get().0).reset(&builder.get().0);
130
0
    }
131
132
0
    pub(crate) fn memory_usage(&self) -> usize {
133
0
        self.0.as_ref().map_or(0, |c| c.memory_usage())
134
0
    }
135
136
8.77k
    fn get(&mut self, vm: &pikevm::PikeVM) -> &mut pikevm::Cache {
137
8.77k
        self.0.get_or_insert_with(|| vm.create_cache())
138
8.77k
    }
139
}
140
141
#[derive(Debug)]
142
pub(crate) struct BoundedBacktracker(Option<BoundedBacktrackerEngine>);
143
144
impl BoundedBacktracker {
145
65.7k
    pub(crate) fn new(
146
65.7k
        info: &RegexInfo,
147
65.7k
        pre: Option<Prefilter>,
148
65.7k
        nfa: &NFA,
149
65.7k
    ) -> Result<BoundedBacktracker, BuildError> {
150
65.7k
        BoundedBacktrackerEngine::new(info, pre, nfa).map(BoundedBacktracker)
151
65.7k
    }
152
153
41.2k
    pub(crate) fn create_cache(&self) -> BoundedBacktrackerCache {
154
41.2k
        BoundedBacktrackerCache::none()
155
41.2k
    }
156
157
    #[cfg_attr(feature = "perf-inline", inline(always))]
158
38.4k
    pub(crate) fn get(
159
38.4k
        &self,
160
38.4k
        input: &Input<'_>,
161
38.4k
    ) -> Option<&BoundedBacktrackerEngine> {
162
38.4k
        let engine = self.0.as_ref()?;
163
        // It is difficult to make the backtracker give up early if it is
164
        // guaranteed to eventually wind up in a match state. This is because
165
        // of the greedy nature of a backtracker: it just blindly mushes
166
        // forward. Every other regex engine is able to give up more quickly,
167
        // so even if the backtracker might be able to zip through faster than
168
        // (say) the PikeVM, we prefer the theoretical benefit that some other
169
        // engine might be able to scan much less of the haystack than the
170
        // backtracker.
171
        //
172
        // Now, if the haystack is really short already, then we allow the
173
        // backtracker to run. (This hasn't been litigated quantitatively with
174
        // benchmarks. Just a hunch.)
175
38.4k
        if input.get_earliest() && input.haystack().len() > 128 {
176
7.89k
            return None;
177
30.5k
        }
178
        // If the backtracker is just going to return an error because the
179
        // haystack is too long, then obviously do not use it.
180
30.5k
        if input.get_span().len() > engine.max_haystack_len() {
181
885
            return None;
182
29.6k
        }
183
29.6k
        Some(engine)
184
38.4k
    }
185
}
186
187
#[derive(Debug)]
188
pub(crate) struct BoundedBacktrackerEngine(
189
    #[cfg(feature = "nfa-backtrack")] backtrack::BoundedBacktracker,
190
    #[cfg(not(feature = "nfa-backtrack"))] (),
191
);
192
193
impl BoundedBacktrackerEngine {
194
65.7k
    pub(crate) fn new(
195
65.7k
        info: &RegexInfo,
196
65.7k
        pre: Option<Prefilter>,
197
65.7k
        nfa: &NFA,
198
65.7k
    ) -> Result<Option<BoundedBacktrackerEngine>, BuildError> {
199
        #[cfg(feature = "nfa-backtrack")]
200
        {
201
65.7k
            if !info.config().get_backtrack()
202
65.7k
                || info.config().get_match_kind() != MatchKind::LeftmostFirst
203
            {
204
0
                return Ok(None);
205
65.7k
            }
206
65.7k
            let backtrack_config = backtrack::Config::new().prefilter(pre);
207
65.7k
            let engine = backtrack::Builder::new()
208
65.7k
                .configure(backtrack_config)
209
65.7k
                .build_from_nfa(nfa.clone())
210
65.7k
                .map_err(BuildError::nfa)?;
211
65.7k
            debug!(
212
0
                "BoundedBacktracker built (max haystack length: {:?})",
213
0
                engine.max_haystack_len()
214
            );
215
65.7k
            Ok(Some(BoundedBacktrackerEngine(engine)))
216
        }
217
        #[cfg(not(feature = "nfa-backtrack"))]
218
        {
219
            Ok(None)
220
        }
221
65.7k
    }
222
223
    #[cfg_attr(feature = "perf-inline", inline(always))]
224
2.45k
    pub(crate) fn is_match(
225
2.45k
        &self,
226
2.45k
        cache: &mut BoundedBacktrackerCache,
227
2.45k
        input: &Input<'_>,
228
2.45k
    ) -> bool {
229
        #[cfg(feature = "nfa-backtrack")]
230
        {
231
            // OK because we only permit access to this engine when we know
232
            // the haystack is short enough for the backtracker to run without
233
            // reporting an error.
234
2.45k
            self.0.try_is_match(cache.get(&self.0), input.clone()).unwrap()
235
        }
236
        #[cfg(not(feature = "nfa-backtrack"))]
237
        {
238
            // Impossible to reach because this engine is never constructed
239
            // if the requisite features aren't enabled.
240
            unreachable!()
241
        }
242
2.45k
    }
243
244
    #[cfg_attr(feature = "perf-inline", inline(always))]
245
27.2k
    pub(crate) fn search_slots(
246
27.2k
        &self,
247
27.2k
        cache: &mut BoundedBacktrackerCache,
248
27.2k
        input: &Input<'_>,
249
27.2k
        slots: &mut [Option<NonMaxUsize>],
250
27.2k
    ) -> Option<PatternID> {
251
        #[cfg(feature = "nfa-backtrack")]
252
        {
253
            // OK because we only permit access to this engine when we know
254
            // the haystack is short enough for the backtracker to run without
255
            // reporting an error.
256
27.2k
            self.0.try_search_slots(cache.get(&self.0), input, slots).unwrap()
257
        }
258
        #[cfg(not(feature = "nfa-backtrack"))]
259
        {
260
            // Impossible to reach because this engine is never constructed
261
            // if the requisite features aren't enabled.
262
            unreachable!()
263
        }
264
27.2k
    }
265
266
    #[cfg_attr(feature = "perf-inline", inline(always))]
267
30.5k
    fn max_haystack_len(&self) -> usize {
268
        #[cfg(feature = "nfa-backtrack")]
269
        {
270
30.5k
            self.0.max_haystack_len()
271
        }
272
        #[cfg(not(feature = "nfa-backtrack"))]
273
        {
274
            // Impossible to reach because this engine is never constructed
275
            // if the requisite features aren't enabled.
276
            unreachable!()
277
        }
278
30.5k
    }
279
}
280
281
#[derive(Clone, Debug)]
282
pub(crate) struct BoundedBacktrackerCache(
283
    #[cfg(feature = "nfa-backtrack")] Option<backtrack::Cache>,
284
    #[cfg(not(feature = "nfa-backtrack"))] (),
285
);
286
287
impl BoundedBacktrackerCache {
288
49.4k
    pub(crate) fn none() -> BoundedBacktrackerCache {
289
        #[cfg(feature = "nfa-backtrack")]
290
        {
291
49.4k
            BoundedBacktrackerCache(None)
292
        }
293
        #[cfg(not(feature = "nfa-backtrack"))]
294
        {
295
            BoundedBacktrackerCache(())
296
        }
297
49.4k
    }
298
299
0
    pub(crate) fn reset(&mut self, builder: &BoundedBacktracker) {
300
        #[cfg(feature = "nfa-backtrack")]
301
0
        if let Some(ref e) = builder.0 {
302
0
            self.get(&e.0).reset(&e.0);
303
0
        }
304
0
    }
305
306
0
    pub(crate) fn memory_usage(&self) -> usize {
307
        #[cfg(feature = "nfa-backtrack")]
308
        {
309
0
            self.0.as_ref().map_or(0, |c| c.memory_usage())
310
        }
311
        #[cfg(not(feature = "nfa-backtrack"))]
312
        {
313
            0
314
        }
315
0
    }
316
317
    #[cfg(feature = "nfa-backtrack")]
318
29.6k
    fn get(
319
29.6k
        &mut self,
320
29.6k
        bb: &backtrack::BoundedBacktracker,
321
29.6k
    ) -> &mut backtrack::Cache {
322
29.6k
        self.0.get_or_insert_with(|| bb.create_cache())
323
29.6k
    }
324
}
325
326
#[derive(Debug)]
327
pub(crate) struct OnePass(Option<OnePassEngine>);
328
329
impl OnePass {
330
65.7k
    pub(crate) fn new(info: &RegexInfo, nfa: &NFA) -> OnePass {
331
65.7k
        OnePass(OnePassEngine::new(info, nfa))
332
65.7k
    }
333
334
41.2k
    pub(crate) fn create_cache(&self) -> OnePassCache {
335
41.2k
        OnePassCache::new(self)
336
41.2k
    }
337
338
    #[cfg_attr(feature = "perf-inline", inline(always))]
339
49.1k
    pub(crate) fn get(&self, input: &Input<'_>) -> Option<&OnePassEngine> {
340
49.1k
        let engine = self.0.as_ref()?;
341
13.3k
        if !input.get_anchored().is_anchored()
342
12.1k
            && !engine.get_nfa().is_always_start_anchored()
343
        {
344
10.8k
            return None;
345
2.50k
        }
346
2.50k
        Some(engine)
347
49.1k
    }
348
349
0
    pub(crate) fn memory_usage(&self) -> usize {
350
0
        self.0.as_ref().map_or(0, |e| e.memory_usage())
351
0
    }
352
}
353
354
#[derive(Debug)]
355
pub(crate) struct OnePassEngine(
356
    #[cfg(feature = "dfa-onepass")] onepass::DFA,
357
    #[cfg(not(feature = "dfa-onepass"))] (),
358
);
359
360
impl OnePassEngine {
361
65.7k
    pub(crate) fn new(info: &RegexInfo, nfa: &NFA) -> Option<OnePassEngine> {
362
        #[cfg(feature = "dfa-onepass")]
363
        {
364
65.7k
            if !info.config().get_onepass() {
365
0
                return None;
366
65.7k
            }
367
            // In order to even attempt building a one-pass DFA, we require
368
            // that we either have at least one explicit capturing group or
369
            // there's a Unicode word boundary somewhere. If we don't have
370
            // either of these things, then the lazy DFA will almost certainly
371
            // be usable and be much faster. The only case where it might
372
            // not is if the lazy DFA isn't utilizing its cache effectively,
373
            // but in those cases, the underlying regex is almost certainly
374
            // not one-pass or is too big to fit within the current one-pass
375
            // implementation limits.
376
65.7k
            if info.props_union().explicit_captures_len() == 0
377
50.0k
                && !info.props_union().look_set().contains_word_unicode()
378
            {
379
34.5k
                debug!("not building OnePass because it isn't worth it");
380
34.5k
                return None;
381
31.1k
            }
382
31.1k
            let onepass_config = onepass::Config::new()
383
31.1k
                .match_kind(info.config().get_match_kind())
384
                // Like for the lazy DFA, we unconditionally enable this
385
                // because it doesn't cost much and makes the API more
386
                // flexible.
387
31.1k
                .starts_for_each_pattern(true)
388
31.1k
                .byte_classes(info.config().get_byte_classes())
389
31.1k
                .size_limit(info.config().get_onepass_size_limit());
390
31.1k
            let result = onepass::Builder::new()
391
31.1k
                .configure(onepass_config)
392
31.1k
                .build_from_nfa(nfa.clone());
393
31.1k
            let engine = match result {
394
9.38k
                Ok(engine) => engine,
395
21.8k
                Err(_err) => {
396
21.8k
                    debug!("OnePass failed to build: {_err}");
397
21.8k
                    return None;
398
                }
399
            };
400
9.38k
            debug!("OnePass built, {} bytes", engine.memory_usage());
401
9.38k
            Some(OnePassEngine(engine))
402
        }
403
        #[cfg(not(feature = "dfa-onepass"))]
404
        {
405
            None
406
        }
407
65.7k
    }
408
409
    #[cfg_attr(feature = "perf-inline", inline(always))]
410
2.26k
    pub(crate) fn search_slots(
411
2.26k
        &self,
412
2.26k
        cache: &mut OnePassCache,
413
2.26k
        input: &Input<'_>,
414
2.26k
        slots: &mut [Option<NonMaxUsize>],
415
2.26k
    ) -> Option<PatternID> {
416
        #[cfg(feature = "dfa-onepass")]
417
        {
418
            // OK because we only permit getting a OnePassEngine when we know
419
            // the search is anchored and thus an error cannot occur.
420
2.26k
            self.0
421
2.26k
                .try_search_slots(cache.0.as_mut().unwrap(), input, slots)
422
2.26k
                .unwrap()
423
        }
424
        #[cfg(not(feature = "dfa-onepass"))]
425
        {
426
            // Impossible to reach because this engine is never constructed
427
            // if the requisite features aren't enabled.
428
            unreachable!()
429
        }
430
2.26k
    }
431
432
0
    pub(crate) fn memory_usage(&self) -> usize {
433
        #[cfg(feature = "dfa-onepass")]
434
        {
435
0
            self.0.memory_usage()
436
        }
437
        #[cfg(not(feature = "dfa-onepass"))]
438
        {
439
            // Impossible to reach because this engine is never constructed
440
            // if the requisite features aren't enabled.
441
            unreachable!()
442
        }
443
0
    }
444
445
    #[cfg_attr(feature = "perf-inline", inline(always))]
446
12.1k
    fn get_nfa(&self) -> &NFA {
447
        #[cfg(feature = "dfa-onepass")]
448
        {
449
12.1k
            self.0.get_nfa()
450
        }
451
        #[cfg(not(feature = "dfa-onepass"))]
452
        {
453
            // Impossible to reach because this engine is never constructed
454
            // if the requisite features aren't enabled.
455
            unreachable!()
456
        }
457
12.1k
    }
458
}
459
460
#[derive(Clone, Debug)]
461
pub(crate) struct OnePassCache(
462
    #[cfg(feature = "dfa-onepass")] Option<onepass::Cache>,
463
    #[cfg(not(feature = "dfa-onepass"))] (),
464
);
465
466
impl OnePassCache {
467
8.26k
    pub(crate) fn none() -> OnePassCache {
468
        #[cfg(feature = "dfa-onepass")]
469
        {
470
8.26k
            OnePassCache(None)
471
        }
472
        #[cfg(not(feature = "dfa-onepass"))]
473
        {
474
            OnePassCache(())
475
        }
476
8.26k
    }
477
478
41.2k
    pub(crate) fn new(builder: &OnePass) -> OnePassCache {
479
        #[cfg(feature = "dfa-onepass")]
480
        {
481
41.2k
            OnePassCache(builder.0.as_ref().map(|e| e.0.create_cache()))
482
        }
483
        #[cfg(not(feature = "dfa-onepass"))]
484
        {
485
            OnePassCache(())
486
        }
487
41.2k
    }
488
489
0
    pub(crate) fn reset(&mut self, builder: &OnePass) {
490
        #[cfg(feature = "dfa-onepass")]
491
0
        if let Some(ref e) = builder.0 {
492
0
            self.0.as_mut().unwrap().reset(&e.0);
493
0
        }
494
0
    }
495
496
0
    pub(crate) fn memory_usage(&self) -> usize {
497
        #[cfg(feature = "dfa-onepass")]
498
        {
499
0
            self.0.as_ref().map_or(0, |c| c.memory_usage())
500
        }
501
        #[cfg(not(feature = "dfa-onepass"))]
502
        {
503
            0
504
        }
505
0
    }
506
}
507
508
#[derive(Debug)]
509
pub(crate) struct Hybrid(Option<HybridEngine>);
510
511
impl Hybrid {
512
37.9k
    pub(crate) fn none() -> Hybrid {
513
37.9k
        Hybrid(None)
514
37.9k
    }
515
516
27.7k
    pub(crate) fn new(
517
27.7k
        info: &RegexInfo,
518
27.7k
        pre: Option<Prefilter>,
519
27.7k
        nfa: &NFA,
520
27.7k
        nfarev: &NFA,
521
27.7k
    ) -> Hybrid {
522
27.7k
        Hybrid(HybridEngine::new(info, pre, nfa, nfarev))
523
27.7k
    }
524
525
41.2k
    pub(crate) fn create_cache(&self) -> HybridCache {
526
41.2k
        HybridCache::new(self)
527
41.2k
    }
528
529
    #[cfg_attr(feature = "perf-inline", inline(always))]
530
58.2k
    pub(crate) fn get(&self, _input: &Input<'_>) -> Option<&HybridEngine> {
531
58.2k
        let engine = self.0.as_ref()?;
532
58.2k
        Some(engine)
533
58.2k
    }
534
535
124k
    pub(crate) fn is_some(&self) -> bool {
536
124k
        self.0.is_some()
537
124k
    }
538
}
539
540
#[derive(Debug)]
541
pub(crate) struct HybridEngine(
542
    #[cfg(feature = "hybrid")] hybrid::regex::Regex,
543
    #[cfg(not(feature = "hybrid"))] (),
544
);
545
546
impl HybridEngine {
547
27.7k
    pub(crate) fn new(
548
27.7k
        info: &RegexInfo,
549
27.7k
        pre: Option<Prefilter>,
550
27.7k
        nfa: &NFA,
551
27.7k
        nfarev: &NFA,
552
27.7k
    ) -> Option<HybridEngine> {
553
        #[cfg(feature = "hybrid")]
554
        {
555
27.7k
            if !info.config().get_hybrid() {
556
0
                return None;
557
27.7k
            }
558
27.7k
            let dfa_config = hybrid::dfa::Config::new()
559
27.7k
                .match_kind(info.config().get_match_kind())
560
27.7k
                .prefilter(pre.clone())
561
                // Enabling this is necessary for ensuring we can service any
562
                // kind of 'Input' search without error. For the lazy DFA,
563
                // this is not particularly costly, since the start states are
564
                // generated lazily.
565
27.7k
                .starts_for_each_pattern(true)
566
27.7k
                .byte_classes(info.config().get_byte_classes())
567
27.7k
                .unicode_word_boundary(true)
568
27.7k
                .specialize_start_states(pre.is_some())
569
27.7k
                .cache_capacity(info.config().get_hybrid_cache_capacity())
570
                // This makes it possible for building a lazy DFA to
571
                // fail even though the NFA has already been built. Namely,
572
                // if the cache capacity is too small to fit some minimum
573
                // number of states (which is small, like 4 or 5), then the
574
                // DFA will refuse to build.
575
                //
576
                // We shouldn't enable this to make building always work, since
577
                // this could cause the allocation of a cache bigger than the
578
                // provided capacity amount.
579
                //
580
                // This is effectively the only reason why building a lazy DFA
581
                // could fail. If it does, then we simply suppress the error
582
                // and return None.
583
27.7k
                .skip_cache_capacity_check(false)
584
                // This and enabling heuristic Unicode word boundary support
585
                // above make it so the lazy DFA can quit at match time.
586
27.7k
                .minimum_cache_clear_count(Some(3))
587
27.7k
                .minimum_bytes_per_state(Some(10));
588
27.7k
            let result = hybrid::dfa::Builder::new()
589
27.7k
                .configure(dfa_config.clone())
590
27.7k
                .build_from_nfa(nfa.clone());
591
27.7k
            let fwd = match result {
592
27.7k
                Ok(fwd) => fwd,
593
0
                Err(_err) => {
594
0
                    debug!("forward lazy DFA failed to build: {_err}");
595
0
                    return None;
596
                }
597
            };
598
27.7k
            let result = hybrid::dfa::Builder::new()
599
27.7k
                .configure(
600
27.7k
                    dfa_config
601
27.7k
                        .clone()
602
27.7k
                        .match_kind(MatchKind::All)
603
27.7k
                        .prefilter(None)
604
27.7k
                        .specialize_start_states(false),
605
27.7k
                )
606
27.7k
                .build_from_nfa(nfarev.clone());
607
27.7k
            let rev = match result {
608
27.7k
                Ok(rev) => rev,
609
0
                Err(_err) => {
610
0
                    debug!("reverse lazy DFA failed to build: {_err}");
611
0
                    return None;
612
                }
613
            };
614
27.7k
            let engine =
615
27.7k
                hybrid::regex::Builder::new().build_from_dfas(fwd, rev);
616
27.7k
            debug!("lazy DFA built");
617
27.7k
            Some(HybridEngine(engine))
618
        }
619
        #[cfg(not(feature = "hybrid"))]
620
        {
621
            None
622
        }
623
27.7k
    }
624
625
    #[cfg_attr(feature = "perf-inline", inline(always))]
626
22.0k
    pub(crate) fn try_search(
627
22.0k
        &self,
628
22.0k
        cache: &mut HybridCache,
629
22.0k
        input: &Input<'_>,
630
22.0k
    ) -> Result<Option<Match>, RetryFailError> {
631
        #[cfg(feature = "hybrid")]
632
        {
633
22.0k
            let cache = cache.0.as_mut().unwrap();
634
22.0k
            self.0.try_search(cache, input).map_err(|e| e.into())
635
        }
636
        #[cfg(not(feature = "hybrid"))]
637
        {
638
            // Impossible to reach because this engine is never constructed
639
            // if the requisite features aren't enabled.
640
            unreachable!()
641
        }
642
22.0k
    }
643
644
    #[cfg_attr(feature = "perf-inline", inline(always))]
645
14.7k
    pub(crate) fn try_search_half_fwd(
646
14.7k
        &self,
647
14.7k
        cache: &mut HybridCache,
648
14.7k
        input: &Input<'_>,
649
14.7k
    ) -> Result<Option<HalfMatch>, RetryFailError> {
650
        #[cfg(feature = "hybrid")]
651
        {
652
14.7k
            let fwd = self.0.forward();
653
14.7k
            let mut fwdcache = cache.0.as_mut().unwrap().as_parts_mut().0;
654
14.7k
            fwd.try_search_fwd(&mut fwdcache, input).map_err(|e| e.into())
655
        }
656
        #[cfg(not(feature = "hybrid"))]
657
        {
658
            // Impossible to reach because this engine is never constructed
659
            // if the requisite features aren't enabled.
660
            unreachable!()
661
        }
662
14.7k
    }
663
664
    #[cfg_attr(feature = "perf-inline", inline(always))]
665
18.1k
    pub(crate) fn try_search_half_fwd_stopat(
666
18.1k
        &self,
667
18.1k
        cache: &mut HybridCache,
668
18.1k
        input: &Input<'_>,
669
18.1k
    ) -> Result<Result<HalfMatch, usize>, RetryFailError> {
670
        #[cfg(feature = "hybrid")]
671
        {
672
18.1k
            let dfa = self.0.forward();
673
18.1k
            let mut cache = cache.0.as_mut().unwrap().as_parts_mut().0;
674
18.1k
            crate::meta::stopat::hybrid_try_search_half_fwd(
675
18.1k
                dfa, &mut cache, input,
676
            )
677
        }
678
        #[cfg(not(feature = "hybrid"))]
679
        {
680
            // Impossible to reach because this engine is never constructed
681
            // if the requisite features aren't enabled.
682
            unreachable!()
683
        }
684
18.1k
    }
685
686
    #[cfg_attr(feature = "perf-inline", inline(always))]
687
679
    pub(crate) fn try_search_half_rev(
688
679
        &self,
689
679
        cache: &mut HybridCache,
690
679
        input: &Input<'_>,
691
679
    ) -> Result<Option<HalfMatch>, RetryFailError> {
692
        #[cfg(feature = "hybrid")]
693
        {
694
679
            let rev = self.0.reverse();
695
679
            let mut revcache = cache.0.as_mut().unwrap().as_parts_mut().1;
696
679
            rev.try_search_rev(&mut revcache, input).map_err(|e| e.into())
697
        }
698
        #[cfg(not(feature = "hybrid"))]
699
        {
700
            // Impossible to reach because this engine is never constructed
701
            // if the requisite features aren't enabled.
702
            unreachable!()
703
        }
704
679
    }
705
706
    #[cfg_attr(feature = "perf-inline", inline(always))]
707
2.55k
    pub(crate) fn try_search_half_rev_limited(
708
2.55k
        &self,
709
2.55k
        cache: &mut HybridCache,
710
2.55k
        input: &Input<'_>,
711
2.55k
        min_start: usize,
712
2.55k
    ) -> Result<Option<HalfMatch>, RetryError> {
713
        #[cfg(feature = "hybrid")]
714
        {
715
2.55k
            let dfa = self.0.reverse();
716
2.55k
            let mut cache = cache.0.as_mut().unwrap().as_parts_mut().1;
717
2.55k
            crate::meta::limited::hybrid_try_search_half_rev(
718
2.55k
                dfa, &mut cache, input, min_start,
719
            )
720
        }
721
        #[cfg(not(feature = "hybrid"))]
722
        {
723
            // Impossible to reach because this engine is never constructed
724
            // if the requisite features aren't enabled.
725
            unreachable!()
726
        }
727
2.55k
    }
728
729
    #[inline]
730
0
    pub(crate) fn try_which_overlapping_matches(
731
0
        &self,
732
0
        cache: &mut HybridCache,
733
0
        input: &Input<'_>,
734
0
        patset: &mut PatternSet,
735
0
    ) -> Result<(), RetryFailError> {
736
        #[cfg(feature = "hybrid")]
737
        {
738
0
            let fwd = self.0.forward();
739
0
            let mut fwdcache = cache.0.as_mut().unwrap().as_parts_mut().0;
740
0
            fwd.try_which_overlapping_matches(&mut fwdcache, input, patset)
741
0
                .map_err(|e| e.into())
742
        }
743
        #[cfg(not(feature = "hybrid"))]
744
        {
745
            // Impossible to reach because this engine is never constructed
746
            // if the requisite features aren't enabled.
747
            unreachable!()
748
        }
749
0
    }
750
}
751
752
#[derive(Clone, Debug)]
753
pub(crate) struct HybridCache(
754
    #[cfg(feature = "hybrid")] Option<hybrid::regex::Cache>,
755
    #[cfg(not(feature = "hybrid"))] (),
756
);
757
758
impl HybridCache {
759
8.26k
    pub(crate) fn none() -> HybridCache {
760
        #[cfg(feature = "hybrid")]
761
        {
762
8.26k
            HybridCache(None)
763
        }
764
        #[cfg(not(feature = "hybrid"))]
765
        {
766
            HybridCache(())
767
        }
768
8.26k
    }
769
770
41.2k
    pub(crate) fn new(builder: &Hybrid) -> HybridCache {
771
        #[cfg(feature = "hybrid")]
772
        {
773
41.2k
            HybridCache(builder.0.as_ref().map(|e| e.0.create_cache()))
774
        }
775
        #[cfg(not(feature = "hybrid"))]
776
        {
777
            HybridCache(())
778
        }
779
41.2k
    }
780
781
0
    pub(crate) fn reset(&mut self, builder: &Hybrid) {
782
        #[cfg(feature = "hybrid")]
783
0
        if let Some(ref e) = builder.0 {
784
0
            self.0.as_mut().unwrap().reset(&e.0);
785
0
        }
786
0
    }
787
788
0
    pub(crate) fn memory_usage(&self) -> usize {
789
        #[cfg(feature = "hybrid")]
790
        {
791
0
            self.0.as_ref().map_or(0, |c| c.memory_usage())
792
        }
793
        #[cfg(not(feature = "hybrid"))]
794
        {
795
            0
796
        }
797
0
    }
798
}
799
800
#[derive(Debug)]
801
pub(crate) struct DFA(Option<DFAEngine>);
802
803
impl DFA {
804
0
    pub(crate) fn none() -> DFA {
805
0
        DFA(None)
806
0
    }
807
808
65.6k
    pub(crate) fn new(
809
65.6k
        info: &RegexInfo,
810
65.6k
        pre: Option<Prefilter>,
811
65.6k
        nfa: &NFA,
812
65.6k
        nfarev: &NFA,
813
65.6k
    ) -> DFA {
814
65.6k
        DFA(DFAEngine::new(info, pre, nfa, nfarev))
815
65.6k
    }
816
817
    #[cfg_attr(feature = "perf-inline", inline(always))]
818
131k
    pub(crate) fn get(&self, _input: &Input<'_>) -> Option<&DFAEngine> {
819
131k
        let engine = self.0.as_ref()?;
820
72.9k
        Some(engine)
821
131k
    }
822
823
137k
    pub(crate) fn is_some(&self) -> bool {
824
137k
        self.0.is_some()
825
137k
    }
826
827
0
    pub(crate) fn memory_usage(&self) -> usize {
828
0
        self.0.as_ref().map_or(0, |e| e.memory_usage())
829
0
    }
830
}
831
832
#[derive(Debug)]
833
pub(crate) struct DFAEngine(
834
    #[cfg(feature = "dfa-build")] dfa::regex::Regex,
835
    #[cfg(not(feature = "dfa-build"))] (),
836
);
837
838
impl DFAEngine {
839
65.6k
    pub(crate) fn new(
840
65.6k
        info: &RegexInfo,
841
65.6k
        pre: Option<Prefilter>,
842
65.6k
        nfa: &NFA,
843
65.6k
        nfarev: &NFA,
844
65.6k
    ) -> Option<DFAEngine> {
845
        #[cfg(feature = "dfa-build")]
846
        {
847
65.6k
            if !info.config().get_dfa() {
848
0
                return None;
849
65.6k
            }
850
            // If our NFA is anything but small, don't even bother with a DFA.
851
65.6k
            if let Some(state_limit) = info.config().get_dfa_state_limit() {
852
65.6k
                if nfa.states().len() > state_limit {
853
25.9k
                    debug!(
854
0
                        "skipping full DFA because NFA has {} states, \
855
0
                         which exceeds the heuristic limit of {}",
856
0
                        nfa.states().len(),
857
                        state_limit,
858
                    );
859
25.9k
                    return None;
860
39.6k
                }
861
0
            }
862
            // We cut the size limit in four because the total heap used by
863
            // DFA construction is determinization aux memory and the DFA
864
            // itself, and those things are configured independently in the
865
            // lower level DFA builder API. And then split that in two because
866
            // of forward and reverse DFAs.
867
39.6k
            let size_limit = info.config().get_dfa_size_limit().map(|n| n / 4);
868
39.6k
            let dfa_config = dfa::dense::Config::new()
869
39.6k
                .match_kind(info.config().get_match_kind())
870
39.6k
                .prefilter(pre.clone())
871
                // Enabling this is necessary for ensuring we can service any
872
                // kind of 'Input' search without error. For the full DFA, this
873
                // can be quite costly. But since we have such a small bound
874
                // on the size of the DFA, in practice, any multi-regexes are
875
                // probably going to blow the limit anyway.
876
39.6k
                .starts_for_each_pattern(true)
877
39.6k
                .byte_classes(info.config().get_byte_classes())
878
39.6k
                .unicode_word_boundary(true)
879
39.6k
                .specialize_start_states(pre.is_some())
880
39.6k
                .determinize_size_limit(size_limit)
881
39.6k
                .dfa_size_limit(size_limit);
882
39.6k
            let result = dfa::dense::Builder::new()
883
39.6k
                .configure(dfa_config.clone())
884
39.6k
                .build_from_nfa(&nfa);
885
39.6k
            let fwd = match result {
886
37.9k
                Ok(fwd) => fwd,
887
1.64k
                Err(_err) => {
888
1.64k
                    debug!("forward full DFA failed to build: {_err}");
889
1.64k
                    return None;
890
                }
891
            };
892
37.9k
            let result = dfa::dense::Builder::new()
893
37.9k
                .configure(
894
37.9k
                    dfa_config
895
37.9k
                        .clone()
896
37.9k
                        // We never need unanchored reverse searches, so
897
37.9k
                        // there's no point in building it into the DFA, which
898
37.9k
                        // WILL take more space. (This isn't done for the lazy
899
37.9k
                        // DFA because the DFA is, well, lazy. It doesn't pay
900
37.9k
                        // the cost for supporting unanchored searches unless
901
37.9k
                        // you actually do an unanchored search, which we
902
37.9k
                        // don't.)
903
37.9k
                        .start_kind(dfa::StartKind::Anchored)
904
37.9k
                        .match_kind(MatchKind::All)
905
37.9k
                        .prefilter(None)
906
37.9k
                        .specialize_start_states(false),
907
37.9k
                )
908
37.9k
                .build_from_nfa(&nfarev);
909
37.9k
            let rev = match result {
910
37.9k
                Ok(rev) => rev,
911
95
                Err(_err) => {
912
95
                    debug!("reverse full DFA failed to build: {_err}");
913
95
                    return None;
914
                }
915
            };
916
37.9k
            let engine = dfa::regex::Builder::new().build_from_dfas(fwd, rev);
917
37.9k
            debug!(
918
0
                "fully compiled forward and reverse DFAs built, {} bytes",
919
0
                engine.forward().memory_usage()
920
0
                    + engine.reverse().memory_usage(),
921
            );
922
37.9k
            Some(DFAEngine(engine))
923
        }
924
        #[cfg(not(feature = "dfa-build"))]
925
        {
926
            None
927
        }
928
65.6k
    }
929
930
    #[cfg_attr(feature = "perf-inline", inline(always))]
931
37.2k
    pub(crate) fn try_search(
932
37.2k
        &self,
933
37.2k
        input: &Input<'_>,
934
37.2k
    ) -> Result<Option<Match>, RetryFailError> {
935
        #[cfg(feature = "dfa-build")]
936
        {
937
37.2k
            self.0.try_search(input).map_err(|e| e.into())
938
        }
939
        #[cfg(not(feature = "dfa-build"))]
940
        {
941
            // Impossible to reach because this engine is never constructed
942
            // if the requisite features aren't enabled.
943
            unreachable!()
944
        }
945
37.2k
    }
946
947
    #[cfg_attr(feature = "perf-inline", inline(always))]
948
23.4k
    pub(crate) fn try_search_half_fwd(
949
23.4k
        &self,
950
23.4k
        input: &Input<'_>,
951
23.4k
    ) -> Result<Option<HalfMatch>, RetryFailError> {
952
        #[cfg(feature = "dfa-build")]
953
        {
954
            use crate::dfa::Automaton;
955
23.4k
            self.0.forward().try_search_fwd(input).map_err(|e| e.into())
956
        }
957
        #[cfg(not(feature = "dfa-build"))]
958
        {
959
            // Impossible to reach because this engine is never constructed
960
            // if the requisite features aren't enabled.
961
            unreachable!()
962
        }
963
23.4k
    }
964
965
    #[cfg_attr(feature = "perf-inline", inline(always))]
966
7.39k
    pub(crate) fn try_search_half_fwd_stopat(
967
7.39k
        &self,
968
7.39k
        input: &Input<'_>,
969
7.39k
    ) -> Result<Result<HalfMatch, usize>, RetryFailError> {
970
        #[cfg(feature = "dfa-build")]
971
        {
972
7.39k
            let dfa = self.0.forward();
973
7.39k
            crate::meta::stopat::dfa_try_search_half_fwd(dfa, input)
974
        }
975
        #[cfg(not(feature = "dfa-build"))]
976
        {
977
            // Impossible to reach because this engine is never constructed
978
            // if the requisite features aren't enabled.
979
            unreachable!()
980
        }
981
7.39k
    }
982
983
    #[cfg_attr(feature = "perf-inline", inline(always))]
984
1.93k
    pub(crate) fn try_search_half_rev(
985
1.93k
        &self,
986
1.93k
        input: &Input<'_>,
987
1.93k
    ) -> Result<Option<HalfMatch>, RetryFailError> {
988
        #[cfg(feature = "dfa-build")]
989
        {
990
            use crate::dfa::Automaton;
991
1.93k
            self.0.reverse().try_search_rev(&input).map_err(|e| e.into())
992
        }
993
        #[cfg(not(feature = "dfa-build"))]
994
        {
995
            // Impossible to reach because this engine is never constructed
996
            // if the requisite features aren't enabled.
997
            unreachable!()
998
        }
999
1.93k
    }
1000
1001
    #[cfg_attr(feature = "perf-inline", inline(always))]
1002
2.95k
    pub(crate) fn try_search_half_rev_limited(
1003
2.95k
        &self,
1004
2.95k
        input: &Input<'_>,
1005
2.95k
        min_start: usize,
1006
2.95k
    ) -> Result<Option<HalfMatch>, RetryError> {
1007
        #[cfg(feature = "dfa-build")]
1008
        {
1009
2.95k
            let dfa = self.0.reverse();
1010
2.95k
            crate::meta::limited::dfa_try_search_half_rev(
1011
2.95k
                dfa, input, min_start,
1012
            )
1013
        }
1014
        #[cfg(not(feature = "dfa-build"))]
1015
        {
1016
            // Impossible to reach because this engine is never constructed
1017
            // if the requisite features aren't enabled.
1018
            unreachable!()
1019
        }
1020
2.95k
    }
1021
1022
    #[inline]
1023
0
    pub(crate) fn try_which_overlapping_matches(
1024
0
        &self,
1025
0
        input: &Input<'_>,
1026
0
        patset: &mut PatternSet,
1027
0
    ) -> Result<(), RetryFailError> {
1028
        #[cfg(feature = "dfa-build")]
1029
        {
1030
            use crate::dfa::Automaton;
1031
0
            self.0
1032
0
                .forward()
1033
0
                .try_which_overlapping_matches(input, patset)
1034
0
                .map_err(|e| e.into())
1035
        }
1036
        #[cfg(not(feature = "dfa-build"))]
1037
        {
1038
            // Impossible to reach because this engine is never constructed
1039
            // if the requisite features aren't enabled.
1040
            unreachable!()
1041
        }
1042
0
    }
1043
1044
0
    pub(crate) fn memory_usage(&self) -> usize {
1045
        #[cfg(feature = "dfa-build")]
1046
        {
1047
0
            self.0.forward().memory_usage() + self.0.reverse().memory_usage()
1048
        }
1049
        #[cfg(not(feature = "dfa-build"))]
1050
        {
1051
            // Impossible to reach because this engine is never constructed
1052
            // if the requisite features aren't enabled.
1053
            unreachable!()
1054
        }
1055
0
    }
1056
}
1057
1058
#[derive(Debug)]
1059
pub(crate) struct ReverseHybrid(Option<ReverseHybridEngine>);
1060
1061
impl ReverseHybrid {
1062
2.81k
    pub(crate) fn none() -> ReverseHybrid {
1063
2.81k
        ReverseHybrid(None)
1064
2.81k
    }
1065
1066
691
    pub(crate) fn new(info: &RegexInfo, nfarev: &NFA) -> ReverseHybrid {
1067
691
        ReverseHybrid(ReverseHybridEngine::new(info, nfarev))
1068
691
    }
1069
1070
2.00k
    pub(crate) fn create_cache(&self) -> ReverseHybridCache {
1071
2.00k
        ReverseHybridCache::new(self)
1072
2.00k
    }
1073
1074
    #[cfg_attr(feature = "perf-inline", inline(always))]
1075
135k
    pub(crate) fn get(
1076
135k
        &self,
1077
135k
        _input: &Input<'_>,
1078
135k
    ) -> Option<&ReverseHybridEngine> {
1079
135k
        let engine = self.0.as_ref()?;
1080
135k
        Some(engine)
1081
135k
    }
1082
}
1083
1084
#[derive(Debug)]
1085
pub(crate) struct ReverseHybridEngine(
1086
    #[cfg(feature = "hybrid")] hybrid::dfa::DFA,
1087
    #[cfg(not(feature = "hybrid"))] (),
1088
);
1089
1090
impl ReverseHybridEngine {
1091
691
    pub(crate) fn new(
1092
691
        info: &RegexInfo,
1093
691
        nfarev: &NFA,
1094
691
    ) -> Option<ReverseHybridEngine> {
1095
        #[cfg(feature = "hybrid")]
1096
        {
1097
691
            if !info.config().get_hybrid() {
1098
0
                return None;
1099
691
            }
1100
            // Since we only use this for reverse searches, we can hard-code
1101
            // a number of things like match semantics, prefilters, starts
1102
            // for each pattern and so on.
1103
691
            let dfa_config = hybrid::dfa::Config::new()
1104
691
                .match_kind(MatchKind::All)
1105
691
                .prefilter(None)
1106
691
                .starts_for_each_pattern(false)
1107
691
                .byte_classes(info.config().get_byte_classes())
1108
691
                .unicode_word_boundary(true)
1109
691
                .specialize_start_states(false)
1110
691
                .cache_capacity(info.config().get_hybrid_cache_capacity())
1111
691
                .skip_cache_capacity_check(false)
1112
691
                .minimum_cache_clear_count(Some(3))
1113
691
                .minimum_bytes_per_state(Some(10));
1114
691
            let result = hybrid::dfa::Builder::new()
1115
691
                .configure(dfa_config)
1116
691
                .build_from_nfa(nfarev.clone());
1117
691
            let rev = match result {
1118
691
                Ok(rev) => rev,
1119
0
                Err(_err) => {
1120
0
                    debug!("lazy reverse DFA failed to build: {_err}");
1121
0
                    return None;
1122
                }
1123
            };
1124
691
            debug!("lazy reverse DFA built");
1125
691
            Some(ReverseHybridEngine(rev))
1126
        }
1127
        #[cfg(not(feature = "hybrid"))]
1128
        {
1129
            None
1130
        }
1131
691
    }
1132
1133
    #[cfg_attr(feature = "perf-inline", inline(always))]
1134
135k
    pub(crate) fn try_search_half_rev_limited(
1135
135k
        &self,
1136
135k
        cache: &mut ReverseHybridCache,
1137
135k
        input: &Input<'_>,
1138
135k
        min_start: usize,
1139
135k
    ) -> Result<Option<HalfMatch>, RetryError> {
1140
        #[cfg(feature = "hybrid")]
1141
        {
1142
135k
            let dfa = &self.0;
1143
135k
            let mut cache = cache.0.as_mut().unwrap();
1144
135k
            crate::meta::limited::hybrid_try_search_half_rev(
1145
135k
                dfa, &mut cache, input, min_start,
1146
            )
1147
        }
1148
        #[cfg(not(feature = "hybrid"))]
1149
        {
1150
            // Impossible to reach because this engine is never constructed
1151
            // if the requisite features aren't enabled.
1152
            unreachable!()
1153
        }
1154
135k
    }
1155
}
1156
1157
#[derive(Clone, Debug)]
1158
pub(crate) struct ReverseHybridCache(
1159
    #[cfg(feature = "hybrid")] Option<hybrid::dfa::Cache>,
1160
    #[cfg(not(feature = "hybrid"))] (),
1161
);
1162
1163
impl ReverseHybridCache {
1164
49.4k
    pub(crate) fn none() -> ReverseHybridCache {
1165
        #[cfg(feature = "hybrid")]
1166
        {
1167
49.4k
            ReverseHybridCache(None)
1168
        }
1169
        #[cfg(not(feature = "hybrid"))]
1170
        {
1171
            ReverseHybridCache(())
1172
        }
1173
49.4k
    }
1174
1175
2.00k
    pub(crate) fn new(builder: &ReverseHybrid) -> ReverseHybridCache {
1176
        #[cfg(feature = "hybrid")]
1177
        {
1178
2.00k
            ReverseHybridCache(builder.0.as_ref().map(|e| e.0.create_cache()))
1179
        }
1180
        #[cfg(not(feature = "hybrid"))]
1181
        {
1182
            ReverseHybridCache(())
1183
        }
1184
2.00k
    }
1185
1186
0
    pub(crate) fn reset(&mut self, builder: &ReverseHybrid) {
1187
        #[cfg(feature = "hybrid")]
1188
0
        if let Some(ref e) = builder.0 {
1189
0
            self.0.as_mut().unwrap().reset(&e.0);
1190
0
        }
1191
0
    }
1192
1193
0
    pub(crate) fn memory_usage(&self) -> usize {
1194
        #[cfg(feature = "hybrid")]
1195
        {
1196
0
            self.0.as_ref().map_or(0, |c| c.memory_usage())
1197
        }
1198
        #[cfg(not(feature = "hybrid"))]
1199
        {
1200
            0
1201
        }
1202
0
    }
1203
}
1204
1205
#[derive(Debug)]
1206
pub(crate) struct ReverseDFA(Option<ReverseDFAEngine>);
1207
1208
impl ReverseDFA {
1209
0
    pub(crate) fn none() -> ReverseDFA {
1210
0
        ReverseDFA(None)
1211
0
    }
1212
1213
3.50k
    pub(crate) fn new(info: &RegexInfo, nfarev: &NFA) -> ReverseDFA {
1214
3.50k
        ReverseDFA(ReverseDFAEngine::new(info, nfarev))
1215
3.50k
    }
1216
1217
    #[cfg_attr(feature = "perf-inline", inline(always))]
1218
174k
    pub(crate) fn get(&self, _input: &Input<'_>) -> Option<&ReverseDFAEngine> {
1219
174k
        let engine = self.0.as_ref()?;
1220
39.3k
        Some(engine)
1221
174k
    }
1222
1223
3.50k
    pub(crate) fn is_some(&self) -> bool {
1224
3.50k
        self.0.is_some()
1225
3.50k
    }
1226
1227
0
    pub(crate) fn memory_usage(&self) -> usize {
1228
0
        self.0.as_ref().map_or(0, |e| e.memory_usage())
1229
0
    }
1230
}
1231
1232
#[derive(Debug)]
1233
pub(crate) struct ReverseDFAEngine(
1234
    #[cfg(feature = "dfa-build")] dfa::dense::DFA<Vec<u32>>,
1235
    #[cfg(not(feature = "dfa-build"))] (),
1236
);
1237
1238
impl ReverseDFAEngine {
1239
3.50k
    pub(crate) fn new(
1240
3.50k
        info: &RegexInfo,
1241
3.50k
        nfarev: &NFA,
1242
3.50k
    ) -> Option<ReverseDFAEngine> {
1243
        #[cfg(feature = "dfa-build")]
1244
        {
1245
3.50k
            if !info.config().get_dfa() {
1246
0
                return None;
1247
3.50k
            }
1248
            // If our NFA is anything but small, don't even bother with a DFA.
1249
3.50k
            if let Some(state_limit) = info.config().get_dfa_state_limit() {
1250
3.50k
                if nfarev.states().len() > state_limit {
1251
678
                    debug!(
1252
0
                        "skipping full reverse DFA because NFA has {} states, \
1253
0
                         which exceeds the heuristic limit of {}",
1254
0
                        nfarev.states().len(),
1255
                        state_limit,
1256
                    );
1257
678
                    return None;
1258
2.82k
                }
1259
0
            }
1260
            // We cut the size limit in two because the total heap used by DFA
1261
            // construction is determinization aux memory and the DFA itself,
1262
            // and those things are configured independently in the lower level
1263
            // DFA builder API.
1264
2.82k
            let size_limit = info.config().get_dfa_size_limit().map(|n| n / 2);
1265
            // Since we only use this for reverse searches, we can hard-code
1266
            // a number of things like match semantics, prefilters, starts
1267
            // for each pattern and so on. We also disable acceleration since
1268
            // it's incompatible with limited searches (which is the only
1269
            // operation we support for this kind of engine at the moment).
1270
2.82k
            let dfa_config = dfa::dense::Config::new()
1271
2.82k
                .match_kind(MatchKind::All)
1272
2.82k
                .prefilter(None)
1273
2.82k
                .accelerate(false)
1274
2.82k
                .start_kind(dfa::StartKind::Anchored)
1275
2.82k
                .starts_for_each_pattern(false)
1276
2.82k
                .byte_classes(info.config().get_byte_classes())
1277
2.82k
                .unicode_word_boundary(true)
1278
2.82k
                .specialize_start_states(false)
1279
2.82k
                .determinize_size_limit(size_limit)
1280
2.82k
                .dfa_size_limit(size_limit);
1281
2.82k
            let result = dfa::dense::Builder::new()
1282
2.82k
                .configure(dfa_config)
1283
2.82k
                .build_from_nfa(&nfarev);
1284
2.82k
            let rev = match result {
1285
2.81k
                Ok(rev) => rev,
1286
13
                Err(_err) => {
1287
13
                    debug!("full reverse DFA failed to build: {_err}");
1288
13
                    return None;
1289
                }
1290
            };
1291
2.81k
            debug!(
1292
0
                "fully compiled reverse DFA built, {} bytes",
1293
0
                rev.memory_usage()
1294
            );
1295
2.81k
            Some(ReverseDFAEngine(rev))
1296
        }
1297
        #[cfg(not(feature = "dfa-build"))]
1298
        {
1299
            None
1300
        }
1301
3.50k
    }
1302
1303
    #[cfg_attr(feature = "perf-inline", inline(always))]
1304
39.3k
    pub(crate) fn try_search_half_rev_limited(
1305
39.3k
        &self,
1306
39.3k
        input: &Input<'_>,
1307
39.3k
        min_start: usize,
1308
39.3k
    ) -> Result<Option<HalfMatch>, RetryError> {
1309
        #[cfg(feature = "dfa-build")]
1310
        {
1311
39.3k
            let dfa = &self.0;
1312
39.3k
            crate::meta::limited::dfa_try_search_half_rev(
1313
39.3k
                dfa, input, min_start,
1314
            )
1315
        }
1316
        #[cfg(not(feature = "dfa-build"))]
1317
        {
1318
            // Impossible to reach because this engine is never constructed
1319
            // if the requisite features aren't enabled.
1320
            unreachable!()
1321
        }
1322
39.3k
    }
1323
1324
0
    pub(crate) fn memory_usage(&self) -> usize {
1325
        #[cfg(feature = "dfa-build")]
1326
        {
1327
0
            self.0.memory_usage()
1328
        }
1329
        #[cfg(not(feature = "dfa-build"))]
1330
        {
1331
            // Impossible to reach because this engine is never constructed
1332
            // if the requisite features aren't enabled.
1333
            unreachable!()
1334
        }
1335
0
    }
1336
}