Add testdata for a function with a loop that contains two conditionals

PiperOrigin-RevId: 696656398

Author: dhoekwater

propeller/testdata/BUILD

@@ -52,6 +52,8 @@ exports_files([
     "test_comdat.h",
     "test_comdat_1.cc",
     "test_comdat_2.cc",
+    "three_branches.protobuf",
+    "two_conditionals_in_loop.protobuf",
 ])
 
 # This rule generates a binary with comdat functions.

propeller/testdata/three_branches.protobuf

@@ -0,0 +1,82 @@
+## CFG consisting of a function with three conditionals.
+## TODO(b/160191690) Change symbol names once unary encoding is deprecated.
+##
+##            foo
+##            / \
+##        0  /   \100
+##          /     \
+##         v       v
+##   aa.BB.foo    a.BB.foo
+##      |  \       |    \
+##      |   \      |     \
+##    10|   0\     |80    \20
+##      |     \    |       \
+##      v      \   |        \
+## raa.BB.foo   v  v         v
+##             rraa.BB.foo  rrraa.BB.foo
+##
+
+cfg {
+  name: "foo"
+  node {
+    bb_id: 0
+    size: 10
+    out_edges {
+      sink: {
+        bb_index: 1
+      }
+      weight: 100
+    }
+    out_edges {
+      sink: {
+        bb_index: 2
+      }
+      weight: 0
+    }
+  }
+  node {
+    bb_id: 1
+    size: 4
+    out_edges {
+      sink: {
+        bb_index: 4
+      }
+      weight: 80
+    }
+    out_edges {
+      sink: {
+        bb_index: 5
+      }
+      weight: 20
+    }
+  }
+  node {
+    bb_id: 2
+    size: 6
+    out_edges {
+      sink: {
+        bb_index: 3
+      }
+      weight: 10
+    }
+    out_edges {
+      sink: {
+        bb_index: 4
+      }
+      weight: 0
+      kind: BRANCH_OR_FALLTHROUGH
+    }
+  }
+  node {
+    bb_id: 3
+    size: 2
+  }
+  node {
+    bb_id: 4
+    size: 6
+  }
+  node {
+    bb_id: 5
+    size: 4
+  }
+}

propeller/testdata/two_conditionals_in_loop.protobuf

@@ -0,0 +1,102 @@
+## CFG consisting of a function with two conditionals in a small-trip-count
+## loop.
+##             foo
+##             |
+##          15 |
+##             v
+##      +----> foo.1
+##      |      |\
+##      |      | \10
+##      |      |  \
+##      |      |   v
+##   10 |   15 |   foo.3  --+
+##      |      |   /        |
+##      |      |  / 9       |
+##      |      | /          |
+##      |      vv           | 1
+##      +---- foo.2         |
+##             |            |
+##         14  |            |
+##             v            |
+##            foo.4 <-------+
+
+cfg {
+  name: "foo"
+  function_index: 22
+  node {
+    bb_id: 0
+    size: 10
+    out_edges {
+      sink : {
+        function_index: 22
+        bb_index: 1
+      }
+      weight: 15
+      kind: BRANCH_OR_FALLTHROUGH
+    }
+  }
+  node {
+    bb_id: 1
+    size: 8
+    out_edges {
+      sink : {
+        function_index: 22
+        bb_index: 2
+      }
+      weight: 15
+      kind: BRANCH_OR_FALLTHROUGH
+    }
+    out_edges {
+      sink : {
+        function_index: 22
+        bb_index: 3
+      }
+      weight: 10
+      kind: BRANCH_OR_FALLTHROUGH
+    }
+  }
+  node {
+    bb_id: 2
+    size: 4
+    out_edges {
+      sink : {
+        function_index: 22
+        bb_index: 1
+      }
+      weight: 10
+      kind: BRANCH_OR_FALLTHROUGH
+    }
+    out_edges {
+      sink : {
+        function_index: 22
+        bb_index: 4
+      }
+      weight: 14
+      kind: BRANCH_OR_FALLTHROUGH
+    }
+  }
+  node {
+    bb_id: 3
+    size: 6
+    out_edges {
+      sink : {
+        function_index: 22
+        bb_index: 4
+      }
+      weight: 1
+      kind: BRANCH_OR_FALLTHROUGH
+    }
+    out_edges {
+      sink : {
+        function_index: 22
+        bb_index: 2
+      }
+      weight: 9
+      kind: BRANCH_OR_FALLTHROUGH
+    }
+  }
+  node {
+    bb_id: 4
+    size: 2
+  }
+}