There is already CHECK-NOT present which checks if select is eliminated or not. The objective of this test case was to check if select is eliminated. I would suggest to refer following link for FileCheck : http://llvm.org/docs/CommandGuide/FileCheck.html http://reviews.llvm.org/D6429