Fix inversion error on addrcmp (bug #3155)