24 lines · plain
1// RUN: cir-opt %s --verify-roundtrip | FileCheck %s2!s32i = !cir.int<s, 32>3 4module {5 cir.func @yolo(%arg0 : !s32i) {6 %a = cir.cast int_to_bool %arg0 : !s32i -> !cir.bool7 8 %0 = cir.const #cir.int<0> : !s32i9 cir.return10 }11 12 cir.func @bitcast(%p: !cir.ptr<!s32i>) {13 %0 = cir.cast bitcast %p : !cir.ptr<!s32i> -> !cir.ptr<f32>14 cir.return15 }16}17 18// CHECK: cir.func{{.*}} @yolo(%arg0: !s32i)19// CHECK: %0 = cir.cast int_to_bool %arg0 : !s32i -> !cir.bool20// CHECK: %1 = cir.const #cir.int<0> : !s32i21 22// CHECK: cir.func{{.*}} @bitcast23// CHECK: %0 = cir.cast bitcast %arg0 : !cir.ptr<!s32i> -> !cir.ptr<f32>24