Searching in MultiSource/Benchmarks/MiBench/automotive-basicmath