For integer division the ultimate source is in gcc, since 'div()' just uses / and %, but you probably already know/discovered this.
https://github.com/adapteva/epiphany-gc ... g/epiphany
divsi3 is the one of interest. Looks like there's an assembly version.
If you know it'll be within range/can get the maths right floating point reciprocal may be an option (uses newton-raphson).