1 //===- TestAliasAnalysis.cpp - Test FIR lias analysis -----------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #include "mlir/test/lib/Analysis/TestAliasAnalysis.h" 10 #include "mlir/Analysis/AliasAnalysis.h" 11 #include "mlir/Pass/Pass.h" 12 #include "flang/Optimizer/Analysis/AliasAnalysis.h" 13 14 using namespace mlir; 15 16 namespace { 17 18 //===----------------------------------------------------------------------===// 19 // Testing AliasResult 20 //===----------------------------------------------------------------------===// 21 22 struct TestFIRAliasAnalysisPass 23 : public test::TestAliasAnalysisBase, 24 PassWrapper<TestFIRAliasAnalysisPass, OperationPass<>> { MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID__anonfdd471fd0111::TestFIRAliasAnalysisPass25 MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(TestFIRAliasAnalysisPass) 26 27 StringRef getArgument() const final { return "test-fir-alias-analysis"; } getDescription__anonfdd471fd0111::TestFIRAliasAnalysisPass28 StringRef getDescription() const final { 29 return "Test alias analysis results."; 30 } runOnOperation__anonfdd471fd0111::TestFIRAliasAnalysisPass31 void runOnOperation() override { 32 mlir::AliasAnalysis aliasAnalysis(getOperation()); 33 aliasAnalysis.addAnalysisImplementation(fir::AliasAnalysis()); 34 runAliasAnalysisOnOperation(getOperation(), aliasAnalysis); 35 } 36 }; 37 38 //===----------------------------------------------------------------------===// 39 // Testing ModRefResult 40 //===----------------------------------------------------------------------===// 41 42 struct TestFIRAliasAnalysisModRefPass 43 : public test::TestAliasAnalysisModRefBase, 44 PassWrapper<TestFIRAliasAnalysisModRefPass, OperationPass<>> { MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID__anonfdd471fd0111::TestFIRAliasAnalysisModRefPass45 MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(TestFIRAliasAnalysisModRefPass) 46 47 StringRef getArgument() const final { 48 return "test-fir-alias-analysis-modref"; 49 } getDescription__anonfdd471fd0111::TestFIRAliasAnalysisModRefPass50 StringRef getDescription() const final { 51 return "Test alias analysis ModRef results."; 52 } runOnOperation__anonfdd471fd0111::TestFIRAliasAnalysisModRefPass53 void runOnOperation() override { 54 mlir::AliasAnalysis aliasAnalysis(getOperation()); 55 aliasAnalysis.addAnalysisImplementation(fir::AliasAnalysis()); 56 runAliasAnalysisOnOperation(getOperation(), aliasAnalysis); 57 } 58 }; 59 } // namespace 60 61 //===----------------------------------------------------------------------===// 62 // Pass Registration 63 //===----------------------------------------------------------------------===// 64 65 namespace fir { 66 namespace test { registerTestFIRAliasAnalysisPass()67void registerTestFIRAliasAnalysisPass() { 68 PassRegistration<TestFIRAliasAnalysisPass>(); 69 PassRegistration<TestFIRAliasAnalysisModRefPass>(); 70 } 71 } // namespace test 72 } // namespace fir