diff --git a/samples/branch_mul/CMakeLists.txt b/samples/branch_mul/CMakeLists.txt
new file mode 100644
index 0000000..5f7b9f8
--- /dev/null
+++ b/samples/branch_mul/CMakeLists.txt
@@ -0,0 +1,33 @@
+sparrow_static_module(
+  NAME
+    branch_mul
+  SRC
+    "branch_mul.mlir"
+  FLAGS
+    "-iree-input-type=tosa"
+    # NB: iree seems to step on the input tensors
+    # without this.
+    "-iree-flow-trace-dispatch-tensors"
+  EMITC
+  RVV_OFF
+)
+
+sparrow_test(
+  NAME
+    branch_mul_emitc_static
+  SRCS
+    "branch_mul.c"
+  DEPS
+    ::branch_mul_emitc
+    ::branch_mul_lib
+    iree::base
+    iree::vm::bytecode::module
+    iree::hal::local::executable_environment
+    iree::hal::local::elf::elf_module
+  LINKOPTS
+     "LINKER:--defsym=__stack_size__=300k"
+     "LINKER:--defsym=__heap_size__=750k"
+     "LINKER:--defsym=__tcm_length__=4M"
+  TESTFILES
+    "branch_mul.run"
+)
diff --git a/samples/branch_mul/branch_mul.c b/samples/branch_mul/branch_mul.c
new file mode 100644
index 0000000..910d655
--- /dev/null
+++ b/samples/branch_mul/branch_mul.c
@@ -0,0 +1,133 @@
+// Copyright 2023 Google, LLC.
+// Copyright 2021 The IREE Authors
+//
+// Licensed under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+// Heavily based on the `runtime/src/iree/hal/local/elf/elf_module_test_main.c`
+// sample from IREE.
+
+#include "iree/base/api.h"
+#include "iree/base/internal/cpu.h"
+#include "iree/hal/local/elf/elf_module.h"
+#include "iree/hal/local/executable_environment.h"
+#include "iree/hal/local/executable_library.h"
+#include "samples/branch_mul/branch_mul_arg0.h"
+#include "samples/branch_mul/branch_mul_arg1.h"
+#include "samples/branch_mul/branch_mul_arg2.h"
+#include "samples/branch_mul/branch_mul_c.h"
+#include "samples/branch_mul/branch_mul_emitc.h"
+#include "samples/branch_mul/branch_mul_expected.h"
+
+static int8_t ret0[3][2][256] = { 0 };
+static iree_status_t run_test() {
+  iree_hal_executable_environment_v0_t environment;
+  iree_hal_executable_environment_initialize(iree_allocator_system(),
+                                             &environment);
+
+  void* query_fn_ptr = &llvm_module_linked_llvm_cpu_library_query;
+
+  union {
+    const iree_hal_executable_library_header_t** header;
+    const iree_hal_executable_library_v0_t* v0;
+  } library;
+  library.header =
+      (const iree_hal_executable_library_header_t**)iree_elf_call_p_ip(
+          query_fn_ptr, IREE_HAL_EXECUTABLE_LIBRARY_VERSION_LATEST,
+          &environment);
+  if (library.header == NULL) {
+    return iree_make_status(IREE_STATUS_NOT_FOUND,
+                            "library header is empty (version mismatch?)");
+  }
+
+  const iree_hal_executable_library_header_t* header = *library.header;
+  if (header->version != IREE_HAL_EXECUTABLE_LIBRARY_VERSION_LATEST) {
+    return iree_make_status(IREE_STATUS_INVALID_ARGUMENT,
+                            "library version error");
+  }
+
+  if (strncmp(header->name, "llvm_module_linked_llvm_cpu",
+              strlen(header->name)) != 0) {
+    return iree_make_status(IREE_STATUS_INVALID_ARGUMENT,
+                            "library name mismatches");
+  }
+
+  if (library.v0->exports.count != 6) {
+    return iree_make_status(IREE_STATUS_INVALID_ARGUMENT,
+                            "entry point count mismatches");
+  }
+
+  size_t binding_lengths[4] = {
+      sizeof(arg0),
+      sizeof(arg1),
+      sizeof(arg2),
+      sizeof(ret0),
+  };
+  void* binding_ptrs[4] = {
+      arg0,
+      arg1,
+      arg2,
+      ret0,
+  };
+  const iree_hal_executable_dispatch_state_v0_t dispatch_state = {
+      .workgroup_size_x = 1,
+      .workgroup_size_y = 1,
+      .workgroup_size_z = 1,
+      .workgroup_count_x = 1,
+      .workgroup_count_y = 1,
+      .workgroup_count_z = 1,
+      .max_concurrency = 1,
+      .binding_count = 1,
+      .binding_lengths = binding_lengths,
+      .binding_ptrs = binding_ptrs,
+  };
+  const iree_hal_executable_workgroup_state_v0_t workgroup_state = {
+      .workgroup_id_x = 0,
+      .workgroup_id_y = 0,
+      .workgroup_id_z = 0,
+      .processor_id = iree_cpu_query_processor_id(),
+  };
+  int ret = iree_elf_call_i_ppp((const void*)library.v0->exports.ptrs[5],
+                                (void*)&environment, (void*)&dispatch_state,
+                                (void*)&workgroup_state);
+  if (ret != 0) {
+    return iree_make_status(IREE_STATUS_INTERNAL,
+                            "dispatch function returned failure: %d", ret);
+  }
+
+  int mismatch_count = 0;
+  iree_status_t status = iree_ok_status();
+  for (int i = 0; i < 3; ++i) {
+    for (int j = 0; j < 2; ++j) {
+      for (int k = 0; k < 256; ++k) {
+        int8_t out = ret0[i][j][k];
+        int8_t expect = expected[i][j][k];
+        if (out != expect) {
+          mismatch_count++;
+          fprintf(stdout, "mismatch at [%d][%d][%d] %x != %x\n", i, j, k, out,
+                  expect);
+          fprintf(stdout, "ins: %x %x %x\n", arg0[i][j][k], arg1[k],
+                  arg2[i][j][k]);
+        }
+      }
+    }
+  }
+  if (mismatch_count) {
+    status = iree_make_status(
+        IREE_STATUS_INTERNAL,
+        "%d mismatches between actual and expected output", mismatch_count);
+  }
+
+  return status;
+}
+
+int main() {
+  const iree_status_t result = run_test();
+  int ret = (int)iree_status_code(result);
+  if (!iree_status_is_ok(result)) {
+    iree_status_fprint(stderr, result);
+    iree_status_free(result);
+  }
+  return ret;
+}
diff --git a/samples/branch_mul/branch_mul.mlir b/samples/branch_mul/branch_mul.mlir
new file mode 100644
index 0000000..826920b
--- /dev/null
+++ b/samples/branch_mul/branch_mul.mlir
Binary files differ
diff --git a/samples/branch_mul/branch_mul.run b/samples/branch_mul/branch_mul.run
new file mode 100644
index 0000000..5f8c701
--- /dev/null
+++ b/samples/branch_mul/branch_mul.run
@@ -0,0 +1 @@
+// RUN: ${TEST_RUNNER_CMD} %S/branch_mul_emitc_static
diff --git a/samples/branch_mul/branch_mul_arg0.h b/samples/branch_mul/branch_mul_arg0.h
new file mode 100644
index 0000000..59aeca6
--- /dev/null
+++ b/samples/branch_mul/branch_mul_arg0.h
@@ -0,0 +1,162 @@
+#ifndef DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG0_H_
+#define DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG0_H_
+
+int32_t arg0[3][2][256] = {
+    {{49163, 39296, 47490, 46186, 48142, 35193, 34298, 38115, 40865, 31744,
+      37957, 36338, 27958, 25986, -2445, 33464, 33996, 35141, 31692, 41384,
+      34695, 27280, 38186, 38103, 33810, 51195, 35215, 35597, 47560, 41230,
+      22883, 32145, 36772, 51865, 57408, 43500, 31464, 41112, 32753, 56186,
+      48838, 45257, 40447, 39930, 53540, 38016, 36552, 48644, 33656, 37770,
+      46227, 37636, 39103, 38740, 39254, 31003, 45361, 47539, 36883, 30846,
+      41018, 35664, 48196, 25437, 35559, 38892, 46667, 36407, 46496, 31782,
+      32274, 35295, 41009, 44750, 27384, 45100, 19412, 47392, 36107, 30351,
+      60205, 45476, 16420, 40184, 42052, 37309, 30727, 36992, 52433, 25192,
+      37577, 41866, 48061, 33515, 31908, 33464, 40468, 31160, 41293, 43578,
+      27059, 25121, 47052, 40806, 43767, 33729, 48898, 31331, 29416, 42965,
+      42500, 50930, 39955, 26024, 67928, 28831, 39769, 32954, 29182, 48404,
+      51369, 33092, 31618, -2835, 44458, 34051, 40349, 44464, 40864, 33721,
+      42162, 39482, 48241, 37396, 41366, 39252, 49384, 34136, 16768, 49536,
+      52212, 49248, 39171, 43546, 51122, 39533, 40806, 42641, 37108, 32853,
+      50297, 40942, 43596, 30535, 32615, 57834, 33792, 42975, 32657, 45319,
+      31137, 43133, 55266, 43204, 34917, 32533, 42746, 34833, 38105, 24267,
+      37612, 29619, 37552, 29783, 31186, 46877, 33083, 61460, 44698, 39925,
+      48017, 19360, 36326, 33024, 48174, 35613, 60819, 36330, 35866, 51863,
+      28726, 35482, 36141, 39092, 34034, 36807, 48338, 29582, 27196, 29380,
+      53076, 51486, 40372, 33882, 57728, 43467, 41643, 34126, 43283, 43451,
+      41347, 47527, 43652, 42938, 55279, 322,   48551, 78419, 43094, 29107,
+      28197, 50348, 50604, 49348, 31840, 39827, 30541, 47429, 34163, 50816,
+      40669, 28671, 38825, 34171, 35277, 48542, 24021, 48650, 33677, 24756,
+      39333, 43658, 36864, 29332, 33020, 35668, 45411, 32548, 45977, 38670,
+      44452, 25719, 45411, 32546, 28335, 64384},
+     {39423, 38393, 43015, 45737, 48976, 28692, 34463, 39097, 48186, 35748,
+      40334, 38528, 30512, 19837, -8042, 39234, 38264, 36412, 33611, 46687,
+      34995, 26438, 44218, 40274, 39072, 64928, 33873, 38464, 40556, 46130,
+      18335, 33049, 31110, 52828, 45741, 44787, 32712, 45874, 40117, 56704,
+      52232, 45824, 39927, 41344, 47478, 38016, 40176, 51428, 31135, 44386,
+      46976, 36539, 43921, 38879, 43758, 24214, 46336, 36528, 44421, 36700,
+      43864, 36283, 49152, 20548, 28272, 40704, 49881, 36174, 48488, 35725,
+      36182, 34670, 44870, 46976, 31335, 44612, 12075, 48034, 36736, 33823,
+      52400, 47057, 14674, 39853, 45569, 37504, 37760, 36464, 47757, 23352,
+      35689, 41414, 48256, 31804, 35242, 35772, 47048, 32000, 38043, 47362,
+      29600, 32513, 42571, 40802, 35084, 36976, 50304, 35480, 34850, 45095,
+      42488, 51360, 42240, 31734, 56685, 30948, 42854, 34944, 22855, 49152,
+      42360, 33184, 33660, -1803, 47096, 37888, 42756, 31066, 37016, 38405,
+      44894, 44815, 47164, 41068, 44416, 40902, 50792, 28954, 13122, 49536,
+      52608, 49252, 41604, 41576, 51118, 42929, 44103, 44765, 40791, 36859,
+      34444, 41600, 44252, 23865, 33876, 53343, 33792, 44237, 34081, 48005,
+      32700, 44976, 56064, 33994, 35004, 24601, 46640, 32836, 42523, 31841,
+      38601, 32044, 33496, 36600, 33382, 37879, 35718, 52996, 30864, 46996,
+      49664, 21386, 41978, 45952, 44379, 40704, 61046, 38656, 34628, 44897,
+      33747, 35269, 42240, 34365, 35628, 37744, 50432, 34730, 32841, 28182,
+      55040, 47100, 41473, 34210, 57728, 44766, 39268, 35839, 45376, 45996,
+      42496, 49672, 46095, 48128, 56251, 5248,  50058, 69076, 45216, 32512,
+      30052, 47204, 47004, 45311, 33854, 41519, 18473, 49920, 37856, 42726,
+      42892, 32141, 45488, 38875, 36932, 51200, 22497, 48896, 26393, 9373,
+      51696, 45800, 36864, 27625, 25413, 41078, 48332, 35200, 29367, 43403,
+      48468, 26368, 36375, 20366, 22391, 64384}},
+    {{49408, 39296, 47393, 47104, 47031, 35885, 34858, 38156, 41607, 32389,
+      37798, 35086, 25839, 25325, -2499, 30329, 37974, 35465, 30449, 38529,
+      33227, 21832, 37449, 38334, 32985, 50980, 33671, 35513, 48375, 41991,
+      19693, 32297, 36129, 52027, 57685, 42197, 32557, 43993, 28721, 55520,
+      48792, 45312, 36673, 40261, 52110, 38016, 34758, 46238, 32894, 40776,
+      46391, 32856, 38429, 38956, 41380, 30844, 44941, 47824, 31156, 29754,
+      44164, 35611, 46172, 20196, 35415, 39426, 43094, 31594, 42276, 30332,
+      30465, 33647, 40292, 42817, 29325, 45382, 19002, 47512, 35367, 28626,
+      59884, 45723, 16149, 41275, 43755, 37309, 29783, 36992, 52565, 24175,
+      38272, 44301, 47866, 37114, 29939, 32428, 43234, 31118, 42911, 43190,
+      23985, 23150, 47790, 40832, 45308, 33285, 48553, 36625, 27912, 43235,
+      43555, 49846, 38773, 21231, 68238, 29786, 39849, 32937, 29467, 47940,
+      51717, 32945, 32291, -8118, 46904, 32790, 40690, 44996, 42433, 32484,
+      39982, 36023, 48088, 35080, 39772, 38072, 48115, 36585, 16768, 49536,
+      52168, 49408, 38978, 44845, 51200, 45443, 40530, 40855, 37012, 29375,
+      51645, 39738, 43331, 30883, 32018, 56151, 33792, 41787, 34591, 44716,
+      31645, 43165, 52260, 46460, 35328, 31548, 45854, 37680, 36589, 24687,
+      38512, 28428, 37255, 30302, 28888, 42529, 35452, 61208, 44358, 36399,
+      47519, 35217, 35427, 25280, 48408, 34002, 60933, 35198, 32942, 51960,
+      28844, 33050, 35976, 39168, 34420, 39976, 49567, 28298, 27555, 32538,
+      52952, 51240, 41345, 34816, 57728, 42234, 40073, 34621, 41862, 42005,
+      40871, 48366, 42779, 41998, 54797, -315,  48873, 78464, 42743, 28371,
+      27216, 49784, 51840, 46715, 33863, 39851, 31298, 45982, 34144, 50816,
+      40418, 26212, 37847, 32243, 35290, 47962, 26563, 48896, 34560, 25120,
+      35238, 44036, 36864, 29886, 33985, 36014, 45181, 31756, 46986, 35841,
+      44107, 25475, 46096, 29590, 26978, 64318},
+     {40574, 37910, 42755, 47104, 47976, 29366, 34902, 39272, 50533, 38069,
+      39892, 38528, 30008, 19080, -6788, 39588, 41147, 36480, 33499, 46071,
+      34118, 24363, 44306, 40300, 39264, 64021, 32644, 38105, 40941, 46298,
+      16078, 33280, 32444, 52992, 46594, 43701, 33024, 47310, 40556, 56704,
+      52736, 45824, 34027, 41344, 47298, 38016, 39752, 50168, 30426, 45574,
+      46976, 34390, 44086, 38787, 44288, 22623, 46336, 37668, 43034, 36844,
+      45184, 36120, 49152, 17718, 29811, 40704, 48950, 30258, 47062, 35261,
+      33551, 34735, 44666, 46262, 32480, 44027, 12092, 47768, 36736, 33406,
+      51922, 47084, 14813, 41054, 46447, 37504, 37760, 36992, 49266, 23758,
+      38233, 44588, 48256, 35247, 34770, 35704, 48306, 32000, 38294, 47512,
+      28226, 33038, 41801, 40832, 36367, 36868, 50304, 38648, 34954, 45312,
+      43469, 50557, 42240, 30794, 57175, 31138, 43448, 34944, 23667, 49152,
+      38338, 33121, 32547, -2249, 48873, 37888, 42789, 31696, 35574, 38528,
+      43602, 43651, 47411, 41216, 44416, 41669, 50392, 30393, 13242, 49536,
+      52608, 49408, 41870, 43608, 51200, 45775, 44140, 42893, 41042, 34947,
+      33208, 41536, 44497, 25071, 33626, 52770, 33792, 43565, 35045, 47866,
+      32868, 45338, 55768, 36085, 35328, 24076, 47706, 35592, 42040, 30743,
+      39098, 33714, 35055, 37640, 33103, 34714, 37638, 52997, 30132, 47824,
+      49664, 30293, 41795, 45952, 44390, 40704, 61255, 38542, 35641, 46070,
+      33989, 34212, 42240, 33669, 35968, 40586, 50432, 34479, 33924, 29519,
+      55040, 46878, 41672, 34816, 57728, 43891, 38806, 36348, 44905, 46122,
+      42496, 50050, 45568, 48128, 56257, 5248,  50304, 69356, 44405, 32512,
+      30380, 46035, 48872, 43699, 34299, 43057, 19332, 49920, 38332, 43036,
+      43537, 32458, 45377, 38435, 36992, 51200, 24367, 48896, 26233, 7912,
+      51647, 45838, 36864, 26613, 26307, 41344, 48619, 35108, 29374, 43162,
+      48278, 26368, 36097, 18908, 20944, 64384}},
+    {{49408, 28700, 50039, 39018, 41779, 32473, 26002, 31146, 44096, 24547,
+      39771, 27713, 36384, 27611, -1900, 39822, 26297, 27229, 23953, 34743,
+      22570, 17197, 35407, 32188, 25711, 54612, 42667, 27284, 48740, 35649,
+      27791, 22898, 40323, 40719, 61580, 28701, 20525, 40550, 20920, 47770,
+      42947, 33804, 35681, 25551, 54870, 31359, 29202, 40523, 35341, 35916,
+      37404, 42542, 33515, 33803, 38434, 34214, 37577, 47869, 40694, 23639,
+      35210, 26704, 37581, 30688, 39032, 30094, 34092, 33641, 37036, 36141,
+      27961, 23879, 35895, 37018, 22504, 47751, 20012, 41737, 30664, 23664,
+      60144, 36514, 18024, 45110, 40914, 29092, 25954, 32037, 53294, 26150,
+      38272, 34957, 33553, 38528, 26270, 26074, 43817, 20729, 41589, 45252,
+      31408, 15195, 48948, 26520, 48481, 27771, 35607, 26850, 37740, 37617,
+      33713, 47243, 29066, 18436, 68352, 21218, 33250, 24854, 32913, 41334,
+      52224, 25790, 35434, -3714, 45928, 28677, 23685, 45234, 43206, 29348,
+      33691, 31043, 51298, 30677, 31880, 22078, 42592, 39088, 16768, 38171,
+      39514, 37475, 33617, 45440, 40712, 34123, 35528, 34008, 30726, 20998,
+      52748, 28514, 31881, 32768, 21545, 59108, 24521, 36611, 25642, 37142,
+      22328, 44896, 55782, 49152, 27889, 33135, 39124, 40017, 32388, 24226,
+      29379, 22634, 40584, 36396, 22467, 48188, 37273, 61568, 45176, 29386,
+      38909, 33827, 28913, 25547, 48640, 34473, 53250, 30396, 19837, 52464,
+      25481, 32263, 35082, 39168, 25621, 42784, 41739, 22875, 24046, 37952,
+      41021, 52623, 28885, 27292, 47483, 42468, 42351, 27593, 33760, 33850,
+      37008, 40911, 37570, 46232, 47468, -2582, 38462, 78464, 30743, 22451,
+      34296, 52356, 46935, 51086, 28538, 44617, 31488, 35531, 25956, 50816,
+      34563, 18354, 34567, 29169, 28427, 36499, 29696, 39576, 34560, 25600,
+      48171, 36013, 24882, 31360, 34619, 29668, 40660, 34946, 45604, 32398,
+      43725, 15965, 44813, 34444, 30713, 39788},
+     {46914, 29749, 48724, 40208, 45116, 33006, 31555, 36472, 51525, 33070,
+      40494, 35260, 37152, 25864, -2764, 43304, 33855, 33906, 31603, 42664,
+      28821, 24023, 43396, 38160, 35669, 79400, 42654, 34351, 46688, 42350,
+      26698, 29297, 40104, 47834, 58443, 36112, 26647, 45440, 33884, 55224,
+      49499, 37154, 33962, 32663, 53698, 34056, 37384, 47210, 34384, 43432,
+      43239, 43160, 41908, 36964, 42503, 31562, 43154, 43927, 47080, 33185,
+      36568, 31036, 45609, 30120, 38014, 37130, 43787, 30664, 44575, 38004,
+      30028, 29665, 42538, 44154, 29520, 46973, 17972, 45724, 35626, 31828,
+      58344, 43344, 17772, 45180, 45232, 33904, 34822, 31584, 52392, 26252,
+      38272, 39148, 41548, 37475, 33404, 32950, 48232, 28704, 39243, 47872,
+      32408, 27557, 46984, 31539, 45160, 34564, 44653, 32480, 38752, 43166,
+      37270, 49715, 37708, 27563, 66138, 27856, 40208, 31776, 31032, 46562,
+      48493, 30590, 36417, 1808,  49173, 35127, 32227, 38268, 41020, 36641,
+      40414, 41387, 51358, 38811, 39776, 32074, 48072, 37312, 15679, 44874,
+      46264, 44767, 39324, 45224, 46497, 39205, 41772, 39290, 38482, 30467,
+      46401, 37034, 39098, 31136, 28134, 59265, 30519, 42088, 31798, 44772,
+      28444, 45440, 56064, 46036, 32370, 31149, 44340, 39453, 39468, 30337,
+      36140, 28626, 40048, 38144, 31006, 45344, 38016, 58944, 39351, 41653,
+      46115, 35851, 37363, 42590, 47424, 40392, 58170, 35882, 28954, 50984,
+      32406, 32889, 40986, 34613, 32507, 41539, 47597, 31653, 32175, 38008,
+      48531, 51311, 32949, 31752, 53644, 43024, 42280, 34198, 40510, 42202,
+      41204, 46648, 43656, 48128, 53800, 4688,  45986, 76168, 37297, 30336,
+      36003, 51231, 45184, 50220, 32252, 45751, 27142, 44341, 33960, 48416,
+      41169, 26343, 42879, 36488, 34472, 45177, 28544, 44568, 31937, 19960,
+      53209, 42418, 29080, 30075, 32590, 37886, 45749, 35820, 33766, 41844,
+      47480, 22113, 40931, 31528, 28850, 52826}}};
+
+#endif  // DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG0_H_
diff --git a/samples/branch_mul/branch_mul_arg1.h b/samples/branch_mul/branch_mul_arg1.h
new file mode 100644
index 0000000..05ec099
--- /dev/null
+++ b/samples/branch_mul/branch_mul_arg1.h
@@ -0,0 +1,28 @@
+#ifndef DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG1_H_
+#define DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG1_H_
+
+int32_t arg1[256] = {
+    -386, -307, -400, -368, -387, -361, -274, -309, -467, -312, -318, -301,
+    -299, -227, 14,   -353, -343, -285, -266, -382, -277, -295, -370, -335,
+    -311, -482, -369, -304, -382, -364, -242, -260, -333, -414, -489, -355,
+    -258, -370, -318, -443, -412, -358, -367, -323, -439, -297, -323, -406,
+    -281, -359, -367, -366, -347, -311, -346, -275, -362, -377, -386, -290,
+    -353, -288, -384, -271, -314, -318, -393, -301, -380, -309, -313, -307,
+    -363, -377, -255, -376, -159, -383, -287, -276, -473, -398, -147, -365,
+    -368, -293, -295, -289, -417, -212, -299, -352, -377, -301, -291, -280,
+    -397, -250, -372, -379, -270, -281, -388, -319, -381, -290, -393, -316,
+    -309, -354, -347, -423, -330, -285, -534, -257, -341, -273, -261, -384,
+    -408, -267, -314, -45,  -393, -296, -336, -354, -338, -301, -356, -379,
+    -409, -322, -347, -346, -399, -311, -131, -387, -411, -386, -328, -355,
+    -400, -374, -346, -351, -323, -311, -418, -325, -349, -256, -276, -480,
+    -264, -392, -276, -380, -262, -355, -438, -384, -276, -264, -373, -317,
+    -338, -292, -315, -284, -320, -298, -274, -385, -297, -481, -362, -377,
+    -388, -355, -336, -359, -380, -318, -485, -302, -288, -413, -276, -313,
+    -330, -306, -281, -344, -394, -283, -283, -325, -430, -414, -328, -272,
+    -451, -372, -342, -298, -357, -363, -332, -392, -368, -376, -449, -41,
+    -393, -613, -371, -254, -296, -417, -405, -412, -279, -362, -246, -390,
+    -300, -397, -341, -287, -363, -315, -289, -400, -232, -382, -270, -200,
+    -416, -359, -288, -250, -273, -323, -384, -284, -372, -359, -384, -206,
+    -385, -284, -247, -503};
+
+#endif  // DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG1_H_
diff --git a/samples/branch_mul/branch_mul_arg2.h b/samples/branch_mul/branch_mul_arg2.h
new file mode 100644
index 0000000..19e34e8
--- /dev/null
+++ b/samples/branch_mul/branch_mul_arg2.h
@@ -0,0 +1,163 @@
+#ifndef DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG2_H_
+#define DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG2_H_
+
+int32_t arg2[3][2][256] = {
+    {{-1147, -1152, -1059, -1130, -1113, -887,  -1130, -1109, -736,  -910,
+      -1079, -1099, -845,  -1035, -1126, -853,  -883,  -1119, -1087, -962,
+      -1125, -838,  -914,  -1021, -973,  -937,  -881,  -1065, -1118, -1010,
+      -866,  -1118, -983,  -1123, -1051, -1103, -1106, -990,  -931,  -1138,
+      -1048, -1138, -991,  -1111, -1090, -1152, -1027, -1068, -1086, -934,
+      -1133, -932,  -1013, -1123, -1016, -1033, -1123, -1137, -821,  -992,
+      -1034, -1119, -1125, -845,  -1010, -1105, -1069, -1087, -1088, -924,
+      -921,  -1036, -1010, -1080, -1018, -1065, -1124, -1107, -1135, -1014,
+      -1144, -1022, -1091, -970,  -1016, -1147, -970,  -1152, -1129, -1098,
+      -1134, -1072, -1147, -1011, -990,  -1091, -899,  -1132, -999,  -1022,
+      -919,  -845,  -1084, -1151, -1016, -1061, -1114, -909,  -869,  -1084,
+      -1106, -1058, -1084, -830,  -1141, -1023, -1045, -1094, -1016, -1130,
+      -1132, -1124, -902,  -492,  -984,  -1057, -1090, -1133, -1083, -1029,
+      -1058, -937,  -1053, -1049, -1072, -1015, -1104, -998,  -1152, -1152,
+      -1143, -1148, -1075, -1099, -1150, -929,  -1052, -1086, -1042, -951,
+      -1069, -1131, -1123, -1085, -1069, -1047, -1152, -990,  -1077, -1070,
+      -1088, -1082, -1130, -990,  -1141, -1108, -1016, -969,  -1006, -754,
+      -1082, -945,  -1057, -927,  -1035, -1103, -1020, -1149, -1112, -924,
+      -1110, -481,  -964,  -823,  -1138, -1016, -1122, -1095, -1120, -1128,
+      -959,  -1011, -1002, -1150, -1099, -957,  -1094, -955,  -908,  -823,
+      -1105, -1110, -1115, -1124, -1152, -1044, -1094, -1029, -1089, -1070,
+      -1116, -1081, -1063, -1017, -1088, -1028, -1107, -1151, -1046, -1063,
+      -884,  -1080, -1118, -1063, -1036, -973,  -1111, -1084, -1015, -1152,
+      -1077, -894,  -940,  -965,  -1100, -1071, -972,  -1146, -1131, -1137,
+      -792,  -1085, -1152, -1078, -1078, -1009, -1051, -1054, -1106, -965,
+      -1020, -1135, -1061, -1023, -1033, -1152},
+     {-921,  -1131, -920,  -1117, -1138, -704,  -1134, -1139, -897,  -1049,
+      -1141, -1152, -921,  -868,  -952,  -1003, -1017, -1150, -1137, -1092,
+      -1140, -809,  -1070, -1065, -1129, -947,  -798,  -1140, -946,  -1141,
+      -774,  -1145, -854,  -1148, -752,  -1132, -1144, -1120, -1134, -1152,
+      -1140, -1152, -970,  -1152, -944,  -1152, -1125, -1140, -1015, -1104,
+      -1152, -873,  -1137, -1130, -1136, -851,  -1152, -858,  -1018, -1140,
+      -1119, -1119, -1152, -698,  -819,  -1152, -1143, -1082, -1148, -1055,
+      -1041, -1022, -1104, -1109, -1119, -1051, -906,  -1127, -1152, -1103,
+      -950,  -1070, -1047, -950,  -1112, -1152, -1152, -1136, -1009, -1046,
+      -1085, -1058, -1152, -973,  -1093, -1150, -1061, -1152, -913,  -1125,
+      -1007, -1069, -965,  -1151, -786,  -1148, -1152, -1014, -1031, -1146,
+      -1106, -1099, -1152, -1008, -929,  -1092, -1132, -1152, -831,  -1152,
+      -923,  -1124, -960,  -877,  -1043, -1152, -1143, -787,  -978,  -1149,
+      -1133, -1073, -1021, -1148, -1152, -1055, -1145, -876,  -1050, -1152,
+      -1152, -1148, -1142, -1047, -1150, -1028, -1147, -1147, -1139, -1078,
+      -844,  -1152, -1140, -879,  -1107, -978,  -1152, -1016, -1113, -1137,
+      -1120, -1138, -1152, -744,  -1141, -880,  -1123, -954,  -1128, -992,
+      -1110, -1023, -957,  -1102, -1102, -876,  -1082, -931,  -802,  -1117,
+      -1152, -533,  -1123, -1152, -1042, -1152, -1128, -1152, -1084, -964,
+      -1108, -1017, -1152, -1021, -1142, -978,  -1152, -1110, -1065, -789,
+      -1152, -996,  -1128, -1134, -1152, -1078, -1022, -1084, -1144, -1140,
+      -1152, -1140, -1127, -1152, -1118, -1152, -1146, -932,  -1099, -1152,
+      -933,  -994,  -1028, -958,  -1090, -1028, -771,  -1152, -1136, -948,
+      -1132, -1013, -1127, -1106, -1150, -1152, -950,  -1152, -965,  -868,
+      -1108, -1148, -1152, -1027, -890,  -1145, -1132, -1122, -730,  -1078,
+      -1134, -1152, -823,  -680,  -871,  -1152}},
+    {{-1152, -1152, -1066, -1152, -1083, -899,  -1146, -1111, -741,  -950,
+      -1077, -1067, -788,  -1010, -1127, -779,  -993,  -1127, -1052, -888,
+      -1078, -678,  -892,  -1029, -938,  -933,  -854,  -1066, -1139, -1028,
+      -741,  -1123, -971,  -1127, -1058, -1079, -1139, -1062, -812,  -1120,
+      -1042, -1140, -902,  -1116, -1059, -1152, -981,  -1012, -1064, -1005,
+      -1137, -807,  -995,  -1128, -1073, -1030, -1111, -1143, -689,  -966,
+      -1122, -1116, -1071, -684,  -1018, -1119, -980,  -938,  -986,  -877,
+      -872,  -991,  -992,  -1034, -1068, -1076, -1112, -1110, -1115, -965,
+      -1137, -1030, -1084, -991,  -1063, -1147, -946,  -1152, -1131, -1069,
+      -1152, -1133, -1142, -1115, -937,  -1063, -935,  -1131, -1042, -1008,
+      -819,  -800,  -1106, -1152, -1055, -1051, -1105, -1049, -830,  -1091,
+      -1131, -1028, -1051, -693,  -1149, -1048, -1048, -1093, -1031, -1117,
+      -1139, -1121, -919,  86,    -1058, -1025, -1100, -1144, -1127, -998,
+      -1012, -842,  -1054, -991,  -1029, -979,  -1070, -1072, -1152, -1152,
+      -1142, -1152, -1071, -1135, -1152, -1089, -1045, -1042, -1042, -843,
+      -1084, -1097, -1111, -1098, -1049, -1025, -1152, -964,  -1133, -1058,
+      -1102, -1082, -1048, -1077, -1152, -1074, -1099, -1059, -969,  -766,
+      -1106, -921,  -1050, -946,  -964,  -991,  -1086, -1142, -1104, -841,
+      -1098, -900,  -940,  -629,  -1145, -971,  -1124, -1065, -1035, -1130,
+      -971,  -943,  -1000, -1152, -1108, -1025, -1129, -918,  -924,  -901,
+      -1102, -1104, -1137, -1152, -1152, -1013, -1056, -1050, -1057, -1033,
+      -1102, -1104, -1042, -995,  -1076, -1012, -1115, -1152, -1038, -1041,
+      -861,  -1068, -1152, -998,  -1092, -970,  -1142, -1047, -1007, -1152,
+      -1068, -824,  -914,  -904,  -1100, -1053, -1073, -1152, -1152, -1144,
+      -689,  -1097, -1152, -1093, -1112, -1019, -1043, -1033, -1137, -899,
+      -1008, -1128, -1074, -922,  -993,  -1149},
+     {-946,  -1116, -913,  -1152, -1114, -719,  -1147, -1144, -946,  -1106,
+      -1128, -1152, -909,  -843,  -992,  -1012, -1081, -1152, -1133, -1075,
+      -1115, -751,  -1072, -1066, -1135, -959,  -761,  -1131, -956,  -1145,
+      -696,  -1152, -888,  -1152, -773,  -1098, -1152, -1151, -1148, -1152,
+      -1152, -1152, -818,  -1152, -941,  -1152, -1115, -1111, -994,  -1140,
+      -1152, -811,  -1142, -1128, -1152, -806,  -1152, -884,  -984,  -1144,
+      -1152, -1118, -1152, -607,  -856,  -1152, -1120, -909,  -1106, -1050,
+      -974,  -1026, -1099, -1088, -1148, -1035, -907,  -1120, -1152, -1088,
+      -937,  -1071, -1050, -982,  -1135, -1152, -1152, -1152, -1047, -1057,
+      -1151, -1139, -1152, -1068, -1080, -1148, -1087, -1152, -918,  -1127,
+      -963,  -1082, -945,  -1152, -822,  -1145, -1152, -1102, -1033, -1152,
+      -1131, -1083, -1152, -980,  -935,  -1098, -1147, -1152, -859,  -1152,
+      -826,  -1121, -924,  -770,  -1103, -1152, -1143, -805,  -938,  -1152,
+      -1096, -1047, -1031, -1152, -1152, -1078, -1135, -910,  -1054, -1152,
+      -1152, -1152, -1149, -1100, -1152, -1100, -1148, -1093, -1145, -1033,
+      -825,  -1150, -1147, -918,  -1099, -963,  -1152, -1000, -1143, -1133,
+      -1126, -1149, -1144, -796,  -1152, -865,  -1151, -1023, -1109, -957,
+      -1123, -1076, -997,  -1137, -1093, -793,  -1138, -932,  -781,  -1140,
+      -1152, -777,  -1118, -1152, -1042, -1152, -1133, -1149, -1115, -990,
+      -1115, -986,  -1152, -999,  -1152, -1050, -1152, -1103, -1092, -837,
+      -1152, -990,  -1139, -1152, -1152, -1056, -1007, -1100, -1132, -1143,
+      -1152, -1149, -1114, -1152, -1118, -1152, -1152, -940,  -1079, -1152,
+      -941,  -963,  -1074, -916,  -1105, -1068, -798,  -1152, -1150, -956,
+      -1149, -1023, -1124, -1094, -1152, -1152, -1008, -1152, -961,  -843,
+      -1107, -1149, -1152, -998,  -916,  -1152, -1139, -1120, -750,  -1071,
+      -1129, -1152, -813,  -638,  -830,  -1152}},
+    {{-1152, -855,  -1128, -942,  -939,  -796,  -902,  -912,  -762,  -707,
+      -1129, -875,  -1093, -1103, -1148, -1018, -681,  -907,  -891,  -746,
+      -784,  -572,  -823,  -857,  -768,  -724,  -1051, -840,  -1149, -851,
+      -1018, -845,  -1090, -838,  -1134, -726,  -813,  -972,  -606,  -914,
+      -874,  -833,  -860,  -710,  -1125, -976,  -842,  -848,  -1133, -892,
+      -894,  -1052, -866,  -998,  -985,  -1123, -914,  -1143, -936,  -797,
+      -876,  -848,  -846,  -1017, -1122, -872,  -739,  -1001, -839,  -1054,
+      -825,  -737,  -859,  -873,  -902,  -1142, -1142, -963,  -987,  -847,
+      -1142, -765,  -1130, -1106, -983,  -910,  -821,  -1003, -1150, -1123,
+      -1152, -880,  -775,  -1152, -851,  -885,  -957,  -854,  -985,  -1065,
+      -1048, -650,  -1135, -761,  -1145, -911,  -787,  -798,  -1098, -948,
+      -888,  -931,  -801,  -633,  -1152, -822,  -872,  -865,  -1137, -939,
+      -1152, -918,  -1016, -439,  -1033, -898,  -656,  -1150, -1150, -898,
+      -835,  -705,  -1135, -875,  -826,  -539,  -919,  -1134, -1152, -875,
+      -824,  -849,  -916,  -1152, -886,  -776,  -916,  -861,  -876,  -618,
+      -1125, -802,  -796,  -1152, -764,  -1074, -867,  -796,  -894,  -854,
+      -854,  -1135, -1146, -1152, -936,  -1128, -909,  -1135, -848,  -768,
+      -867,  -764,  -1144, -1106, -812,  -1131, -1133, -1152, -1123, -619,
+      -870,  -841,  -765,  -631,  -1152, -981,  -938,  -923,  -661,  -1142,
+      -890,  -931,  -970,  -1152, -884,  -1113, -913,  -781,  -845,  -1057,
+      -801,  -1143, -775,  -935,  -893,  -1017, -1117, -871,  -837,  -823,
+      -1006, -901,  -910,  -1104, -882,  -947,  -845,  -1152, -724,  -867,
+      -1055, -1128, -1017, -1113, -927,  -1103, -1152, -782,  -801,  -1152,
+      -915,  -615,  -826,  -822,  -898,  -785,  -1152, -905,  -1152, -1152,
+      -1032, -884,  -837,  -1134, -1139, -837,  -908,  -1115, -1096, -799,
+      -992,  -868,  -1036, -1084, -1117, -716},
+     {-1094, -873,  -1084, -976,  -1041, -813,  -1049, -1064, -955,  -955,
+      -1146, -1066, -1117, -1062, -1116, -1105, -878,  -1074, -1062, -987,
+      -959,  -744,  -1043, -1026, -1028, -818,  -1030, -1029, -1098, -1051,
+      -1014, -1033, -1086, -1024, -1056, -899,  -970,  -1104, -964,  -1112,
+      -1069, -932,  -818,  -901,  -1097, -1026, -1054, -1039, -1104, -1082,
+      -1051, -1052, -1076, -1075, -1101, -1045, -1066, -1041, -1096, -1037,
+      -930,  -993,  -1056, -1003, -1086, -1053, -991,  -922,  -1041, -1116,
+      -882,  -879,  -1047, -1037, -1074, -1119, -1082, -1069, -1122, -1048,
+      -1097, -967,  -1123, -1108, -1104, -1052, -1074, -1000, -1128, -1126,
+      -1152, -1004, -980,  -1125, -1040, -1067, -1084, -1049, -936,  -1136,
+      -1088, -951,  -1085, -879,  -1064, -1081, -1004, -935,  -1132, -1094,
+      -954,  -1057, -1024, -888,  -1098, -996,  -1066, -1056, -1080, -1082,
+      -1061, -1054, -1041, -975,  -1113, -1081, -870,  -978,  -1084, -1101,
+      -1006, -972,  -1129, -1087, -1028, -826,  -1077, -1088, -1119, -1046,
+      -1002, -1033, -1082, -1146, -1037, -924,  -1084, -1000, -1066, -898,
+      -1040, -1014, -992,  -1101, -947,  -1077, -1053, -958,  -1042, -1053,
+      -983,  -1152, -1152, -1070, -1065, -1073, -1062, -1123, -1046, -955,
+      -1037, -936,  -1128, -1152, -1028, -1056, -1152, -1088, -988,  -967,
+      -1061, -904,  -998,  -1064, -1120, -1144, -1067, -1079, -926,  -1105,
+      -1071, -948,  -1119, -1022, -1051, -1083, -1071, -1017, -1040, -1061,
+      -1011, -1111, -937,  -1062, -1052, -1035, -1108, -1043, -1019, -1040,
+      -1114, -1068, -1062, -1152, -1052, -1136, -1046, -1096, -891,  -1088,
+      -1098, -1097, -990,  -1091, -1044, -1137, -1025, -1013, -1024, -1092,
+      -1085, -849,  -1062, -1044, -1068, -992,  -1116, -1044, -1091, -1058,
+      -1151, -1059, -893,  -1097, -1082, -1061, -1069, -1138, -888,  -1034,
+      -1108, -1037, -935,  -1009, -1066, -917}},
+};
+
+#endif  // DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG2_H_
diff --git a/samples/branch_mul/branch_mul_expected.h b/samples/branch_mul/branch_mul_expected.h
new file mode 100644
index 0000000..c75b61a
--- /dev/null
+++ b/samples/branch_mul/branch_mul_expected.h
@@ -0,0 +1,138 @@
+#ifndef DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_EXPECTED_H_
+#define DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_EXPECTED_H_
+
+const int8_t expected[3][2][256] = {
+    {{0x38, 0x38, 0x37, 0x37, 0x38, 0x32, 0x38, 0x39, 0x26, 0x3c, 0x38, 0x37,
+      0x3d, 0x3e, 0x3a, 0x35, 0x38, 0x37, 0x38, 0x36, 0x39, 0x3e, 0x36, 0x38,
+      0x3b, 0x2b, 0x2e, 0x38, 0x38, 0x37, 0x45, 0x39, 0x3a, 0x38, 0x31, 0x37,
+      0x39, 0x37, 0x39, 0x38, 0x38, 0x38, 0x35, 0x39, 0x36, 0x38, 0x37, 0x37,
+      0x39, 0x37, 0x38, 0x33, 0x37, 0x38, 0x38, 0x39, 0x39, 0x37, 0x37, 0x36,
+      0x39, 0x38, 0x38, 0x43, 0x3b, 0x38, 0x35, 0x39, 0x39, 0x3b, 0x3c, 0x39,
+      0x37, 0x34, 0x36, 0x39, 0x38, 0x38, 0x38, 0x39, 0x38, 0x35, 0x37, 0x39,
+      0x38, 0x38, 0x36, 0x38, 0x38, 0x38, 0x38, 0x37, 0x38, 0x39, 0x3b, 0x37,
+      0x33, 0x37, 0x35, 0x37, 0x3e, 0x3b, 0x38, 0x38, 0x38, 0x38, 0x38, 0x37,
+      0x3a, 0x39, 0x37, 0x39, 0x39, 0x3f, 0x38, 0x3c, 0x38, 0x39, 0x3c, 0x38,
+      0x37, 0x38, 0x3b, 0x88, 0x3a, 0x36, 0x36, 0x37, 0x39, 0x37, 0x38, 0x33,
+      0x36, 0x38, 0x38, 0x38, 0x38, 0x38, 0x38, 0x38, 0x38, 0x38, 0x38, 0x38,
+      0x38, 0x38, 0x39, 0x39, 0x37, 0x3a, 0x37, 0x39, 0x38, 0x39, 0x3a, 0x39,
+      0x38, 0x32, 0x39, 0x37, 0x38, 0x39, 0x38, 0x38, 0x38, 0x3a, 0x38, 0x3d,
+      0x39, 0x40, 0x37, 0x3d, 0x39, 0x38, 0x3a, 0x35, 0x38, 0x38, 0x37, 0x39,
+      0x38, 0x32, 0x39, 0x34, 0x38, 0x38, 0x37, 0x37, 0x39, 0x37, 0x3b, 0x3b,
+      0x35, 0x38, 0x38, 0x38, 0x38, 0x3b, 0x38, 0x38, 0x37, 0x38, 0x37, 0x39,
+      0x38, 0x37, 0x38, 0x3b, 0x38, 0x38, 0x39, 0x38, 0x37, 0x37, 0x39, 0x36,
+      0x38, 0x38, 0x36, 0x37, 0x39, 0x36, 0x38, 0x38, 0x3a, 0x39, 0x3b, 0x38,
+      0x3c, 0x38, 0x37, 0x40, 0x39, 0x3c, 0x39, 0x3a, 0x3d, 0x38, 0x37, 0x37,
+      0x35, 0x39, 0x38, 0x38, 0x3c, 0x36, 0x38, 0x37, 0x38, 0x36, 0x39, 0x38,
+      0x35, 0x3d, 0x3e, 0x38},
+     {0x31, 0x37, 0x3a, 0x38, 0x38, 0x33, 0x38, 0x38, 0x2d, 0x36, 0x38, 0x38,
+      0x3c, 0x3f, 0x3e, 0x36, 0x35, 0x38, 0x39, 0x38, 0x38, 0x3f, 0x37, 0x3b,
+      0x39, 0x6f, 0x37, 0x38, 0x34, 0x38, 0x3f, 0x38, 0x36, 0x38, 0x2e, 0x38,
+      0x38, 0x36, 0x38, 0x38, 0x38, 0x38, 0x36, 0x38, 0x33, 0x38, 0x37, 0x38,
+      0x39, 0x39, 0x38, 0x38, 0x38, 0x37, 0x38, 0x39, 0x38, 0x34, 0x38, 0x38,
+      0x37, 0x3b, 0x38, 0x46, 0x3a, 0x38, 0x38, 0x39, 0x38, 0x37, 0x39, 0x39,
+      0x39, 0x3a, 0x38, 0x39, 0x3c, 0x38, 0x38, 0x3a, 0x35, 0x34, 0x37, 0x3b,
+      0x38, 0x38, 0x38, 0x38, 0x36, 0x39, 0x37, 0x37, 0x38, 0x37, 0x39, 0x38,
+      0x36, 0x38, 0x34, 0x37, 0x3a, 0x36, 0x37, 0x38, 0x37, 0x38, 0x38, 0x39,
+      0x37, 0x38, 0x37, 0x34, 0x38, 0x3b, 0x27, 0x39, 0x38, 0x38, 0x3f, 0x38,
+      0x31, 0x38, 0x3b, 0x45, 0x3c, 0x38, 0x38, 0x34, 0x39, 0x38, 0x38, 0x34,
+      0x36, 0x38, 0x38, 0x39, 0x38, 0x35, 0x39, 0x38, 0x38, 0x38, 0x38, 0x38,
+      0x38, 0x36, 0x38, 0x38, 0x38, 0x37, 0x11, 0x38, 0x38, 0x3e, 0x39, 0x30,
+      0x38, 0x33, 0x39, 0x38, 0x3a, 0x38, 0x38, 0x38, 0x38, 0x3c, 0x38, 0x36,
+      0x39, 0x3a, 0x37, 0x3a, 0x37, 0x3a, 0x39, 0x32, 0x39, 0x36, 0x2b, 0x38,
+      0x38, 0x32, 0x38, 0x38, 0x37, 0x38, 0x37, 0x38, 0x39, 0x33, 0x38, 0x39,
+      0x38, 0x38, 0x38, 0x39, 0x38, 0x38, 0x37, 0x38, 0x38, 0x37, 0x3a, 0x38,
+      0x38, 0x37, 0x3a, 0x39, 0x38, 0x38, 0x38, 0x38, 0x38, 0x38, 0x38, 0x38,
+      0x38, 0x32, 0x36, 0x38, 0x39, 0x36, 0x37, 0x37, 0x3a, 0x37, 0x3e, 0x38,
+      0x38, 0x35, 0x38, 0x3b, 0x38, 0x39, 0x38, 0x38, 0x39, 0x38, 0x32, 0x1b,
+      0x38, 0x38, 0x38, 0x39, 0x39, 0x38, 0x38, 0x38, 0x2b, 0x39, 0x38, 0x38,
+      0x34, 0x40, 0x3e, 0x38}},
+    {{0x38, 0x38, 0x35, 0x38, 0x38, 0x33, 0x38, 0x39, 0x29, 0x38, 0x37, 0x36,
+      0x3d, 0x40, 0x39, 0x33, 0x38, 0x38, 0x39, 0x35, 0x3b, 0x40, 0x37, 0x38,
+      0x3e, 0x2b, 0x2b, 0x37, 0x38, 0x38, 0x4c, 0x38, 0x39, 0x38, 0x31, 0x35,
+      0x38, 0x38, 0x3b, 0x38, 0x39, 0x38, 0x33, 0x39, 0x35, 0x38, 0x37, 0x35,
+      0x39, 0x39, 0x38, 0x32, 0x37, 0x38, 0x38, 0x39, 0x39, 0x37, 0x32, 0x36,
+      0x38, 0x38, 0x38, 0x46, 0x39, 0x38, 0x34, 0x3d, 0x37, 0x3d, 0x3c, 0x3a,
+      0x37, 0x33, 0x37, 0x38, 0x39, 0x38, 0x38, 0x39, 0x37, 0x34, 0x37, 0x3b,
+      0x38, 0x38, 0x36, 0x38, 0x38, 0x39, 0x38, 0x38, 0x38, 0x38, 0x3b, 0x37,
+      0x3a, 0x37, 0x35, 0x38, 0x41, 0x39, 0x37, 0x38, 0x39, 0x37, 0x38, 0x38,
+      0x39, 0x39, 0x38, 0x39, 0x39, 0x41, 0x38, 0x3c, 0x38, 0x39, 0x3b, 0x38,
+      0x38, 0x38, 0x3c, 0xda, 0x38, 0x36, 0x36, 0x38, 0x38, 0x36, 0x36, 0x33,
+      0x35, 0x37, 0x38, 0x39, 0x38, 0x37, 0x38, 0x38, 0x38, 0x38, 0x38, 0x38,
+      0x38, 0x37, 0x39, 0x38, 0x37, 0x3d, 0x3b, 0x39, 0x39, 0x39, 0x3b, 0x35,
+      0x38, 0x31, 0x38, 0x36, 0x38, 0x3a, 0x38, 0x38, 0x38, 0x3b, 0x38, 0x3b,
+      0x38, 0x40, 0x37, 0x3b, 0x38, 0x37, 0x3c, 0x34, 0x37, 0x38, 0x37, 0x36,
+      0x37, 0x33, 0x39, 0x31, 0x38, 0x38, 0x37, 0x37, 0x3a, 0x38, 0x39, 0x3c,
+      0x35, 0x38, 0x38, 0x3b, 0x38, 0x3c, 0x37, 0x39, 0x37, 0x38, 0x38, 0x38,
+      0x38, 0x37, 0x37, 0x39, 0x36, 0x38, 0x39, 0x38, 0x37, 0x36, 0x39, 0x36,
+      0x38, 0x38, 0x35, 0x38, 0x38, 0x36, 0x38, 0x36, 0x3a, 0x39, 0x39, 0x38,
+      0x3e, 0x38, 0x37, 0x40, 0x39, 0x3e, 0x39, 0x3a, 0x37, 0x38, 0x38, 0x37,
+      0x34, 0x39, 0x38, 0x38, 0x3b, 0x36, 0x38, 0x37, 0x38, 0x34, 0x39, 0x38,
+      0x36, 0x41, 0x3e, 0x38},
+     {0x32, 0x38, 0x3a, 0x38, 0x37, 0x34, 0x38, 0x38, 0x30, 0x37, 0x38, 0x38,
+      0x3c, 0x3f, 0x3d, 0x36, 0x37, 0x38, 0x39, 0x38, 0x38, 0x3f, 0x38, 0x3b,
+      0x38, 0x68, 0x37, 0x38, 0x34, 0x38, 0x42, 0x38, 0x36, 0x38, 0x2e, 0x39,
+      0x38, 0x38, 0x38, 0x38, 0x38, 0x38, 0x35, 0x38, 0x32, 0x38, 0x37, 0x37,
+      0x3a, 0x38, 0x38, 0x39, 0x38, 0x37, 0x38, 0x39, 0x38, 0x35, 0x37, 0x38,
+      0x38, 0x3b, 0x38, 0x48, 0x3b, 0x38, 0x37, 0x3c, 0x39, 0x35, 0x38, 0x39,
+      0x39, 0x3a, 0x38, 0x39, 0x3c, 0x38, 0x38, 0x3a, 0x35, 0x34, 0x37, 0x3b,
+      0x38, 0x38, 0x38, 0x38, 0x37, 0x39, 0x38, 0x38, 0x38, 0x37, 0x39, 0x38,
+      0x37, 0x38, 0x35, 0x38, 0x3b, 0x36, 0x37, 0x38, 0x37, 0x38, 0x38, 0x38,
+      0x37, 0x38, 0x37, 0x33, 0x38, 0x3b, 0x28, 0x39, 0x38, 0x38, 0x3e, 0x38,
+      0x2f, 0x38, 0x3c, 0x57, 0x3a, 0x38, 0x39, 0x34, 0x39, 0x38, 0x39, 0x33,
+      0x36, 0x38, 0x38, 0x39, 0x38, 0x36, 0x39, 0x38, 0x38, 0x38, 0x38, 0x38,
+      0x38, 0x37, 0x38, 0x39, 0x38, 0x36, 0xe,  0x38, 0x38, 0x3d, 0x39, 0x2f,
+      0x38, 0x33, 0x38, 0x38, 0x39, 0x38, 0x38, 0x39, 0x38, 0x3d, 0x38, 0x37,
+      0x3a, 0x3b, 0x37, 0x39, 0x37, 0x38, 0x39, 0x31, 0x39, 0x36, 0x2b, 0x38,
+      0x38, 0x32, 0x38, 0x38, 0x37, 0x38, 0x37, 0x38, 0x39, 0x34, 0x38, 0x39,
+      0x38, 0x39, 0x38, 0x3a, 0x38, 0x38, 0x38, 0x36, 0x38, 0x37, 0x39, 0x38,
+      0x38, 0x37, 0x3a, 0x39, 0x38, 0x38, 0x38, 0x38, 0x37, 0x38, 0x38, 0x38,
+      0x38, 0x32, 0x36, 0x38, 0x3a, 0x36, 0x38, 0x36, 0x3a, 0x37, 0x3d, 0x38,
+      0x38, 0x35, 0x38, 0x3b, 0x38, 0x39, 0x38, 0x38, 0x38, 0x38, 0x32, 0x18,
+      0x38, 0x38, 0x38, 0x3a, 0x38, 0x38, 0x38, 0x38, 0x27, 0x39, 0x38, 0x38,
+      0x35, 0x40, 0x3e, 0x38}},
+    {{0x38, 0x3a, 0x37, 0x36, 0x39, 0x35, 0x39, 0x3a, 0x32, 0x3d, 0x38, 0x35,
+      0x3a, 0x3a, 0x38, 0x36, 0x37, 0x37, 0x36, 0x3c, 0x3c, 0x3d, 0x39, 0x39,
+      0x39, 0x65, 0x34, 0x38, 0x38, 0x39, 0x41, 0x3d, 0x38, 0x35, 0x36, 0x33,
+      0x38, 0x37, 0x3a, 0x37, 0x3b, 0x37, 0x35, 0x3b, 0x36, 0x37, 0x35, 0x37,
+      0x38, 0x36, 0x38, 0x35, 0x36, 0x36, 0x3a, 0x38, 0x38, 0x38, 0x34, 0x36,
+      0x39, 0x3e, 0x37, 0x3d, 0x38, 0x37, 0x33, 0x3c, 0x38, 0x39, 0x38, 0x38,
+      0x39, 0x33, 0x33, 0x38, 0x38, 0x37, 0x38, 0x36, 0x38, 0x37, 0x38, 0x38,
+      0x38, 0x3b, 0x3a, 0x3b, 0x38, 0x38, 0x38, 0x38, 0x34, 0x38, 0x39, 0x39,
+      0x39, 0x37, 0x39, 0x38, 0x3c, 0x2d, 0x38, 0x39, 0x38, 0x36, 0x32, 0x35,
+      0x39, 0x37, 0x33, 0x3e, 0x37, 0x3e, 0x38, 0x3b, 0x38, 0x3b, 0x38, 0x38,
+      0x38, 0x39, 0x39, 0x8e, 0x38, 0x39, 0x33, 0x38, 0x38, 0x39, 0x37, 0x33,
+      0x36, 0x37, 0x36, 0x3a, 0x39, 0x38, 0x38, 0x32, 0x33, 0x34, 0x3a, 0x38,
+      0x35, 0x39, 0x38, 0x37, 0x36, 0x3d, 0x39, 0x37, 0x3a, 0x38, 0x3b, 0x3b,
+      0x3e, 0x36, 0x37, 0x36, 0x37, 0x38, 0x38, 0x38, 0x3b, 0x39, 0x3a, 0x38,
+      0x3a, 0x3d, 0x36, 0x3b, 0x38, 0x38, 0x38, 0x36, 0x38, 0x38, 0x38, 0x3c,
+      0x36, 0x37, 0x39, 0x32, 0x38, 0x38, 0x33, 0x39, 0x3e, 0x38, 0x37, 0x3a,
+      0x36, 0x38, 0x36, 0x39, 0x39, 0x3a, 0x34, 0x37, 0x33, 0x38, 0x3c, 0x3b,
+      0x35, 0x37, 0x37, 0x37, 0x37, 0x36, 0x38, 0x38, 0x35, 0x37, 0x38, 0x37,
+      0x36, 0x38, 0x33, 0x3a, 0x38, 0x37, 0x38, 0x37, 0x3e, 0x38, 0x38, 0x34,
+      0x3b, 0x38, 0x36, 0x40, 0x39, 0x3d, 0x3c, 0x32, 0x38, 0x37, 0x38, 0x38,
+      0x35, 0x38, 0x36, 0x38, 0x39, 0x38, 0x3b, 0x38, 0x38, 0x35, 0x3b, 0x39,
+      0x37, 0x3b, 0x3a, 0xd},
+     {0x36, 0x3c, 0x38, 0x36, 0x36, 0x35, 0x39, 0x39, 0x33, 0x3a, 0x38, 0x38,
+      0x39, 0x39, 0x3a, 0x37, 0x38, 0x3a, 0x3d, 0x37, 0x3b, 0x3f, 0x38, 0x38,
+      0x3a, 0xd1, 0x38, 0x38, 0x37, 0x35, 0x3c, 0x3a, 0x38, 0x36, 0x35, 0x38,
+      0x3a, 0x37, 0x39, 0x38, 0x37, 0x35, 0x35, 0x3b, 0x36, 0x3c, 0x36, 0x35,
+      0x39, 0x38, 0x38, 0x38, 0x3a, 0x38, 0x39, 0x3a, 0x38, 0x37, 0x37, 0x3a,
+      0x36, 0x38, 0x38, 0x3d, 0x39, 0x38, 0x35, 0x3b, 0x38, 0x37, 0x38, 0x3a,
+      0x38, 0x39, 0x37, 0x38, 0x39, 0x37, 0x38, 0x3a, 0x37, 0x34, 0x38, 0x38,
+      0x38, 0x39, 0x38, 0x39, 0x38, 0x38, 0x38, 0x36, 0x36, 0x38, 0x3a, 0x39,
+      0x38, 0x3b, 0x36, 0x38, 0x39, 0x33, 0x37, 0x3c, 0x36, 0x38, 0x37, 0x38,
+      0x38, 0x38, 0x39, 0x33, 0x39, 0x3c, 0x37, 0x3c, 0x37, 0x3a, 0x39, 0x38,
+      0x36, 0x38, 0x3a, 0x45, 0x3a, 0x37, 0x36, 0x35, 0x39, 0x38, 0x39, 0x36,
+      0x37, 0x38, 0x38, 0x37, 0x37, 0x37, 0x39, 0x34, 0x34, 0x37, 0x38, 0x38,
+      0x36, 0x37, 0x38, 0x38, 0x3a, 0x38, 0x29, 0x3b, 0x3a, 0x39, 0x3a, 0x3b,
+      0x3a, 0x33, 0x3b, 0x37, 0x3e, 0x38, 0x38, 0x38, 0x39, 0x39, 0x38, 0x38,
+      0x39, 0x39, 0x38, 0x39, 0x38, 0x38, 0x3b, 0x36, 0x38, 0x37, 0x33, 0x39,
+      0x37, 0x36, 0x38, 0x37, 0x38, 0x38, 0x34, 0x38, 0x3a, 0x37, 0x38, 0x3a,
+      0x38, 0x39, 0x39, 0x38, 0x39, 0x3a, 0x38, 0x37, 0x31, 0x37, 0x33, 0x39,
+      0x36, 0x37, 0x39, 0x38, 0x37, 0x37, 0x39, 0x36, 0x37, 0x38, 0x38, 0x38,
+      0x36, 0x37, 0x35, 0x39, 0x39, 0x37, 0x35, 0x37, 0x3b, 0x38, 0x3a, 0x36,
+      0x3a, 0x37, 0x38, 0x3c, 0x37, 0x39, 0x3b, 0x37, 0x39, 0x36, 0x36, 0x2d,
+      0x38, 0x38, 0x41, 0x39, 0x39, 0x38, 0x36, 0x38, 0x23, 0x39, 0x38, 0x38,
+      0x36, 0x3a, 0x3a, 0x29}}};
+
+#endif  // DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_EXPECTED_H_