1; Basic test to check that DominatorTreeAnalysis is preserved by IPSCCP and 2; the following analysis can re-use it. The test contains two trivial functions 3; IPSCCP can simplify, so we can test the case where IPSCCP makes changes. 4 5; RUN: opt -disable-verify -debug-pass-manager \ 6; RUN: -passes='function(require<domtree>,require<postdomtree>),ipsccp,function(require<domtree>,require<postdomtree>)' -S %s 2>&1 \ 7; RUN: | FileCheck -check-prefixes='IR,NEW-PM' %s 8 9; RUN: opt -passes='function(require<postdomtree>),ipsccp,function(verify<domtree>)' -S %s | FileCheck -check-prefixes='IR' %s 10 11; NEW-PM: Starting llvm::Module pass manager run. 12; NEW-PM: Running analysis: DominatorTreeAnalysis on f1 13; NEW-PM: Running analysis: PostDominatorTreeAnalysis on f1 14; NEW-PM: Running analysis: DominatorTreeAnalysis on f2 15; NEW-PM: Running analysis: PostDominatorTreeAnalysis on f2 16; NEW-PM: Running pass: IPSCCPPass 17; NEW-PM-DAG: Running analysis: AssumptionAnalysis on f1 18; NEW-PM-DAG: Running analysis: AssumptionAnalysis on f2 19; NEW-PM-NOT: Running analysis: 20 21; IR-LABEL: @f1 22; IR-LABEL: entry: 23; IR-NEXT: br label %bb2 24; IR-LABEL: bb2: 25; IR-NEXT: undef 26 27; IR-LABEL: @f2 28; IR-NOT: icmp 29; IR: br label %bbtrue 30; IR-LABEL: bbtrue: 31; IR-NEXT: ret i32 0 32define internal i32 @f1() readnone { 33entry: 34 br i1 false, label %bb1, label %bb2 35bb1: 36 ret i32 10 37bb2: 38 ret i32 10 39} 40 41define i32 @f2(i32 %n) { 42 %i = call i32 @f1() 43 %cmp = icmp eq i32 %i, 10 44 br i1 %cmp, label %bbtrue, label %bbfalse 45 46bbtrue: 47 ret i32 0 48 49bbfalse: 50 %res = add i32 %n, %i 51 ret i32 %res 52} 53