Hola jose, el programa parece que esta todo bien, ademas creo que el uso de delay_us(80) esta bien, aunque no entiendo para que necesitas que sea tan rápido, si no lo vas a poder visualizar, la otra cuestión es que si inicias con la entrada PIN_A1 en cero y la pasas a 1, el pic no va a funcionar ya que en el ciclo while se dará por falso y saldrá del programa, por lo tanto debe iniciar el PIN_A1 en 1 siempre, si lo cambias a 0 dejara de funcionar hasta que pongas el PIN_A1 en 1 y resetees el micro, o cortes la alimentación e inicie de nuevo, bueno y lo otro es que lo que pones no es un archivo .hex sino un programa .c de CCS debes compilarlo y abrir la carpeta donde se guardo y allí si habrá un archivo .hex con el que podrás cargar al pic, suerte y espero poder ayudarte
