Du kannst

TmpWord = Pwm - Zahl

machen.

dann kannst du das höchste Bit vom TmpWord als ausgang nehmen
denn das ist "1", wenn pwm < zahl ist, und "0", wenn nicht.

EDIT: Vom generierten Code her ist das aber mölglicherweise nicht viel günstiger, wenn überhaupt