78 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir2// RUN: cir-opt --mlir-print-ir-before=cir-flatten-cfg --cir-flatten-cfg %t.cir -o %t.flattened.before.cir 2> %t.before3// RUN: FileCheck --input-file=%t.before %s --check-prefix=BEFORE4// RUN: cir-opt --mlir-print-ir-after=cir-flatten-cfg --cir-flatten-cfg %t.cir -o %t.flattened.after.cir 2> %t.after5// RUN: FileCheck --input-file=%t.after %s --check-prefix=AFTER6 7void swf(int a) {8 switch (int b = 3; a) {9 case 3:10 b = b * 2;11 break;12 case 4 ... 5:13 b = b * 3;14 break;15 default:16 break;17 }18 19}20 21// BEFORE: cir.func{{.*}} @_Z3swfi22// BEFORE: %[[VAR_B:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["b", init] {alignment = 4 : i64}23// BEFORE: %[[CONST_3:.*]] = cir.const #cir.int<3> : !s32i24// BEFORE: cir.switch (%[[COND:.*]] : !s32i) {25// BEFORE: cir.case(equal, [#cir.int<3> : !s32i]) {26// BEFORE: %[[LOAD_B_EQ:.*]] = cir.load{{.*}} %[[VAR_B]] : !cir.ptr<!s32i>, !s32i27// BEFORE: %[[CONST_2:.*]] = cir.const #cir.int<2> : !s32i28// BEFORE: %[[MUL_EQ:.*]] = cir.binop(mul, %[[LOAD_B_EQ]], %[[CONST_2]]) nsw : !s32i29// BEFORE: cir.store{{.*}} %[[MUL_EQ]], %[[VAR_B]] : !s32i, !cir.ptr<!s32i>30// BEFORE: cir.break31// BEFORE: }32// BEFORE: cir.case(range, [#cir.int<4> : !s32i, #cir.int<5> : !s32i]) {33// BEFORE: %[[LOAD_B_RANGE:.*]] = cir.load{{.*}} %[[VAR_B]] : !cir.ptr<!s32i>, !s32i34// BEFORE: %[[CONST_3_RANGE:.*]] = cir.const #cir.int<3> : !s32i35// BEFORE: %[[MUL_RANGE:.*]] = cir.binop(mul, %[[LOAD_B_RANGE]], %[[CONST_3_RANGE]]) nsw : !s32i36// BEFORE: cir.store{{.*}} %[[MUL_RANGE]], %[[VAR_B]] : !s32i, !cir.ptr<!s32i>37// BEFORE: cir.break38// BEFORE: }39// BEFORE: cir.case(default, []) {40// BEFORE: cir.break41// BEFORE: }42// BEFORE: cir.yield43// BEFORE: }44// BEFORE: }45// BEFORE: cir.return46 47// AFTER: cir.func{{.*}} @_Z3swfi48// AFTER: %[[VAR_A:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] {alignment = 4 : i64}49// AFTER: cir.store{{.*}} %arg0, %[[VAR_A]] : !s32i, !cir.ptr<!s32i>50// AFTER: %[[VAR_B:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["b", init] {alignment = 4 : i64}51// AFTER: %[[CONST_3:.*]] = cir.const #cir.int<3> : !s32i52// AFTER: cir.store{{.*}} %[[CONST_3]], %[[VAR_B]] : !s32i, !cir.ptr<!s32i>53// AFTER: cir.switch.flat %[[COND:.*]] : !s32i, ^bb[[#BB6:]] [54// AFTER: 3: ^bb[[#BB4:]],55// AFTER: 4: ^bb[[#BB5:]],56// AFTER: 5: ^bb[[#BB5:]]57// AFTER: ]58// AFTER: ^bb[[#BB4]]:59// AFTER: %[[LOAD_B_EQ:.*]] = cir.load{{.*}} %[[VAR_B]] : !cir.ptr<!s32i>, !s32i60// AFTER: %[[CONST_2:.*]] = cir.const #cir.int<2> : !s32i61// AFTER: %[[MUL_EQ:.*]] = cir.binop(mul, %[[LOAD_B_EQ]], %[[CONST_2]]) nsw : !s32i62// AFTER: cir.store{{.*}} %[[MUL_EQ]], %[[VAR_B]] : !s32i, !cir.ptr<!s32i>63// AFTER: cir.br ^bb[[#BB7:]]64// AFTER: ^bb[[#BB5]]:65// AFTER: %[[LOAD_B_RANGE:.*]] = cir.load{{.*}} %[[VAR_B]] : !cir.ptr<!s32i>, !s32i66// AFTER: %[[CONST_3_AGAIN:.*]] = cir.const #cir.int<3> : !s32i67// AFTER: %[[MUL_RANGE:.*]] = cir.binop(mul, %[[LOAD_B_RANGE]], %[[CONST_3_AGAIN]]) nsw : !s32i68// AFTER: cir.store{{.*}} %[[MUL_RANGE]], %[[VAR_B]] : !s32i, !cir.ptr<!s32i>69// AFTER: cir.br ^bb[[#BB7]]70// AFTER: ^bb[[#BB6]]:71// AFTER: cir.br ^bb[[#BB7]]72// AFTER: ^bb[[#BB7]]:73// AFTER: cir.br ^bb[[#BB8:]]74// AFTER: ^bb[[#BB8]]:75// AFTER: cir.return76// AFTER: }77 78