Mi profesor nos dejo hacer una funcion en c++ que determine el mayor de cinco numeros. De antemano les comento que él no quiere que usemos arrays, él quiere que intentemos hacer un mecanismo con bucles e intentar no usar demasiados condicionales. Ciertamente lo veo algo complicado, no se como hacerlo sin usar varios condicionales. Les agradeceria que me aconsejaran o me dieran ideas para resolver el problema. Gracias de antemano por su tiempo.
http://www.subirimagenes.com/privadas-imagenproblema-2438045.html
Ese es link de la imagen, por si quieren verla

Quédate con tu profesor:

int mayor(int n1, int n2, int n3, int n4, int n5) {
    int mayor = n1;
    for(int *p=&n2; p<=&n5; ++p)
        if(*p > mayor)
            mayor = *p;
    return mayor;
}

Cierto, no se asegura que se carguen en ese orden, pero sí que serán contiguos en memoria. Por lo cual es igual el orden en que se carguen porque a la hora de crear el marco de la función siempre ocuparán los mismos espacios en el marco.

Por cierto, he modificado un poco el código: no tenía en cuenta si el elemento actual era mayor a 'mayor'.

La convención cdecl, que es la estándar en C y C++, dice que los argumentos se pasarán de derecha a izquierda, que con esto no hay que confundir con que los argumentos de una llamada se pueden evaluar en el orden que el compilador prefiera.

Si se dejara que cada vez que se hace una llamada el orden del paso de los argumentos pudiera cambiar esta información se debería guardar en algún sitio para saber la función llamada dónde buscar esos argumentos, o se debería usar algo parecido a reflections en otros lenguajes, cosa que en C no existe. Los nombres de las variables desaparecen. En el stackframe solo queda el xBP y el offset, y esto debe estar escrito a fuego en el código máquina, por tanto el orden tiene que estar perfectamente definido, sea cual sea la convención de llamada que se use. Que por cierto, el código que he pasado no funcionará con cualquier convención que use registros.