Есть ли принципиальное различие в производительности между указателем и управляемой ссылкой для значимых типов ?

struct A { ... } 

void F(ref A a) {..}
void G(A* a) { .. }

Для F и G генерируется одинаковый IL за исключениям параметра a который принимает тип 'valuetype A& a' в F и 'valuetype A* a' в G.