1// RUN: fir-opt %s | tco | FileCheck %s
2
3// CHECK-LABEL: define [3 x i8] @x
4func.func @x() -> !fir.char<1,3> {
5  %1 = fir.string_lit "xyz"(3) : !fir.char<1,3>
6 // CHECK: ret [3 x i8] c"xyz"
7  return %1 : !fir.char<1,3>
8}
9
10// CHECK-LABEL: define x86_fp80 @y()
11func.func @y() -> !fir.real<10> {
12 %c1 = arith.constant 42.4 :f32
13 %0 = fir.convert %c1 : (f32) -> !fir.real<10>
14  // CHECK: ret x86_fp80 0xK4004A9999A0000000000
15  // TODO: What's that number?
16  return %0 : !fir.real<10>
17}
18
19// CHECK-LABEL: define i16 @z()
20func.func @z() -> !fir.logical<2> {
21  %1 = arith.constant true
22  %0 = fir.convert %1 : (i1) -> !fir.logical<2>
23 // CHECK-LABEL: ret i16 1
24  return %0 : !fir.logical<2>
25}
26