================ @@ -119,6 +119,13 @@ bool SPIRVExtensionsParser::parse(cl::Option &O, StringRef ArgName, continue; } + if (Token == "KHR") { ---------------- Keenuts wrote: I'd say that's a better user experience and it doesn't cost much https://github.com/llvm/llvm-project/pull/145535