31 lines · plain
1// RUN: cir-opt %s --verify-roundtrip | FileCheck %s2!u32i = !cir.int<u, 32>3 4module {5 cir.func @blue(%arg0: !cir.bool) -> !u32i {6 %0 = cir.ternary(%arg0, true {7 %a = cir.const #cir.int<0> : !u32i8 cir.yield %a : !u32i9 }, false {10 %b = cir.const #cir.int<1> : !u32i11 cir.yield %b : !u32i12 }) : (!cir.bool) -> !u32i13 cir.return %0 : !u32i14 }15}16 17// CHECK: module {18 19// CHECK: cir.func{{.*}} @blue(%arg0: !cir.bool) -> !u32i {20// CHECK: %0 = cir.ternary(%arg0, true {21// CHECK: %1 = cir.const #cir.int<0> : !u32i22// CHECK: cir.yield %1 : !u32i23// CHECK: }, false {24// CHECK: %1 = cir.const #cir.int<1> : !u32i25// CHECK: cir.yield %1 : !u32i26// CHECK: }) : (!cir.bool) -> !u32i27// CHECK: cir.return %0 : !u32i28// CHECK: }29 30// CHECK: }31