There were two problems: * The `%s` argument to `FileCheck` was repeated. * A single dash for `-check-prefix` was used but we need two dashes.