131 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 52# RUN: llc -mtriple=riscv64 -run-pass=legalizer -global-isel-abort=0 %s -o - | FileCheck %s3---4name: frem_f325body: |6 bb.1.entry:7 liveins: $x10, $x118 9 ; CHECK-LABEL: name: frem_f3210 ; CHECK: liveins: $x10, $x1111 ; CHECK-NEXT: {{ $}}12 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x1013 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1114 ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $x2, implicit $x215 ; CHECK-NEXT: $x10 = COPY [[COPY]](s64)16 ; CHECK-NEXT: $x11 = COPY [[COPY1]](s64)17 ; CHECK-NEXT: PseudoCALL target-flags(riscv-call) &fmodf, csr_ilp32_lp64, implicit-def $x1, implicit $x10, implicit $x11, implicit-def $x1018 ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $x2, implicit $x219 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x1020 ; CHECK-NEXT: $x10 = COPY [[COPY2]](s64)21 ; CHECK-NEXT: PseudoRET implicit $x1022 %2:_(s64) = COPY $x1023 %0:_(s32) = G_TRUNC %2(s64)24 %3:_(s64) = COPY $x1125 %1:_(s32) = G_TRUNC %3(s64)26 %4:_(s32) = G_FREM %0, %127 %5:_(s64) = G_ANYEXT %4(s32)28 $x10 = COPY %5(s64)29 PseudoRET implicit $x1030 31...32---33name: frem_f6434body: |35 bb.1.entry:36 liveins: $x10, $x1137 38 ; CHECK-LABEL: name: frem_f6439 ; CHECK: liveins: $x10, $x1140 ; CHECK-NEXT: {{ $}}41 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x1042 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1143 ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $x2, implicit $x244 ; CHECK-NEXT: $x10 = COPY [[COPY]](s64)45 ; CHECK-NEXT: $x11 = COPY [[COPY1]](s64)46 ; CHECK-NEXT: PseudoCALL target-flags(riscv-call) &fmod, csr_ilp32_lp64, implicit-def $x1, implicit $x10, implicit $x11, implicit-def $x1047 ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $x2, implicit $x248 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x1049 ; CHECK-NEXT: $x10 = COPY [[COPY2]](s64)50 ; CHECK-NEXT: PseudoRET implicit $x1051 %0:_(s64) = COPY $x1052 %1:_(s64) = COPY $x1153 %2:_(s64) = G_FREM %0, %154 $x10 = COPY %2(s64)55 PseudoRET implicit $x1056 57...58---59name: frem_f1660body: |61 bb.0.entry:62 63 ; CHECK-LABEL: name: frem_f1664 ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x1065 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1166 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[COPY]](s64)67 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[COPY1]](s64)68 ; CHECK-NEXT: [[FPEXT:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC]](s16)69 ; CHECK-NEXT: [[FPEXT1:%[0-9]+]]:_(s32) = G_FPEXT [[TRUNC1]](s16)70 ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $x2, implicit $x271 ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[FPEXT]](s32)72 ; CHECK-NEXT: [[ANYEXT1:%[0-9]+]]:_(s64) = G_ANYEXT [[FPEXT1]](s32)73 ; CHECK-NEXT: $x10 = COPY [[ANYEXT]](s64)74 ; CHECK-NEXT: $x11 = COPY [[ANYEXT1]](s64)75 ; CHECK-NEXT: PseudoCALL target-flags(riscv-call) &fmodf, csr_ilp32_lp64, implicit-def $x1, implicit $x10, implicit $x11, implicit-def $x1076 ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $x2, implicit $x277 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x1078 ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s32) = G_TRUNC [[COPY2]](s64)79 ; CHECK-NEXT: [[FPTRUNC:%[0-9]+]]:_(s16) = G_FPTRUNC [[TRUNC2]](s32)80 ; CHECK-NEXT: [[ANYEXT2:%[0-9]+]]:_(s64) = G_ANYEXT [[FPTRUNC]](s16)81 ; CHECK-NEXT: $x10 = COPY [[ANYEXT2]](s64)82 ; CHECK-NEXT: PseudoRET implicit $x1083 %0:_(s64) = COPY $x1084 %1:_(s64) = COPY $x1185 %2:_(s16) = G_TRUNC %0(s64)86 %3:_(s16) = G_TRUNC %1(s64)87 %4:_(s16) = G_FREM %2, %388 %5:_(s64) = G_ANYEXT %4(s16)89 $x10 = COPY %5(s64)90 PseudoRET implicit $x1091 92...93---94name: frem_v2f3295body: |96 bb.0.entry:97 98 ; CHECK-LABEL: name: frem_v2f3299 ; CHECK: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $v8100 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<2 x s32>) = COPY $v9101 ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<2 x s32>)102 ; CHECK-NEXT: [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY1]](<2 x s32>)103 ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $x2, implicit $x2104 ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[UV]](s32)105 ; CHECK-NEXT: [[ANYEXT1:%[0-9]+]]:_(s64) = G_ANYEXT [[UV2]](s32)106 ; CHECK-NEXT: $x10 = COPY [[ANYEXT]](s64)107 ; CHECK-NEXT: $x11 = COPY [[ANYEXT1]](s64)108 ; CHECK-NEXT: PseudoCALL target-flags(riscv-call) &fmodf, csr_ilp32_lp64, implicit-def $x1, implicit $x10, implicit $x11, implicit-def $x10109 ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $x2, implicit $x2110 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x10111 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY2]](s64)112 ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $x2, implicit $x2113 ; CHECK-NEXT: [[ANYEXT2:%[0-9]+]]:_(s64) = G_ANYEXT [[UV1]](s32)114 ; CHECK-NEXT: [[ANYEXT3:%[0-9]+]]:_(s64) = G_ANYEXT [[UV3]](s32)115 ; CHECK-NEXT: $x10 = COPY [[ANYEXT2]](s64)116 ; CHECK-NEXT: $x11 = COPY [[ANYEXT3]](s64)117 ; CHECK-NEXT: PseudoCALL target-flags(riscv-call) &fmodf, csr_ilp32_lp64, implicit-def $x1, implicit $x10, implicit $x11, implicit-def $x10118 ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $x2, implicit $x2119 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s64) = COPY $x10120 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY3]](s64)121 ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[TRUNC]](s32), [[TRUNC1]](s32)122 ; CHECK-NEXT: $v8 = COPY [[BUILD_VECTOR]](<2 x s32>)123 ; CHECK-NEXT: PseudoRET implicit $v8124 %0:_(<2 x s32>) = COPY $v8125 %1:_(<2 x s32>) = COPY $v9126 %2:_(<2 x s32>) = G_FREM %0, %1127 $v8 = COPY %2(<2 x s32>)128 PseudoRET implicit $v8129 130...131