The CHECK-NOT: directive is used to verify that a string doesn't occur -between two matches (or the first matches and the beginning of the file). For +between two matches (or the first match and the beginning of the file). For example, to verify that a load is removed by a transformation, a test like this can be used: