// RUN: cir-opt %s | cir-opt | FileCheck %s
!s32i = !cir.int<s, 32>

module  {
  cir.func @yolo(%arg0 : !s32i) {
    %a = cir.cast (int_to_bool, %arg0 : !s32i), !cir.bool

    %0 = cir.const #cir.int<0> : !s32i
    cir.return
  }

  cir.func @bitcast(%p: !cir.ptr<!s32i>) {
    %0 = cir.cast(bitcast, %p : !cir.ptr<!s32i>), !cir.ptr<f32>
    cir.return
  }
}

// CHECK: cir.func @yolo(%arg0: !s32i)
// CHECK: %0 = cir.cast(int_to_bool, %arg0 : !s32i), !cir.bool
// CHECK: %1 = cir.const #cir.int<0> : !s32i

// CHECK: cir.func @bitcast
// CHECK: %0 = cir.cast(bitcast, %arg0 : !cir.ptr<!s32i>), !cir.ptr<f32>