xla

fix pred promotion for arithmetic ops

#1009

Merged