> On Feb 26, 2015, at 1:12 PM, Kyrill Tkachov <kyrylo.tkac...@arm.com> wrote: > >
... > I've tried this patch out and added: > (automata_option "v") > (automata_option "time") > (automata_option "stats") > (automata_option "progress") > > to the .md file to get some compiler build-time stats on the automata. > I see that the whitney_pipe automaton is the largest automaton in terms > of NDFA states, and second largest in minimal DFA states: > > 44170 NDFA states, 188695 NDFA arcs > 44170 DFA states, 188695 DFA arcs > 7070 minimal DFA states, 66279 minimal DFA arcs > 923 all insns 30 insn equivalence classes > > Could the complexity of it be reduced without sacrificing code quality? > In some cores we break up the automaton into two automata, roughly separated > into > an integer/memory unit and another one for FP/NEON units to reduce the state > space. > Look at cortex-a15.md and cortex-a15-neon.md or some other description of > that kind. I think converting the C predicates to attributes would reduce the number of states since DFA generator will be able to fold them. -- Maxim Kuvyrkov www.linaro.org
