| // RUN: mlir-opt %s --pass-pipeline="builtin.module(\ |
| // RUN: transform-preload-library{transform-library-paths=%p%{fs-sep}include%{fs-sep}test-interpreter-external-concurrent-source.mlir},\ |
| // RUN: func.func(transform-interpreter))" \ |
| // RUN: --verify-diagnostics |
| |
| // Exercising the pass on multiple functions of different lengths that may be |
| // processed concurrently. This should expose potential races. |
| |
| func.func @f1() { |
| // expected-remark @below {{matched}} |
| return |
| } |
| |
| func.func @f2() { |
| // expected-remark @below {{matched}} |
| return |
| } |
| |
| func.func @f3() { |
| call @f2() : () -> () |
| call @f2() : () -> () |
| call @f5() : () -> () |
| call @f7() : () -> () |
| call @f5() : () -> () |
| call @f5() : () -> () |
| // expected-remark @below {{matched}} |
| return |
| } |
| |
| func.func @f4() { |
| call @f3() : () -> () |
| call @f3() : () -> () |
| // expected-remark @below {{matched}} |
| return |
| } |
| |
| func.func @f5() { |
| call @f7() : () -> () |
| call @f7() : () -> () |
| call @f7() : () -> () |
| call @f7() : () -> () |
| call @f1() : () -> () |
| call @f1() : () -> () |
| call @f7() : () -> () |
| call @f7() : () -> () |
| call @f7() : () -> () |
| call @f7() : () -> () |
| // expected-remark @below {{matched}} |
| return |
| } |
| |
| func.func @f6() { |
| // expected-remark @below {{matched}} |
| return |
| } |
| |
| func.func @f7() { |
| // expected-remark @below {{matched}} |
| return |
| } |
