1bb0842a3SEvgeniy Brevnov; RUN: opt < %s -passes='print<branch-prob>' -disable-output 2>&1 | FileCheck %s 2bb0842a3SEvgeniy Brevnov 3bb0842a3SEvgeniy Brevnovdeclare void @g(i32) 4bb0842a3SEvgeniy Brevnov 5bb0842a3SEvgeniy Brevnov; Check correctness of reported probabilities in case of multiple edges between 6bb0842a3SEvgeniy Brevnov; basic blocks. In this case sum of probabilities over all edges should be 7bb0842a3SEvgeniy Brevnov; returned by BranchProbabilityInfo::getEdgeProbability. 8bb0842a3SEvgeniy Brevnov 9bb0842a3SEvgeniy Brevnovdefine void @test1(i32 %x) { 10*bb6497ffSMircea Trofin;CHECK: edge %entry -> %return probability is 0x0ccccccd / 0x80000000 = 10.00% 11*bb6497ffSMircea Trofin;CHECK: edge %entry -> %bb0 probability is 0x26666666 / 0x80000000 = 30.00% 12*bb6497ffSMircea Trofin;CHECK: edge %entry -> %bb0 probability is 0x26666666 / 0x80000000 = 30.00% 13*bb6497ffSMircea Trofin;CHECK: edge %entry -> %bb0 probability is 0x26666666 / 0x80000000 = 30.00% 14*bb6497ffSMircea Trofin;CHECK: edge %entry -> %bb1 probability is 0x26666666 / 0x80000000 = 30.00% 15*bb6497ffSMircea Trofin;CHECK: edge %entry -> %bb1 probability is 0x26666666 / 0x80000000 = 30.00% 16*bb6497ffSMircea Trofin;CHECK: edge %entry -> %bb1 probability is 0x26666666 / 0x80000000 = 30.00% 17*bb6497ffSMircea Trofin;CHECK: edge %entry -> %bb2 probability is 0x26666666 / 0x80000000 = 30.00% 18*bb6497ffSMircea Trofin;CHECK: edge %entry -> %bb2 probability is 0x26666666 / 0x80000000 = 30.00% 19*bb6497ffSMircea Trofin;CHECK: edge %entry -> %bb2 probability is 0x26666666 / 0x80000000 = 30.00% 20*bb6497ffSMircea Trofin;CHECK: edge %bb0 -> %return probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge] 21*bb6497ffSMircea Trofin;CHECK: edge %bb1 -> %return probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge] 22*bb6497ffSMircea Trofin;CHECK: edge %bb2 -> %return probability is 0x80000000 / 0x80000000 = 100.00% [HOT edge] 23bb0842a3SEvgeniy Brevnov 24bb0842a3SEvgeniy Brevnoventry: 25bb0842a3SEvgeniy Brevnov switch i32 %x, label %return [ 26bb0842a3SEvgeniy Brevnov i32 0, label %bb0 27bb0842a3SEvgeniy Brevnov i32 3, label %bb0 28bb0842a3SEvgeniy Brevnov i32 6, label %bb0 29bb0842a3SEvgeniy Brevnov i32 1, label %bb1 30bb0842a3SEvgeniy Brevnov i32 4, label %bb1 31bb0842a3SEvgeniy Brevnov i32 7, label %bb1 32bb0842a3SEvgeniy Brevnov i32 2, label %bb2 33bb0842a3SEvgeniy Brevnov i32 5, label %bb2 34bb0842a3SEvgeniy Brevnov i32 8, label %bb2 35bb0842a3SEvgeniy Brevnov ] 36bb0842a3SEvgeniy Brevnov 37bb0842a3SEvgeniy Brevnovbb0: ; preds = %entry, %entry, %entry 38bb0842a3SEvgeniy Brevnov tail call void @g(i32 0) 39bb0842a3SEvgeniy Brevnov br label %return 40bb0842a3SEvgeniy Brevnov 41bb0842a3SEvgeniy Brevnovbb1: ; preds = %entry, %entry, %entry 42bb0842a3SEvgeniy Brevnov tail call void @g(i32 1) 43bb0842a3SEvgeniy Brevnov br label %return 44bb0842a3SEvgeniy Brevnov 45bb0842a3SEvgeniy Brevnovbb2: ; preds = %entry, %entry, %entry 46bb0842a3SEvgeniy Brevnov tail call void @g(i32 2) 47bb0842a3SEvgeniy Brevnov br label %return 48bb0842a3SEvgeniy Brevnov 49bb0842a3SEvgeniy Brevnovreturn: ; preds = %bb2, %bb1, %bb0, %entry 50bb0842a3SEvgeniy Brevnov ret void 51bb0842a3SEvgeniy Brevnov} 52