; -disable-verify should disable output verification from the optimization
; pipeline.
-; CHECK: Pass Arguments: {{.*}} -verify -ipsccp
+; CHECK: Pass Arguments: {{.*}} -verify -forceattrs
; CHECK-NOT: -verify
; VERIFY: Pass Arguments: {{.*}} -verify {{.*}} -verify