Write an opt pass to take advantage of instructions like fball_eq which expand to all(equal(...)).
fball_eq
all(equal(...))