hlvm/test/invalid/switch.hlx

<?xml version="1.0" encoding="UTF-8"?>
<hlvm xmlns="http://hlvm.org/src/hlvm/Reader/XML/HLVM.rng" pubid="http://hlvm.org/src/hlvm/test/invalid/return.hlx">
  <bundle id="return">
    <constant id="0" type="s32"><dec>0</dec></constant>
    <constant id="1" type="s32"><dec>1</dec></constant>
    <constant id="2" type="s32"><dec>2</dec></constant>
    <constant id="3" type="s32"><dec>3</dec></constant>
    <constant id="4" type="s32"><dec>4</dec></constant>
    <constant id="5" type="s32"><dec>5</dec></constant>
    <constant id="21" type="s32"><dec>21</dec></constant>
    <constant id="42" type="s32"><dec>42</dec></constant>
    <constant id="3.0" type="f64"><dbl>3.0</dbl></constant>
    <program id="return">
      <block>
        <!-- Switch with non-integral control expression -->
        <switch>
          <ref id="3.0"/>
          <ref id="5"/>
        </switch>
        <!-- Switch with non-result block that requires one -->
        <result>
          <switch>
            <ref id="42"/>
            <ref id="5"/>
            <ref id="21"/>
            <block><ref id="1"/></block>
          </switch>
        </result>
        <!-- Switch with case results that don't agree in type -->
        <switch>
          <ref id="42"/>
          <ref id="5"/>
          <ref id="21"/>
          <block><result><ref id="1"/></result></block>
          <ref id="2"/>
          <ne><ref id="42"/><ref id="21"/></ne>
        </switch>
        <result>
          <ref id="42"/>
        </result>
        <ret/>
      </block>
    </program>
  </bundle>
</hlvm>