En este tipo de condición, primero se ejecuta el bloque de código que se encuentra dentro de la condición y luego se volverá a ejecutar, mientras la condición se cumpla.

Es decir, independientemente de si la condición se cumple o no, siempre se va a ejecutar el código del interior una vez si o si.

{
    println("Se ejecuta la primera vez siempre")
} while(valor1 == valor2)