Searching in llvm/test/Verifier/RISCV