132 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=riscv32 -run-pass=legalizer %s -o - | FileCheck %s --check-prefixes=CHECK,RV32I3# RUN: llc -mtriple=riscv32 -mattr=+zbb -run-pass=legalizer %s -o - \4# RUN: | FileCheck %s --check-prefixes=CHECK,RV32ZBB5 6---7name: smax_i88body: |9 bb.0.entry:10 ; RV32I-LABEL: name: smax_i811 ; RV32I: [[COPY:%[0-9]+]]:_(s32) = COPY $x1012 ; RV32I-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $x1113 ; RV32I-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2414 ; RV32I-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[C]](s32)15 ; RV32I-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)16 ; RV32I-NEXT: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[COPY1]], [[C]](s32)17 ; RV32I-NEXT: [[ASHR1:%[0-9]+]]:_(s32) = G_ASHR [[SHL1]], [[C]](s32)18 ; RV32I-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(sgt), [[ASHR]](s32), [[ASHR1]]19 ; RV32I-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[ICMP]](s32), [[COPY]], [[COPY1]]20 ; RV32I-NEXT: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[SELECT]], [[C]](s32)21 ; RV32I-NEXT: [[ASHR2:%[0-9]+]]:_(s32) = G_ASHR [[SHL2]], [[C]](s32)22 ; RV32I-NEXT: $x10 = COPY [[ASHR2]](s32)23 ; RV32I-NEXT: PseudoRET implicit $x1024 ;25 ; RV32ZBB-LABEL: name: smax_i826 ; RV32ZBB: [[COPY:%[0-9]+]]:_(s32) = COPY $x1027 ; RV32ZBB-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $x1128 ; RV32ZBB-NEXT: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 829 ; RV32ZBB-NEXT: [[SEXT_INREG1:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY1]], 830 ; RV32ZBB-NEXT: [[SMAX:%[0-9]+]]:_(s32) = G_SMAX [[SEXT_INREG]], [[SEXT_INREG1]]31 ; RV32ZBB-NEXT: $x10 = COPY [[SMAX]](s32)32 ; RV32ZBB-NEXT: PseudoRET implicit $x1033 %0:_(s32) = COPY $x1034 %1:_(s32) = COPY $x1135 %2:_(s8) = G_TRUNC %0(s32)36 %3:_(s8) = G_TRUNC %1(s32)37 %4:_(s8) = G_SMAX %2, %338 %5:_(s32) = G_SEXT %4(s8)39 $x10 = COPY %5(s32)40 PseudoRET implicit $x1041...42 43---44name: smax_i1645body: |46 bb.0.entry:47 ; RV32I-LABEL: name: smax_i1648 ; RV32I: [[COPY:%[0-9]+]]:_(s32) = COPY $x1049 ; RV32I-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $x1150 ; RV32I-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1651 ; RV32I-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[C]](s32)52 ; RV32I-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)53 ; RV32I-NEXT: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[COPY1]], [[C]](s32)54 ; RV32I-NEXT: [[ASHR1:%[0-9]+]]:_(s32) = G_ASHR [[SHL1]], [[C]](s32)55 ; RV32I-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(sgt), [[ASHR]](s32), [[ASHR1]]56 ; RV32I-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[ICMP]](s32), [[COPY]], [[COPY1]]57 ; RV32I-NEXT: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[SELECT]], [[C]](s32)58 ; RV32I-NEXT: [[ASHR2:%[0-9]+]]:_(s32) = G_ASHR [[SHL2]], [[C]](s32)59 ; RV32I-NEXT: $x10 = COPY [[ASHR2]](s32)60 ; RV32I-NEXT: PseudoRET implicit $x1061 ;62 ; RV32ZBB-LABEL: name: smax_i1663 ; RV32ZBB: [[COPY:%[0-9]+]]:_(s32) = COPY $x1064 ; RV32ZBB-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $x1165 ; RV32ZBB-NEXT: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 1666 ; RV32ZBB-NEXT: [[SEXT_INREG1:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY1]], 1667 ; RV32ZBB-NEXT: [[SMAX:%[0-9]+]]:_(s32) = G_SMAX [[SEXT_INREG]], [[SEXT_INREG1]]68 ; RV32ZBB-NEXT: $x10 = COPY [[SMAX]](s32)69 ; RV32ZBB-NEXT: PseudoRET implicit $x1070 %0:_(s32) = COPY $x1071 %1:_(s32) = COPY $x1172 %2:_(s16) = G_TRUNC %0(s32)73 %3:_(s16) = G_TRUNC %1(s32)74 %4:_(s16) = G_SMAX %2, %375 %5:_(s32) = G_SEXT %4(s16)76 $x10 = COPY %5(s32)77 PseudoRET implicit $x1078...79 80---81name: smax_i3282body: |83 bb.0.entry:84 ; RV32I-LABEL: name: smax_i3285 ; RV32I: [[COPY:%[0-9]+]]:_(s32) = COPY $x1086 ; RV32I-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $x1187 ; RV32I-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(sgt), [[COPY]](s32), [[COPY1]]88 ; RV32I-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[ICMP]](s32), [[COPY]], [[COPY1]]89 ; RV32I-NEXT: $x10 = COPY [[SELECT]](s32)90 ; RV32I-NEXT: PseudoRET implicit $x1091 ;92 ; RV32ZBB-LABEL: name: smax_i3293 ; RV32ZBB: [[COPY:%[0-9]+]]:_(s32) = COPY $x1094 ; RV32ZBB-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $x1195 ; RV32ZBB-NEXT: [[SMAX:%[0-9]+]]:_(s32) = G_SMAX [[COPY]], [[COPY1]]96 ; RV32ZBB-NEXT: $x10 = COPY [[SMAX]](s32)97 ; RV32ZBB-NEXT: PseudoRET implicit $x1098 %0:_(s32) = COPY $x1099 %1:_(s32) = COPY $x11100 %2:_(s32) = G_SMAX %0, %1101 $x10 = COPY %2(s32)102 PseudoRET implicit $x10103...104 105---106name: smax_i64107body: |108 bb.0.entry:109 ; CHECK-LABEL: name: smax_i64110 ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $x10111 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $x11112 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $x12113 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY $x13114 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ugt), [[COPY]](s32), [[COPY2]]115 ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s32) = G_ICMP intpred(sgt), [[COPY1]](s32), [[COPY3]]116 ; CHECK-NEXT: [[ICMP2:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[COPY1]](s32), [[COPY3]]117 ; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[ICMP2]](s32), [[ICMP]], [[ICMP1]]118 ; CHECK-NEXT: [[SELECT1:%[0-9]+]]:_(s32) = G_SELECT [[SELECT]](s32), [[COPY]], [[COPY2]]119 ; CHECK-NEXT: $x10 = COPY [[SELECT1]](s32)120 ; CHECK-NEXT: PseudoRET implicit $x10121 %0:_(s32) = COPY $x10122 %1:_(s32) = COPY $x11123 %2:_(s32) = COPY $x12124 %3:_(s32) = COPY $x13125 %4:_(s64) = G_MERGE_VALUES %0(s32), %1(s32)126 %5:_(s64) = G_MERGE_VALUES %2(s32), %3(s32)127 %6:_(s64) = G_SMAX %4, %5128 %7:_(s32) = G_TRUNC %6(s64)129 $x10 = COPY %7(s32)130 PseudoRET implicit $x10131...132