176 lines · plain
1// Test X86-64 passing ABI of struct in registers for the simple case2// where the struct has a single intrinsic component that is not a complex.3// RUN: fir-opt -target-rewrite="target=x86_64-unknown-linux-gnu" %s -o - | FileCheck %s4 5module attributes {fir.defaultkind = "a1c4d8i4l4r4", fir.kindmap = "", llvm.data_layout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128", llvm.target_triple = "x86_64-unknown-linux-gnu"} {6 7func.func @test_call_i16(%0 : !fir.ref<!fir.type<ti16{i:i16}>>) {8 %7 = fir.load %0 : !fir.ref<!fir.type<ti16{i:i16}>>9 fir.call @test_func_i16(%7) : (!fir.type<ti16{i:i16}>) -> ()10 return11}12// CHECK-LABEL: func.func @test_call_i16(13// CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.type<ti16{i:i16}>>) {14// CHECK: %[[VAL_1:.*]] = fir.load %[[VAL_0]] : !fir.ref<!fir.type<ti16{i:i16}>>15// CHECK: %[[VAL_2:.*]] = llvm.intr.stacksave : !llvm.ptr16// CHECK: %[[VAL_3:.*]] = fir.alloca i1617// CHECK: %[[VAL_4:.*]] = fir.convert %[[VAL_3]] : (!fir.ref<i16>) -> !fir.ref<!fir.type<ti16{i:i16}>>18// CHECK: fir.store %[[VAL_1]] to %[[VAL_4]] : !fir.ref<!fir.type<ti16{i:i16}>>19// CHECK: %[[VAL_5:.*]] = fir.load %[[VAL_3]] : !fir.ref<i16>20// CHECK: fir.call @test_func_i16(%[[VAL_5]]) : (i16) -> ()21// CHECK: llvm.intr.stackrestore %[[VAL_2]] : !llvm.ptr22 23func.func private @test_func_i16(%0 : !fir.type<ti16{i:i16}>) -> () {24 return25}26// CHECK-LABEL: func.func private @test_func_i16(27// CHECK-SAME: %[[VAL_0:.*]]: i16) {28// CHECK: %[[VAL_1:.*]] = fir.alloca i1629// CHECK: fir.store %[[VAL_0]] to %[[VAL_1]] : !fir.ref<i16>30// CHECK: %[[VAL_2:.*]] = fir.convert %[[VAL_1]] : (!fir.ref<i16>) -> !fir.ref<!fir.type<ti16{i:i16}>>31// CHECK: %[[VAL_3:.*]] = fir.load %[[VAL_2]] : !fir.ref<!fir.type<ti16{i:i16}>>32 33func.func @test_call_i32(%0 : !fir.ref<!fir.type<ti32{i:i32}>>) {34 %7 = fir.load %0 : !fir.ref<!fir.type<ti32{i:i32}>>35 fir.call @test_func_i32(%7) : (!fir.type<ti32{i:i32}>) -> ()36 return37}38func.func private @test_func_i32(%0 : !fir.type<ti32{i:i32}>) -> () {39 return40}41 42func.func @test_call_i64(%0 : !fir.ref<!fir.type<ti64{i:i64}>>) {43 %7 = fir.load %0 : !fir.ref<!fir.type<ti64{i:i64}>>44 fir.call @test_func_i64(%7) : (!fir.type<ti64{i:i64}>) -> ()45 return46}47func.func private @test_func_i64(%0 : !fir.type<ti64{i:i64}>) -> () {48 return49}50 51func.func @test_call_i128(%0 : !fir.ref<!fir.type<ti128{i:i128}>>) {52 %7 = fir.load %0 : !fir.ref<!fir.type<ti128{i:i128}>>53 fir.call @test_func_i128(%7) : (!fir.type<ti128{i:i128}>) -> ()54 return55}56func.func private @test_func_i128(%0 : !fir.type<ti128{i:i128}>) -> () {57 return58}59func.func @test_call_f16(%0 : !fir.ref<!fir.type<tf16{i:f16}>>) {60 %7 = fir.load %0 : !fir.ref<!fir.type<tf16{i:f16}>>61 fir.call @test_func_f16(%7) : (!fir.type<tf16{i:f16}>) -> ()62 return63}64func.func private @test_func_f16(%0 : !fir.type<tf16{i:f16}>) -> () {65 return66}67 68func.func @test_call_f32(%0 : !fir.ref<!fir.type<tf32{i:f32}>>) {69 %7 = fir.load %0 : !fir.ref<!fir.type<tf32{i:f32}>>70 fir.call @test_func_f32(%7) : (!fir.type<tf32{i:f32}>) -> ()71 return72}73func.func private @test_func_f32(%0 : !fir.type<tf32{i:f32}>) -> () {74 return75}76 77func.func @test_call_f64(%0 : !fir.ref<!fir.type<tf64{i:f64}>>) {78 %7 = fir.load %0 : !fir.ref<!fir.type<tf64{i:f64}>>79 fir.call @test_func_f64(%7) : (!fir.type<tf64{i:f64}>) -> ()80 return81}82func.func private @test_func_f64(%0 : !fir.type<tf64{i:f64}>) -> () {83 return84}85 86func.func @test_call_f128(%0 : !fir.ref<!fir.type<tf128{i:f128}>>) {87 %7 = fir.load %0 : !fir.ref<!fir.type<tf128{i:f128}>>88 fir.call @test_func_f128(%7) : (!fir.type<tf128{i:f128}>) -> ()89 return90}91func.func private @test_func_f128(%0 : !fir.type<tf128{i:f128}>) -> () {92 return93}94 95func.func @test_call_char1(%0 : !fir.ref<!fir.type<tchar1{i:!fir.char<1>}>>) {96 %7 = fir.load %0 : !fir.ref<!fir.type<tchar1{i:!fir.char<1>}>>97 fir.call @test_func_char1(%7) : (!fir.type<tchar1{i:!fir.char<1>}>) -> ()98 return99}100func.func private @test_func_char1(%0 : !fir.type<tchar1{i:!fir.char<1>}>) -> () {101 return102}103 104func.func @test_call_log1(%0 : !fir.ref<!fir.type<tlog1{i:!fir.logical<1>}>>) {105 %7 = fir.load %0 : !fir.ref<!fir.type<tlog1{i:!fir.logical<1>}>>106 fir.call @test_func_log1(%7) : (!fir.type<tlog1{i:!fir.logical<1>}>) -> ()107 return108}109func.func private @test_func_log1(%0 : !fir.type<tlog1{i:!fir.logical<1>}>) -> () {110 return111}112 113func.func @test_call_log2(%0 : !fir.ref<!fir.type<tlog2{i:!fir.logical<2>}>>) {114 %7 = fir.load %0 : !fir.ref<!fir.type<tlog2{i:!fir.logical<2>}>>115 fir.call @test_func_log2(%7) : (!fir.type<tlog2{i:!fir.logical<2>}>) -> ()116 return117}118func.func private @test_func_log2(%0 : !fir.type<tlog2{i:!fir.logical<2>}>) -> () {119 return120}121 122func.func @test_call_log4(%0 : !fir.ref<!fir.type<tlog4{i:!fir.logical<4>}>>) {123 %7 = fir.load %0 : !fir.ref<!fir.type<tlog4{i:!fir.logical<4>}>>124 fir.call @test_func_log4(%7) : (!fir.type<tlog4{i:!fir.logical<4>}>) -> ()125 return126}127func.func private @test_func_log4(%0 : !fir.type<tlog4{i:!fir.logical<4>}>) -> () {128 return129}130 131func.func @test_call_log8(%0 : !fir.ref<!fir.type<tlog8{i:!fir.logical<8>}>>) {132 %7 = fir.load %0 : !fir.ref<!fir.type<tlog8{i:!fir.logical<8>}>>133 fir.call @test_func_log8(%7) : (!fir.type<tlog8{i:!fir.logical<8>}>) -> ()134 return135}136func.func private @test_func_log8(%0 : !fir.type<tlog8{i:!fir.logical<8>}>) -> () {137 return138}139 140func.func @test_call_log16(%0 : !fir.ref<!fir.type<tlog16{i:!fir.logical<16>}>>) {141 %7 = fir.load %0 : !fir.ref<!fir.type<tlog16{i:!fir.logical<16>}>>142 fir.call @test_func_log16(%7) : (!fir.type<tlog16{i:!fir.logical<16>}>) -> ()143 return144}145func.func private @test_func_log16(%0 : !fir.type<tlog16{i:!fir.logical<16>}>) -> () {146 return147}148}149 150// CHECK-LABEL: func.func private @test_func_i32(151// CHECK-SAME: %[[VAL_0:.*]]: i32) {152// CHECK-LABEL: func.func private @test_func_i64(153// CHECK-SAME: %[[VAL_0:.*]]: i64) {154// CHECK-LABEL: func.func private @test_func_i128(155// CHECK-SAME: %[[VAL_0:.*]]: i128) {156// CHECK-LABEL: func.func private @test_func_f16(157// CHECK-SAME: %[[VAL_0:.*]]: f16) {158// CHECK-LABEL: func.func private @test_func_f32(159// CHECK-SAME: %[[VAL_0:.*]]: f32) {160// CHECK-LABEL: func.func private @test_func_f64(161// CHECK-SAME: %[[VAL_0:.*]]: f64) {162// CHECK-LABEL: func.func private @test_func_f128(163// CHECK-SAME: %[[VAL_0:.*]]: f128) {164// CHECK-LABEL: func.func private @test_func_char1(165// CHECK-SAME: %[[VAL_0:.*]]: !fir.char<1>) {166// CHECK-LABEL: func.func private @test_func_log1(167// CHECK-SAME: %[[VAL_0:.*]]: !fir.logical<1>) {168// CHECK-LABEL: func.func private @test_func_log2(169// CHECK-SAME: %[[VAL_0:.*]]: !fir.logical<2>) {170// CHECK-LABEL: func.func private @test_func_log4(171// CHECK-SAME: %[[VAL_0:.*]]: !fir.logical<4>) {172// CHECK-LABEL: func.func private @test_func_log8(173// CHECK-SAME: %[[VAL_0:.*]]: !fir.logical<8>) {174// CHECK-LABEL: func.func private @test_func_log16(175// CHECK-SAME: %[[VAL_0:.*]]: !fir.logical<16>) {176