171 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2; RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -global-isel \3; RUN: -verify-machineinstrs -stop-after=irtranslator < %s | FileCheck %s4 5; Pass up to eight integer arguments in registers.6define void @test_scalar1(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g, i32 %h) {7 ; CHECK-LABEL: name: test_scalar18 ; CHECK: bb.1.entry:9 ; CHECK-NEXT: liveins: $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x1010 ; CHECK-NEXT: {{ $}}11 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x312 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)13 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x414 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY1]](s64)15 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x516 ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s32) = G_TRUNC [[COPY2]](s64)17 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s64) = COPY $x618 ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(s32) = G_TRUNC [[COPY3]](s64)19 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s64) = COPY $x720 ; CHECK-NEXT: [[TRUNC4:%[0-9]+]]:_(s32) = G_TRUNC [[COPY4]](s64)21 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s64) = COPY $x822 ; CHECK-NEXT: [[TRUNC5:%[0-9]+]]:_(s32) = G_TRUNC [[COPY5]](s64)23 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s64) = COPY $x924 ; CHECK-NEXT: [[TRUNC6:%[0-9]+]]:_(s32) = G_TRUNC [[COPY6]](s64)25 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s64) = COPY $x1026 ; CHECK-NEXT: [[TRUNC7:%[0-9]+]]:_(s32) = G_TRUNC [[COPY7]](s64)27 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm28entry:29 ret void30}31 32define void @test_scalar2(i64 %a, i64 %b, i64 %c, i64 %d, i64 %e, i64 %f, i64 %g, i64 %h) {33 ; CHECK-LABEL: name: test_scalar234 ; CHECK: bb.1.entry:35 ; CHECK-NEXT: liveins: $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x1036 ; CHECK-NEXT: {{ $}}37 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x338 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x439 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x540 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s64) = COPY $x641 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s64) = COPY $x742 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s64) = COPY $x843 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s64) = COPY $x944 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s64) = COPY $x1045 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm46entry:47 ret void48}49 50define void @test_scalar3(i8 %a, i8 %b, i8 %c, i8 %d, i8 %e, i8 %f, i8 %g, i8 %h) {51 ; CHECK-LABEL: name: test_scalar352 ; CHECK: bb.1.entry:53 ; CHECK-NEXT: liveins: $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x1054 ; CHECK-NEXT: {{ $}}55 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x356 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s8) = G_TRUNC [[COPY]](s64)57 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x458 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[COPY1]](s64)59 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x560 ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s8) = G_TRUNC [[COPY2]](s64)61 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s64) = COPY $x662 ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(s8) = G_TRUNC [[COPY3]](s64)63 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s64) = COPY $x764 ; CHECK-NEXT: [[TRUNC4:%[0-9]+]]:_(s8) = G_TRUNC [[COPY4]](s64)65 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s64) = COPY $x866 ; CHECK-NEXT: [[TRUNC5:%[0-9]+]]:_(s8) = G_TRUNC [[COPY5]](s64)67 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s64) = COPY $x968 ; CHECK-NEXT: [[TRUNC6:%[0-9]+]]:_(s8) = G_TRUNC [[COPY6]](s64)69 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s64) = COPY $x1070 ; CHECK-NEXT: [[TRUNC7:%[0-9]+]]:_(s8) = G_TRUNC [[COPY7]](s64)71 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm72entry:73 ret void74}75 76define void @test_scalar4(i16 %a, i16 %b, i16 %c, i16 %d, i16 %e, i16 %f, i16 %g, i16 %h) {77 ; CHECK-LABEL: name: test_scalar478 ; CHECK: bb.1.entry:79 ; CHECK-NEXT: liveins: $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x1080 ; CHECK-NEXT: {{ $}}81 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x382 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s64)83 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x484 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[COPY1]](s64)85 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x586 ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[COPY2]](s64)87 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s64) = COPY $x688 ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[COPY3]](s64)89 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s64) = COPY $x790 ; CHECK-NEXT: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[COPY4]](s64)91 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s64) = COPY $x892 ; CHECK-NEXT: [[TRUNC5:%[0-9]+]]:_(s16) = G_TRUNC [[COPY5]](s64)93 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s64) = COPY $x994 ; CHECK-NEXT: [[TRUNC6:%[0-9]+]]:_(s16) = G_TRUNC [[COPY6]](s64)95 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s64) = COPY $x1096 ; CHECK-NEXT: [[TRUNC7:%[0-9]+]]:_(s16) = G_TRUNC [[COPY7]](s64)97 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm98entry:99 ret void100}101 102define void @test_scalar5(i128 %a, i128 %b, i128 %c, i128 %d) {103 ; CHECK-LABEL: name: test_scalar5104 ; CHECK: bb.1.entry:105 ; CHECK-NEXT: liveins: $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10106 ; CHECK-NEXT: {{ $}}107 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x3108 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x4109 ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[COPY]](s64), [[COPY1]](s64)110 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x5111 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s64) = COPY $x6112 ; CHECK-NEXT: [[MV1:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[COPY2]](s64), [[COPY3]](s64)113 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s64) = COPY $x7114 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s64) = COPY $x8115 ; CHECK-NEXT: [[MV2:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[COPY4]](s64), [[COPY5]](s64)116 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s64) = COPY $x9117 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s64) = COPY $x10118 ; CHECK-NEXT: [[MV3:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[COPY6]](s64), [[COPY7]](s64)119 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm120entry:121 ret void122}123 124; Pass up to thirteen fp arguments in registers.125define void @test_scalar6(float %a, float %b, float %c, float %d, float %e, float %f, float %g, float %h, float %i, float %j, float %k, float %l, float %m) {126 ; CHECK-LABEL: name: test_scalar6127 ; CHECK: bb.1.entry:128 ; CHECK-NEXT: liveins: $f1, $f2, $f3, $f4, $f5, $f6, $f7, $f8, $f9, $f10, $f11, $f12, $f13129 ; CHECK-NEXT: {{ $}}130 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $f1131 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $f2132 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $f3133 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY $f4134 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s32) = COPY $f5135 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s32) = COPY $f6136 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s32) = COPY $f7137 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s32) = COPY $f8138 ; CHECK-NEXT: [[COPY8:%[0-9]+]]:_(s32) = COPY $f9139 ; CHECK-NEXT: [[COPY9:%[0-9]+]]:_(s32) = COPY $f10140 ; CHECK-NEXT: [[COPY10:%[0-9]+]]:_(s32) = COPY $f11141 ; CHECK-NEXT: [[COPY11:%[0-9]+]]:_(s32) = COPY $f12142 ; CHECK-NEXT: [[COPY12:%[0-9]+]]:_(s32) = COPY $f13143 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm144entry:145 ret void146}147 148define void @test_scalar7(double %a, double %b, double %c, double %d, double %e, double %f, double %g, double %h, double %i, double %j, double %k, double %l, double %m) {149 ; CHECK-LABEL: name: test_scalar7150 ; CHECK: bb.1.entry:151 ; CHECK-NEXT: liveins: $f1, $f2, $f3, $f4, $f5, $f6, $f7, $f8, $f9, $f10, $f11, $f12, $f13152 ; CHECK-NEXT: {{ $}}153 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $f1154 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $f2155 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $f3156 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s64) = COPY $f4157 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s64) = COPY $f5158 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s64) = COPY $f6159 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s64) = COPY $f7160 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s64) = COPY $f8161 ; CHECK-NEXT: [[COPY8:%[0-9]+]]:_(s64) = COPY $f9162 ; CHECK-NEXT: [[COPY9:%[0-9]+]]:_(s64) = COPY $f10163 ; CHECK-NEXT: [[COPY10:%[0-9]+]]:_(s64) = COPY $f11164 ; CHECK-NEXT: [[COPY11:%[0-9]+]]:_(s64) = COPY $f12165 ; CHECK-NEXT: [[COPY12:%[0-9]+]]:_(s64) = COPY $f13166 ; CHECK-NEXT: BLR8 implicit $lr8, implicit $rm167entry:168 ret void169}170 171