Searching in libgcc/config/nvptx