Первый из них будет делать «если s не равен нулю» (проверка неравенства), а второй - «если не s равен нулю» (проверка равенства, отрицание).
С точки зрения функциональности, это то же самое. С точки зрения производительности, он настолько близок, что это не имеет значения, и здравый компилятор должен оптимизировать последний до первого.
Важно то, что вы поддерживаете читабельность. Не замышляйте свою логику в попытках микрооптимизации. В этом нулевая выгода .