52 lines · plain
1; RUN: opt -aa-pipeline=basic-aa -passes='require<memoryssa>,invalidate<aa>,early-cse<memssa>' \2; RUN: -debug-pass-manager -disable-output %s 2>&1 \3; RUN: | FileCheck %s --check-prefix=CHECK-AA-INVALIDATE4; RUN: opt -aa-pipeline=basic-aa -passes='require<memoryssa>,invalidate<domtree>,early-cse<memssa>' \5; RUN: -debug-pass-manager -disable-output %s 2>&1 \6; RUN: | FileCheck %s --check-prefix=CHECK-DT-INVALIDATE7 8; CHECK-AA-INVALIDATE: Running analysis: MemorySSAAnalysis9; CHECK-AA-INVALIDATE: Running analysis: DominatorTreeAnalysis10; CHECK-AA-INVALIDATE: Running analysis: AAManager11; CHECK-AA-INVALIDATE: Running analysis: BasicAA12; CHECK-AA-INVALIDATE: Running pass: InvalidateAnalysisPass<{{.*}}AAManager13; CHECK-AA-INVALIDATE: Invalidating analysis: AAManager14; CHECK-AA-INVALIDATE: Invalidating analysis: MemorySSAAnalysis15; CHECK-AA-INVALIDATE: Running pass: EarlyCSEPass16; CHECK-AA-INVALIDATE: Running analysis: MemorySSAAnalysis17; CHECK-AA-INVALIDATE: Running analysis: AAManager18 19; CHECK-DT-INVALIDATE: Running analysis: MemorySSAAnalysis20; CHECK-DT-INVALIDATE: Running analysis: DominatorTreeAnalysis21; CHECK-DT-INVALIDATE: Running analysis: AAManager22; CHECK-DT-INVALIDATE: Running analysis: BasicAA23; CHECK-DT-INVALIDATE: Running pass: InvalidateAnalysisPass<{{.*}}DominatorTreeAnalysis24; CHECK-DT-INVALIDATE: Invalidating analysis: DominatorTreeAnalysis25; CHECK-DT-INVALIDATE: Invalidating analysis: BasicAA26; CHECK-DT-INVALIDATE: Invalidating analysis: AAManager27; CHECK-DT-INVALIDATE: Invalidating analysis: MemorySSAAnalysis28; CHECK-DT-INVALIDATE: Running pass: EarlyCSEPass29; CHECK-DT-INVALIDATE: Running analysis: DominatorTreeAnalysis30; CHECK-DT-INVALIDATE: Running analysis: MemorySSAAnalysis31; CHECK-DT-INVALIDATE: Running analysis: AAManager32; CHECK-DT-INVALIDATE: Running analysis: BasicAA33 34 35; Function Attrs: ssp uwtable36define i32 @main() {37entry:38 %call = call noalias ptr @_Znwm(i64 4)39 %call1 = call noalias ptr @_Znwm(i64 4)40 store i32 5, ptr %call, align 441 store i32 7, ptr %call1, align 442 %0 = load i32, ptr %call, align 443 %1 = load i32, ptr %call1, align 444 %2 = load i32, ptr %call, align 445 %3 = load i32, ptr %call1, align 446 %add = add nsw i32 %1, %347 ret i32 %add48}49 50declare noalias ptr @_Znwm(i64)51 52