1 ; RUN: as < %s -o /dev/null -f
4 call void (...)* cast (void (short*, int)* %AddString to void (...)*)(short* null, int 0)
8 void %AddString(short* %tmp.124, int %tmp.127) {
9 call void (...)* cast (void (short*, int)* %AddString to void (...)*)(short* %tmp.124, int %tmp.127)