ARM support: if-then-else