1  /* { dg-do compile } */
       2  /* { dg-options "-fharden-compares -fdump-tree-hardcmp -ffat-lto-objects" } */
       3  
       4  int
       5  f (int i, int j)
       6  {
       7    return i < j;
       8  }
       9  
      10  /* { dg-final { scan-tree-dump-times "Splitting block" 1 "hardcmp" } } */
      11  /* { dg-final { scan-tree-dump-times "Adding reversed compare" 1 "hardcmp" } } */
      12  /* { dg-final { scan-tree-dump-times "__builtin_trap" 1 "hardcmp" } } */
      13  /* { dg-final { scan-tree-dump-times "_\[0-9\]* = i_\[0-9\]*\[(\]D\[)\] < j_\[0-9\]*\[(\]D\[)\];" 1 "hardcmp" } } */
      14  /* { dg-final { scan-tree-dump-times "_\[0-9\]* = _\[0-9\]* >= _\[0-9\]*;" 1 "hardcmp" } } */