| #!/bin/sh | |
| # Create temporary files that are automatically deleted after the script's | |
| # execution. | |
| stdout_file=$(mktemp /tmp/stdout.XXXXXX) | |
| stderr_file=$(mktemp /tmp/stderr.XXXXXX) | |
| # Tests for the keyword "failure" in the stderr of the optimization pass | |
| mlir-opt $1 -test-mlir-reducer > $stdout_file 2> $stderr_file | |
| if [ $? -ne 0 ] && grep 'failure' $stderr_file; then | |
| exit 1 | |
| #Interesting behavior | |
| else | |
| exit 0 | |
| fi |