| ## Test correct application of TBAA semantics in TBAA check lines. | |
| # RUN: cp -f %S/Inputs/tbaa-semantics-checks.ll %t.ll && %update_test_checks --version 6 %t.ll | |
| # RUN: diff -u %t.ll %S/Inputs/tbaa-semantics-checks.ll.expected | |
| ## Check that running the script again does not change the result. | |
| # RUN: %update_test_checks %t.ll | |
| # RUN: diff -u %t.ll %S/Inputs/tbaa-semantics-checks.ll.expected |