39 lines · plain
1// RUN: cir-opt %s --verify-roundtrip | FileCheck %s2!s32i = !cir.int<s, 32>3 4cir.func @s0() {5 %1 = cir.const #cir.int<2> : !s32i6 cir.switch (%1 : !s32i) {7 cir.case (default, []) {8 cir.return9 }10 cir.case (equal, [#cir.int<3> : !s32i]) {11 cir.yield12 }13 cir.case (anyof, [#cir.int<6> : !s32i, #cir.int<7> : !s32i, #cir.int<8> : !s32i]) {14 cir.break15 }16 cir.case (equal, [#cir.int<5> : !s32i]) {17 cir.yield18 }19 cir.yield20 }21 cir.return22}23 24// CHECK: cir.switch (%0 : !s32i) {25// CHECK-NEXT: cir.case(default, []) {26// CHECK-NEXT: cir.return27// CHECK-NEXT: }28// CHECK-NEXT: cir.case(equal, [#cir.int<3> : !s32i]) {29// CHECK-NEXT: cir.yield30// CHECK-NEXT: }31// CHECK-NEXT: cir.case(anyof, [#cir.int<6> : !s32i, #cir.int<7> : !s32i, #cir.int<8> : !s32i]) {32// CHECK-NEXT: cir.break33// CHECK-NEXT: }34// CHECK-NEXT: cir.case(equal, [#cir.int<5> : !s32i]) {35// CHECK-NEXT: cir.yield36// CHECK-NEXT: }37// CHECK-NEXT: cir.yield38// CHECK-NEXT: }39