Início / coding / Perguntas / 78116641
Accepted
Rawley Fowler
Asked: 2024-03-07 02:28:44 +0800 CST

Como as instruções if do Perl funcionam nos bastidores?

  • 772

Como o intérprete do Perl faz instruções if? Eu queria tentar implementar um Lazy-Basic-Block-Versioning simples para instruções if usadas refcomo predicado e talvez posteriormente também para sub-rotinas.

Depois de estudar o código-fonte, vejo códigos OP para tudo, menos para controlar o fluxo. Minha experiência como intérprete é bastante limitada, mas presumo ver um OP_IFque estouraria a pilha para seus códigos OP de predicados ou algo nesse sentido. Descobri KEY_ifque vem da gramática Yacc, que posteriormente é usada toke.ce traduzida para a KW_IF, mas não consigo descobrir onde KW_IFé realmente usada.

Originalmente, eu pretendia apenas adicionar alguma otimização básica com estado global ao peep.c, mas como não há, OP_IFestou lutando para ter uma visão geral de como o fluxo de controle é tratado.

perl

1 respostas

  1. Best Answer

    ifé compilado em um andou orop.

    perl -MO=Concise,-exec -e'if ( f() ) { ... }'

    1  <0> enter v
2  <;> nextstate(main 1 -e:1) v:{
3  <0> pushmark s
4  <#> gv[*f] s/EARLYCV
5  <1> entersub[t2] sKS/TARG
6  <|> and(other->7) vK/1
7      <0> pushmark s
8      <$> const[PV "Unimplemented"] s
9      <@> die vK/1
a  <@> leave[1 ref] vKP/REFC
-e syntax OK

    perl -MO=Concise,-exec -e'if ( !f() ) { ... }'

    1  <0> enter v
2  <;> nextstate(main 1 -e:1) v:{
3  <0> pushmark s
4  <#> gv[*f] s/EARLYCV
5  <1> entersub[t2] sKS/TARG
6  <|> or(other->7) vK/1
7      <0> pushmark s
8      <$> const[PV "Unimplemented"] s
9      <@> die vK/1
a  <@> leave[1 ref] vKP/REFC
-e syntax OK

    O opcode namedo Concise é mapeado para uma função nomeada em (com algumas exceções).pp_namepp*.c

    • 2

relate perguntas