49 lines · plain
1// RUN: cir-translate -cir-to-llvmir --disable-cc-lowering -o - %s | FileCheck -check-prefix=LLVM %s2// RUN: cir-translate -target aarch64 -cir-to-llvmir --disable-cc-lowering -o - %s | FileCheck -check-prefix=LLVM %s3 4!s32i = !cir.int<s, 32>5 6module {7 cir.func @select_int(%arg0 : !cir.bool, %arg1 : !s32i, %arg2 : !s32i) -> !s32i {8 %0 = cir.select if %arg0 then %arg1 else %arg2 : (!cir.bool, !s32i, !s32i) -> !s32i9 cir.return %0 : !s32i10 }11 12 // LLVM: define i32 @select_int(i1 %[[#COND:]], i32 %[[#TV:]], i32 %[[#FV:]])13 // LLVM-NEXT: %[[#RES:]] = select i1 %[[#COND]], i32 %[[#TV]], i32 %[[#FV]]14 // LLVM-NEXT: ret i32 %[[#RES]]15 // LLVM-NEXT: }16 17 cir.func @select_bool(%arg0 : !cir.bool, %arg1 : !cir.bool, %arg2 : !cir.bool) -> !cir.bool {18 %0 = cir.select if %arg0 then %arg1 else %arg2 : (!cir.bool, !cir.bool, !cir.bool) -> !cir.bool19 cir.return %0 : !cir.bool20 }21 22 // LLVM: define i1 @select_bool(i1 %[[#COND:]], i1 %[[#TV:]], i1 %[[#FV:]])23 // LLVM-NEXT: %[[#RES:]] = select i1 %[[#COND]], i1 %[[#TV]], i1 %[[#FV]]24 // LLVM-NEXT: ret i1 %[[#RES]]25 // LLVM-NEXT: }26 27 cir.func @logical_and(%arg0 : !cir.bool, %arg1 : !cir.bool) -> !cir.bool {28 %0 = cir.const #cir.bool<false> : !cir.bool29 %1 = cir.select if %arg0 then %arg1 else %0 : (!cir.bool, !cir.bool, !cir.bool) -> !cir.bool30 cir.return %1 : !cir.bool31 }32 33 // LLVM: define i1 @logical_and(i1 %[[#ARG0:]], i1 %[[#ARG1:]])34 // LLVM-NEXT: %[[#RES:]] = and i1 %[[#ARG0]], %[[#ARG1]]35 // LLVM-NEXT: ret i1 %[[#RES]]36 // LLVM-NEXT: }37 38 cir.func @logical_or(%arg0 : !cir.bool, %arg1 : !cir.bool) -> !cir.bool {39 %0 = cir.const #cir.bool<true> : !cir.bool40 %1 = cir.select if %arg0 then %0 else %arg1 : (!cir.bool, !cir.bool, !cir.bool) -> !cir.bool41 cir.return %1 : !cir.bool42 }43 44 // LLVM: define i1 @logical_or(i1 %[[#ARG0:]], i1 %[[#ARG1:]])45 // LLVM-NEXT: %[[#RES:]] = or i1 %[[#ARG0]], %[[#ARG1]]46 // LLVM-NEXT: ret i1 %[[#RES]]47 // LLVM-NEXT: }48}49