clang/test/CIR/CodeGen/binop.c

// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir
// RUN: FileCheck --input-file=%t.cir %s

void conditionalResultIimplicitCast(int a, int b, float f) {
  // Should implicit cast back to int.
  int x = a && b;
  // CHECK: %[[#INT:]] = cir.ternary
  // CHECK: %{{.+}} = cir.cast bool_to_int %[[#INT]] : !cir.bool -> !s32i
  float y = f && f;
  // CHECK: %[[#BOOL:]] = cir.ternary
  // CHECK: %[[#INT:]] = cir.cast bool_to_int %[[#BOOL]] : !cir.bool -> !s32i
  // CHECK: %{{.+}} = cir.cast int_to_float %[[#INT]] : !s32i -> !cir.float
}