<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">

On May 23, 2017, at 6:16 AM, Nuno Lopes via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> wrote:<span style="font-family: Calibri, sans-serif; font-size: 11pt;" class=""> </span><br class="">

<div>

<blockquote type="cite" class="">

<div class="">

<div class="WordSection1" style="page: WordSection1; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

<u class="">4) select removal<o:p class=""></o:p></u></div>

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

<span style="font-size: 10pt; font-family: Consolas;" class="">%c = icmp eq %x, C<o:p class=""></o:p></span></div>

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

<span style="font-size: 10pt; font-family: Consolas;" class="">%r = select %c, C, %x<o:p class=""></o:p></span></div>

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

<span style="font-size: 10pt; font-family: Consolas;" class="">  =><o:p class=""></o:p></span></div>

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

<span style="font-size: 10pt; font-family: Consolas;" class="">%r = %x</span></div>

</div>

</div>

</blockquote>

<div><snip></div>

<blockquote type="cite" class="">

<div class="">

<div class="WordSection1" style="page: WordSection1; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

4) the example provided replaces C with %x in case %x=C. C is never poison, but %x might be.</div>

</div>

</div>

</blockquote>

<div><snip></div>

<blockquote type="cite" class="">

<div class="WordSection1" style="page: WordSection1; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

Summary table of what each transformation allows for %z = select %c, %x, %y. Each column is a different alternative of semantics for select:<o:p class=""></o:p></div>

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

<o:p class=""> </o:p></div>

<table class="MsoTableGrid" border="1" cellspacing="0" cellpadding="0" style="border-collapse: collapse; border: none;">

<tbody class="">

<tr class="">

<td width="141" valign="top" style="width: 105.95pt; border: 1pt solid windowtext; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="108" valign="top" style="width: 81.05pt; border-style: solid solid solid none; border-top-color: windowtext; border-right-color: windowtext; border-bottom-color: windowtext; border-top-width: 1pt; border-right-width: 1pt; border-bottom-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

UB if %c poison<o:p class=""></o:p></div>

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

+ conditional poison<o:p class=""></o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: solid solid solid none; border-top-color: windowtext; border-right-color: windowtext; border-bottom-color: windowtext; border-top-width: 1pt; border-right-width: 1pt; border-bottom-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

UB if %c poison + poison if either<br class="">

%x/%y poison<o:p class=""></o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: solid solid solid none; border-top-color: windowtext; border-right-color: windowtext; border-bottom-color: windowtext; border-top-width: 1pt; border-right-width: 1pt; border-bottom-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

Conditional poison<o:p class=""></o:p></div>

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

+ non-det choice if %c poison<o:p class=""></o:p></div>

</td>

<td width="132" valign="top" style="width: 99.25pt; border-style: solid solid solid none; border-top-color: windowtext; border-right-color: windowtext; border-bottom-color: windowtext; border-top-width: 1pt; border-right-width: 1pt; border-bottom-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

Conditional poison + poison if %c poison**<o:p class=""></o:p></div>

</td>

<td width="151" valign="top" style="width: 4cm; border-style: solid solid solid none; border-top-color: windowtext; border-right-color: windowtext; border-bottom-color: windowtext; border-top-width: 1pt; border-right-width: 1pt; border-bottom-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

Poison if any of<br class="">

%c/%x/%y are poison<o:p class=""></o:p></div>

</td>

</tr>

<tr class="">

<td width="141" valign="top" style="width: 105.95pt; border-style: none solid solid; border-right-color: windowtext; border-bottom-color: windowtext; border-left-color: windowtext; border-right-width: 1pt; border-bottom-width: 1pt; border-left-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

SimplifyCFG<o:p class=""></o:p></div>

</td>

<td width="108" valign="top" style="width: 81.05pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="132" valign="top" style="width: 99.25pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="151" valign="top" style="width: 4cm; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

</tr>

<tr class="">

<td width="141" valign="top" style="width: 105.95pt; border-style: none solid solid; border-right-color: windowtext; border-bottom-color: windowtext; border-left-color: windowtext; border-right-width: 1pt; border-bottom-width: 1pt; border-left-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

Select->control-flow<o:p class=""></o:p></div>

</td>

<td width="108" valign="top" style="width: 81.05pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="132" valign="top" style="width: 99.25pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="151" valign="top" style="width: 4cm; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

</tr>

<tr class="">

<td width="141" valign="top" style="width: 105.95pt; border-style: none solid solid; border-right-color: windowtext; border-bottom-color: windowtext; border-left-color: windowtext; border-right-width: 1pt; border-bottom-width: 1pt; border-left-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

Select->arithmetic<o:p class=""></o:p></div>

</td>

<td width="108" valign="top" style="width: 81.05pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="132" valign="top" style="width: 99.25pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="151" valign="top" style="width: 4cm; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

</tr>

<tr class="">

<td width="141" valign="top" style="width: 105.95pt; border-style: none solid solid; border-right-color: windowtext; border-bottom-color: windowtext; border-left-color: windowtext; border-right-width: 1pt; border-bottom-width: 1pt; border-left-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

Select removal<o:p class=""></o:p></div>

</td>

<td width="108" valign="top" style="width: 81.05pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="132" valign="top" style="width: 99.25pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="151" valign="top" style="width: 4cm; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

</tr>

<tr class="">

<td width="141" valign="top" style="width: 105.95pt; border-style: none solid solid; border-right-color: windowtext; border-bottom-color: windowtext; border-left-color: windowtext; border-right-width: 1pt; border-bottom-width: 1pt; border-left-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

Select hoist<o:p class=""></o:p></div>

</td>

<td width="108" valign="top" style="width: 81.05pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="132" valign="top" style="width: 99.25pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="151" valign="top" style="width: 4cm; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

</tr>

<tr class="">

<td width="141" valign="top" style="width: 105.95pt; border-style: none solid solid; border-right-color: windowtext; border-bottom-color: windowtext; border-left-color: windowtext; border-right-width: 1pt; border-bottom-width: 1pt; border-left-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class="">

Easy movement<o:p class=""></o:p></div>

</td>

<td width="108" valign="top" style="width: 81.05pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<o:p class=""> </o:p></div>

</td>

<td width="128" valign="top" style="width: 96.1pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="132" valign="top" style="width: 99.25pt; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span><o:p class=""></o:p></div>

</td>

<td width="151" valign="top" style="width: 4cm; border-style: none solid solid none; border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; padding: 0cm 5.4pt;" class="">

<div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-align: center;" class="">

<span style="font-family: 'Segoe UI Symbol', sans-serif;" class="">✓</span></div>

</td>

</tr>

</tbody>

</table>

</div>

</blockquote>

<br class="">

</div>

<div><br class="">

</div>

Why doesn’t select removal work with the "Conditional poison + non-det choice if %c poison" case?

<div class=""><br class="">

</div>

<div class="">If %x is not poison, then %r is always equal to %x. If %x is poison, then %c is poison and %r is a non-deterministic choice between C (not poison) and %x (poison). So, I would think we can still replace %r with %x because poison is one of its

 possible behaviors.</div>

<div class=""><br class="">

</div>

<div class="">-- </div>

<div class="">Dave Menendez</div>

</body>

</html>