llvm/test/CodeGen/SPIRV/branching/Two_OpSwitch_same_register.ll

   1 ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
   2 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   3
   4 ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
   5 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   6
   7 define spir_kernel void @test_two_switch_same_register(i32 %value) {
   8 ; CHECK-SPIRV:      OpSwitch %[[#REGISTER:]] %[[#DEFAULT1:]] 1 %[[#CASE1:]] 0 %[[#CASE2:]]
   9   switch i32 %value, label %default1 [
  10     i32 1, label %case1
  11     i32 0, label %case2
  12   ]
  13
  14 case1:
  15   br label %default1
  16
  17 case2:
  18   br label %default1
  19
  20 default1:
  21   switch i32 %value, label %default2 [
  22     i32 0, label %case3
  23     i32 1, label %case4
  24   ]
  25
  26 case3:
  27   br label %default2
  28
  29 case4:
  30   br label %default2
  31
  32 default2:
  33   ret void
  34
  35 ; CHECK-SPIRV:      %[[#CASE1]] = OpLabel
  36 ; CHECK-SPIRV-NEXT: OpBranch %[[#DEFAULT1]]
  37
  38 ; CHECK-SPIRV:      %[[#CASE2]] = OpLabel
  39 ; CHECK-SPIRV-NEXT: OpBranch %[[#DEFAULT1]]
  40
  41 ; CHECK-SPIRV:      %[[#DEFAULT1]] = OpLabel
  42 ; CHECK-SPIRV-NEXT:      OpSwitch %[[#REGISTER]] %[[#DEFAULT2:]] 0 %[[#CASE3:]] 1 %[[#CASE4:]]
  43
  44 ; CHECK-SPIRV:      %[[#CASE3]] = OpLabel
  45 ; CHECK-SPIRV-NEXT: OpBranch %[[#DEFAULT2]]
  46
  47 ; CHECK-SPIRV:      %[[#CASE4:]] = OpLabel
  48 ; CHECK-SPIRV-NEXT: OpBranch %[[#DEFAULT2]]
  49
  50 ; CHECK-SPIRV:      %[[#DEFAULT2]] = OpLabel
  51 ; CHECK-SPIRV-NEXT: OpReturn
  52 }