-; RUN: llc < %s -march=x86 | grep testl
+; RUN: llc < %s -verify-machineinstrs -march=x86 | FileCheck %s
+
+; CHECK: testl
; It's tempting to eliminate the testl instruction here and just use the
; EFLAGS value from the incl, however it can't be known whether the add