CHECK-LABEL-ify tests