lctags の DB を作成し、次の内容のソースコードを登録しておきます。

typedef struct {
    int val;
} type_t;
int func6( int val )
{
    type_t typ;
    if ( val == 0 ) {
        val = 1;
        typ.val = val;
        return 0;
    }
    return 1;
}

上記ソースコードを開き、 if ( val == 0 ) { の "{" の箇所にカーソルを合せます。

ここで C-c l と入力し、lctags メニューを開きます。 lctags メニューでは、 refactoring の 'r' を押し、さらに subroutine の 's' を押します。

これにより、対象ブロックの解析とサブルーチンの生成が行なわれ、次の内容のバッファが開かれます。

/* please edit 'x' or 'o' and symbol and order of following items,
    and push C-c C-c to update.
    format:
       :[xor]:argName:orgName
     x is to pass value.
     o is to pass address of value.
     r is to pass value and to return directly.
----------------
:o:indirect-return
:o:pTyp:typ
:o:pVal:val
----------------
*/
//======= call ======
{
  int funcRet__ = 0;
  if ( func6__sub( &funcRet__, &typ, &val ) ) {
    return funcRet__;
  }
}
//======= sub routine ======
static int func6__sub( int* pFuncRet__, type_t* pTyp, int* pVal )
{
  (*pVal) = 1;
  pTyp->val = (*pVal);
  return *pFuncRet__= 0, 1;
}

=== sub routin === 以降は、サブルーチン化した処理です。 この処理をソースコードにコピーします。

=== call === 以降は、サブルーチン化した関数を呼び出す処理です。 この処理を、 "if ( val == 0 ) {" の "{" の箇所に置き換えます。

置き換えると次のようになります。

static int func6__sub( int* pFuncRet__, type_t* pTyp, int* pVal )
{
  (*pVal) = 1;
  pTyp->val = (*pVal);
  return *pFuncRet__= 0, 1;
}
int func6( int val )
{
    type_t typ;
    if ( val == 0 ) {
       int funcRet__ = 0;
       if ( func6__sub( &funcRet__, &typ, &val ) ) {
          return funcRet__;
       }
    }
}

これでサブルーチン化は完成です。

念のためサブルーチン化後の処理について説明しておくと、 func6__sub() は戻り値が int 型の関数です。 戻り値が 0 以外の時は、サブルーチンの呼び出し側を return で終了させます。 その際、戻り値は funcRet__ に格納されています。

また、上記処理を良く見ると、サブルーチンに渡している val が気になるのではないかと思います。

サブルーチン化した処理では、 val を値渡しではなく、アドレス渡しにしています。

これは何故かというと、処理内で val に対して代入を行なっているためです。

例えば、 func6() の処理が、 次のように if のブロック処理を抜けた後に val を return するような処理だった場合、

int func6( int val )
{
    type_t typ;
    if ( val == 0 ) {
        val = 1;
        typ.val = val;
    }
    return val;
}

if のブロックをサブルーチン化する場合は、 val をアドレス渡しする必要があります。

ただ、今回の場合はブロックの後に val を参照していないので、 本来は val は値渡しでも問題ありません。

それにもかかわらず val をアドレス渡ししています。

これは、サブルーチン化の処理を安全方向に振るためです。

将来、この func6() 関数をさらに変更して、 if ブロックの後に val を参照するかもしれません。 また、サブルーチン化した func6__sub() 処理を変更して、 戻り値が 0 になることもあるかもしれません。

そのような場合に備えて、アドレス渡しにしています。

もしも、このアドレス渡しが気になる場合は、次の方法で値渡しにすることが可能です。

生成されたバッファの上部に表示されている次の箇所を注目してください。

/* please edit 'x' or 'o' and symbol and order of following items,
    and push C-c C-c to update.
    format:
       :[xor]:argName:orgName
     x is to pass value.
     o is to pass address of value.
     r is to pass value and to return directly.
----------------
:o:indirect-return
:o:pTyp:typ
:o:pVal:val
----------------
*/

この :o:pVal:val を :x:pVal:val に編集し C-c C-c すると、 val が値渡しになったサブルーチンコードが生成されます。

{
  int funcRet__ = 0;
  if ( func6__sub( &funcRet__, &typ, val ) ) {
    return funcRet__;
  }
}
//======= sub routine ======
static int func6__sub( int* pFuncRet__, type_t* pTyp, int pVal )
{
  pVal = 1;
  pTyp->val = pVal;
  pTyp->val = pVal;
  return *pFuncRet__= 0, 1;
}

サブルーチン化したブロックの引数名は、元の変数と同じ名前になります。 この変数名を違う名前に変更できます。

/* please edit 'x' or 'o' and symbol and order of following items,
    and push C-c C-c to update.
    format:
       :[xor]:argName:orgName
     x is to pass value.
     o is to pass address of value.
     r is to pass value and to return directly.
----------------
:o:indirect-return
:o:pTyp:typ
:o:pVal:val
----------------
*/

バッファ上部に出力されている :o:pVal:val の pVal の部分を変更し C-c C-c すると、 引数が変更した名前になります。

ブロック内で変更されている変数は、サブルーチン化の際にアドレス渡しの引数になります。 この変数を戻り値とすることで、引数は値渡しに出来ます。

アドレス渡しの変数を戻り値にするには、 :o:pVal:val の o の部分を r とし、 C-c C-c することで更新されます。

reutrn 文を持つブロックをサブルーチン化すると、 その return 文は return *pFuncRet__= 0, 1; のようになります。

この return 文が気になる場合は、元ブロックの return 文の形にすることができます。

元ブロックの return 文の形に変更するには、 :o:indirect-return の o の部分を x とし、 C-c C-c することで更新されます。

この場合、サブルーチンの呼び出し側は、戻り値から return するかどうかを判別する必要があります。