test/Transforms/SimplifyCFG/preserve-branchweights.ll

   1 ; RUN: opt -simplifycfg -S -o - < %s | FileCheck %s
   2
   3 declare void @helper(i32)
   4
   5 define void @test1(i1 %a, i1 %b) {
   6 ; CHECK: @test1
   7 entry:
   8   br i1 %a, label %Y, label %X, !prof !0
   9 ; CHECK: br i1 %or.cond, label %Z, label %Y, !prof !0
  10
  11 X:
  12   %c = or i1 %b, false
  13   br i1 %c, label %Z, label %Y, !prof !1
  14
  15 Y:
  16   call void @helper(i32 0)
  17   ret void
  18
  19 Z:
  20   call void @helper(i32 1)
  21   ret void
  22 }
  23
  24 define void @test2(i1 %a, i1 %b) {
  25 ; CHECK: @test2
  26 entry:
  27   br i1 %a, label %X, label %Y, !prof !1
  28 ; CHECK: br i1 %or.cond, label %Z, label %Y, !prof !1
  29 ; CHECK-NOT: !prof
  30
  31 X:
  32   %c = or i1 %b, false
  33   br i1 %c, label %Z, label %Y, !prof !2
  34
  35 Y:
  36   call void @helper(i32 0)
  37   ret void
  38
  39 Z:
  40   call void @helper(i32 1)
  41   ret void
  42 }
  43
  44 define void @test3(i1 %a, i1 %b) {
  45 ; CHECK: @test3
  46 ; CHECK-NOT: !prof
  47 entry:
  48   br i1 %a, label %X, label %Y, !prof !1
  49
  50 X:
  51   %c = or i1 %b, false
  52   br i1 %c, label %Z, label %Y
  53
  54 Y:
  55   call void @helper(i32 0)
  56   ret void
  57
  58 Z:
  59   call void @helper(i32 1)
  60   ret void
  61 }
  62
  63 define void @test4(i1 %a, i1 %b) {
  64 ; CHECK: @test4
  65 ; CHECK-NOT: !prof
  66 entry:
  67   br i1 %a, label %X, label %Y
  68
  69 X:
  70   %c = or i1 %b, false
  71   br i1 %c, label %Z, label %Y, !prof !1
  72
  73 Y:
  74   call void @helper(i32 0)
  75   ret void
  76
  77 Z:
  78   call void @helper(i32 1)
  79   ret void
  80 }
  81
  82 !0 = metadata !{metadata !"branch_weights", i32 3, i32 5}
  83 !1 = metadata !{metadata !"branch_weights", i32 1, i32 1}
  84 !2 = metadata !{metadata !"branch_weights", i32 1, i32 2}
  85
  86 ; CHECK: !0 = metadata !{metadata !"branch_weights", i32 5, i32 11}
  87 ; CHECK: !1 = metadata !{metadata !"branch_weights", i32 1, i32 5}
  88 ; CHECK-NOT: !2