icepole128v2/ref/icepole.c
void generateTag(
    ICESTATE S,
    unsigned char * tag
    )
{
    P12(S,S);
    store64(tag, S[0][0], 8);
    store64(tag+8, S[1][0], 8);
}
/* Given the ICEPOLE state S generates the authentication tag and stores
 * in memory pointed by tag. */
Given the ICEPOLE state S generates the authentication tag and stores
in memory pointed by tag.
Given the ICEPOLE state S generates the authentication tag and stores in memory pointed by tag .
void generateTag(
    ICESTATE S,
    unsigned char * tag
    )
{
    P12(S,S);
    store64(tag, S[0][0], 8);
    store64(tag+8, S[1][0], 8);
}
void generateTag ( ICESTATE S , unsigned char * tag ) { P12 ( S , S ) ; store64 ( tag , S [ 0 ] [ 0 ] , 8 ) ; store64 ( tag + 8 , S [ 1 ] [ 0 ] , 8 ) ; }
Given the ICEPOLE state S generates the authentication tag and stores
 in memory pointed by tag.
Given the ICEPOLE state S generates the authentication tag and stores in memory pointed by tag .