[PATCH] D94582: [RISCV] Rename mnemonics slliu.w->slli.uw and addu.w->add.uw to match 0.93 bitmanip spec.
This revision was automatically updated to reflect the committed changes. Closed by commit rGb825278364d9: [RISCV] Rename mnemonics slliu.w-slli.uw and addu.w-add.uw to match 0.93… (authored by craig.topper). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D94582/new/ https://reviews.llvm.org/D94582 Files: llvm/lib/Target/RISCV/RISCVInstrInfoB.td llvm/test/CodeGen/RISCV/rv64Zbb.ll llvm/test/MC/RISCV/rv64zbb-invalid.s llvm/test/MC/RISCV/rv64zbb-valid.s Index: llvm/test/MC/RISCV/rv64zbb-valid.s === --- llvm/test/MC/RISCV/rv64zbb-valid.s +++ llvm/test/MC/RISCV/rv64zbb-valid.s @@ -12,12 +12,12 @@ # RUN: | llvm-objdump --mattr=+experimental-zbb -d -r - \ # RUN: | FileCheck --check-prefix=CHECK-ASM-AND-OBJ %s -# CHECK-ASM-AND-OBJ: slliu.w t0, t1, 0 +# CHECK-ASM-AND-OBJ: slli.uw t0, t1, 0 # CHECK-ASM: encoding: [0x9b,0x12,0x03,0x08] -slliu.w t0, t1, 0 -# CHECK-ASM-AND-OBJ: addu.w t0, t1, t2 +slli.uw t0, t1, 0 +# CHECK-ASM-AND-OBJ: add.uw t0, t1, t2 # CHECK-ASM: encoding: [0xbb,0x02,0x73,0x08] -addu.w t0, t1, t2 +add.uw t0, t1, t2 # CHECK-ASM-AND-OBJ: slow t0, t1, t2 # CHECK-ASM: encoding: [0xbb,0x12,0x73,0x20] slow t0, t1, t2 Index: llvm/test/MC/RISCV/rv64zbb-invalid.s === --- llvm/test/MC/RISCV/rv64zbb-invalid.s +++ llvm/test/MC/RISCV/rv64zbb-invalid.s @@ -1,12 +1,12 @@ # RUN: not llvm-mc -triple riscv64 -mattr=+experimental-b,experimental-zbb < %s 2>&1 | FileCheck %s # Too few operands -slliu.w t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction +slli.uw t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction # Immediate operand out of range -slliu.w t0, t1, 64 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] -slliu.w t0, t1, -1 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] +slli.uw t0, t1, 64 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] +slli.uw t0, t1, -1 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] # Too few operands -addu.w t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction +add.uw t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction # Too few operands slow t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction # Too few operands Index: llvm/test/CodeGen/RISCV/rv64Zbb.ll === --- llvm/test/CodeGen/RISCV/rv64Zbb.ll +++ llvm/test/CodeGen/RISCV/rv64Zbb.ll @@ -1000,12 +1000,12 @@ ; ; RV64IB-LABEL: slliuw: ; RV64IB: # %bb.0: -; RV64IB-NEXT:slliu.w a0, a0, 1 +; RV64IB-NEXT:slli.uw a0, a0, 1 ; RV64IB-NEXT:ret ; ; RV64IBB-LABEL: slliuw: ; RV64IBB: # %bb.0: -; RV64IBB-NEXT:slliu.w a0, a0, 1 +; RV64IBB-NEXT:slli.uw a0, a0, 1 ; RV64IBB-NEXT:ret %conv1 = shl i64 %a, 1 %shl = and i64 %conv1, 8589934590 @@ -1025,7 +1025,7 @@ ; ; RV64IB-LABEL: slliuw_2: ; RV64IB: # %bb.0: -; RV64IB-NEXT:slliu.w a0, a0, 4 +; RV64IB-NEXT:slli.uw a0, a0, 4 ; RV64IB-NEXT:add a1, a1, a0 ; RV64IB-NEXT:ld a0, 0(a1) ; RV64IB-NEXT:ld a1, 8(a1) @@ -1033,7 +1033,7 @@ ; ; RV64IBB-LABEL: slliuw_2: ; RV64IBB: # %bb.0: -; RV64IBB-NEXT:slliu.w a0, a0, 4 +; RV64IBB-NEXT:slli.uw a0, a0, 4 ; RV64IBB-NEXT:add a1, a1, a0 ; RV64IBB-NEXT:ld a0, 0(a1) ; RV64IBB-NEXT:ld a1, 8(a1) @@ -1054,12 +1054,12 @@ ; ; RV64IB-LABEL: adduw: ; RV64IB: # %bb.0: -; RV64IB-NEXT:addu.w a0, a0, a1 +; RV64IB-NEXT:add.uw a0, a0, a1 ; RV64IB-NEXT:ret ; ; RV64IBB-LABEL: adduw: ; RV64IBB: # %bb.0: -; RV64IBB-NEXT:addu.w a0, a0, a1 +; RV64IBB-NEXT:add.uw a0, a0, a1 ; RV64IBB-NEXT:ret %and = and i64 %b, 4294967295 %add = add i64 %and, %a @@ -1077,13 +1077,13 @@ ; ; RV64IB-LABEL: adduw_2: ; RV64IB: # %bb.0: -; RV64IB-NEXT:addu.w a0, a1, a0 +; RV64IB-NEXT:add.uw a0, a1, a0 ; RV64IB-NEXT:lb a0, 0(a0) ; RV64IB-NEXT:ret ; ; RV64IBB-LABEL: adduw_2: ; RV64IBB: # %bb.0: -; RV64IBB-NEXT:addu.w a0, a1, a0 +; RV64IBB-NEXT:add.uw a0, a1, a0 ; RV64IBB-NEXT:lb a0, 0(a0) ; RV64IBB-NEXT:ret %3 = zext i32 %0 to i64 Index: llvm/lib/Target/RISCV/RISCVInstrInfoB.td === --- llvm/lib/Target/RISCV/RISCVInstrInfoB.td +++ llvm/lib/Target/RISCV/RISCVInstrInfoB.td @@ -370,8 +370,8 @@ } // Predicates = [HasStdExtZbp] let Predicates = [HasStdExtZbb, IsRV64] in { -def SLLIUW : RVBShift_ri<0b1, 0b001, OPC_OP_IMM_32, "slliu.w">, Sched<[]>; -def ADDUW : ALUW_rr<0b100, 0b000, "addu.w">, Sched<[]>; +def SLLIUW : RVBShift_ri<0b1, 0b001, OPC_OP_IMM_32, "slli.uw">, Sched<[]>; +def ADDUW : ALUW_rr<0b100, 0b000, "add.uw">, Sched<[]>; } //
[PATCH] D94582: [RISCV] Rename mnemonics slliu.w->slli.uw and addu.w->add.uw to match 0.93 bitmanip spec.
craig.topper updated this revision to Diff 318037. craig.topper added a comment. Remove Zba changes that accidentally got merged in the previous rebase Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D94582/new/ https://reviews.llvm.org/D94582 Files: llvm/lib/Target/RISCV/RISCVInstrInfoB.td llvm/test/CodeGen/RISCV/rv64Zbb.ll llvm/test/MC/RISCV/rv64zbb-invalid.s llvm/test/MC/RISCV/rv64zbb-valid.s Index: llvm/test/MC/RISCV/rv64zbb-valid.s === --- llvm/test/MC/RISCV/rv64zbb-valid.s +++ llvm/test/MC/RISCV/rv64zbb-valid.s @@ -12,12 +12,12 @@ # RUN: | llvm-objdump --mattr=+experimental-zbb -d -r - \ # RUN: | FileCheck --check-prefix=CHECK-ASM-AND-OBJ %s -# CHECK-ASM-AND-OBJ: slliu.w t0, t1, 0 +# CHECK-ASM-AND-OBJ: slli.uw t0, t1, 0 # CHECK-ASM: encoding: [0x9b,0x12,0x03,0x08] -slliu.w t0, t1, 0 -# CHECK-ASM-AND-OBJ: addu.w t0, t1, t2 +slli.uw t0, t1, 0 +# CHECK-ASM-AND-OBJ: add.uw t0, t1, t2 # CHECK-ASM: encoding: [0xbb,0x02,0x73,0x08] -addu.w t0, t1, t2 +add.uw t0, t1, t2 # CHECK-ASM-AND-OBJ: slow t0, t1, t2 # CHECK-ASM: encoding: [0xbb,0x12,0x73,0x20] slow t0, t1, t2 Index: llvm/test/MC/RISCV/rv64zbb-invalid.s === --- llvm/test/MC/RISCV/rv64zbb-invalid.s +++ llvm/test/MC/RISCV/rv64zbb-invalid.s @@ -1,12 +1,12 @@ # RUN: not llvm-mc -triple riscv64 -mattr=+experimental-b,experimental-zbb < %s 2>&1 | FileCheck %s # Too few operands -slliu.w t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction +slli.uw t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction # Immediate operand out of range -slliu.w t0, t1, 64 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] -slliu.w t0, t1, -1 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] +slli.uw t0, t1, 64 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] +slli.uw t0, t1, -1 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] # Too few operands -addu.w t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction +add.uw t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction # Too few operands slow t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction # Too few operands Index: llvm/test/CodeGen/RISCV/rv64Zbb.ll === --- llvm/test/CodeGen/RISCV/rv64Zbb.ll +++ llvm/test/CodeGen/RISCV/rv64Zbb.ll @@ -1000,12 +1000,12 @@ ; ; RV64IB-LABEL: slliuw: ; RV64IB: # %bb.0: -; RV64IB-NEXT:slliu.w a0, a0, 1 +; RV64IB-NEXT:slli.uw a0, a0, 1 ; RV64IB-NEXT:ret ; ; RV64IBB-LABEL: slliuw: ; RV64IBB: # %bb.0: -; RV64IBB-NEXT:slliu.w a0, a0, 1 +; RV64IBB-NEXT:slli.uw a0, a0, 1 ; RV64IBB-NEXT:ret %conv1 = shl i64 %a, 1 %shl = and i64 %conv1, 8589934590 @@ -1025,7 +1025,7 @@ ; ; RV64IB-LABEL: slliuw_2: ; RV64IB: # %bb.0: -; RV64IB-NEXT:slliu.w a0, a0, 4 +; RV64IB-NEXT:slli.uw a0, a0, 4 ; RV64IB-NEXT:add a1, a1, a0 ; RV64IB-NEXT:ld a0, 0(a1) ; RV64IB-NEXT:ld a1, 8(a1) @@ -1033,7 +1033,7 @@ ; ; RV64IBB-LABEL: slliuw_2: ; RV64IBB: # %bb.0: -; RV64IBB-NEXT:slliu.w a0, a0, 4 +; RV64IBB-NEXT:slli.uw a0, a0, 4 ; RV64IBB-NEXT:add a1, a1, a0 ; RV64IBB-NEXT:ld a0, 0(a1) ; RV64IBB-NEXT:ld a1, 8(a1) @@ -1054,12 +1054,12 @@ ; ; RV64IB-LABEL: adduw: ; RV64IB: # %bb.0: -; RV64IB-NEXT:addu.w a0, a0, a1 +; RV64IB-NEXT:add.uw a0, a0, a1 ; RV64IB-NEXT:ret ; ; RV64IBB-LABEL: adduw: ; RV64IBB: # %bb.0: -; RV64IBB-NEXT:addu.w a0, a0, a1 +; RV64IBB-NEXT:add.uw a0, a0, a1 ; RV64IBB-NEXT:ret %and = and i64 %b, 4294967295 %add = add i64 %and, %a @@ -1077,13 +1077,13 @@ ; ; RV64IB-LABEL: adduw_2: ; RV64IB: # %bb.0: -; RV64IB-NEXT:addu.w a0, a1, a0 +; RV64IB-NEXT:add.uw a0, a1, a0 ; RV64IB-NEXT:lb a0, 0(a0) ; RV64IB-NEXT:ret ; ; RV64IBB-LABEL: adduw_2: ; RV64IBB: # %bb.0: -; RV64IBB-NEXT:addu.w a0, a1, a0 +; RV64IBB-NEXT:add.uw a0, a1, a0 ; RV64IBB-NEXT:lb a0, 0(a0) ; RV64IBB-NEXT:ret %3 = zext i32 %0 to i64 Index: llvm/lib/Target/RISCV/RISCVInstrInfoB.td === --- llvm/lib/Target/RISCV/RISCVInstrInfoB.td +++ llvm/lib/Target/RISCV/RISCVInstrInfoB.td @@ -370,8 +370,8 @@ } // Predicates = [HasStdExtZbp] let Predicates = [HasStdExtZbb, IsRV64] in { -def SLLIUW : RVBShift_ri<0b1, 0b001, OPC_OP_IMM_32, "slliu.w">, Sched<[]>; -def ADDUW : ALUW_rr<0b100, 0b000, "addu.w">, Sched<[]>; +def SLLIUW : RVBShift_ri<0b1, 0b001, OPC_OP_IMM_32, "slli.uw">, Sched<[]>; +def ADDUW : ALUW_rr<0b100, 0b000, "add.uw">, Sched<[]>; } // Predicates = [HasStdExtZbb, IsRV64] let Predicates =
[PATCH] D94582: [RISCV] Rename mnemonics slliu.w->slli.uw and addu.w->add.uw to match 0.93 bitmanip spec.
craig.topper updated this revision to Diff 318032. craig.topper added a comment. Herald added a project: clang. Herald added a subscriber: cfe-commits. Rebase Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D94582/new/ https://reviews.llvm.org/D94582 Files: clang/lib/Driver/ToolChains/Arch/RISCV.cpp clang/test/Driver/riscv-arch.c llvm/lib/Target/RISCV/RISCV.td llvm/lib/Target/RISCV/RISCVInstrInfoB.td llvm/lib/Target/RISCV/RISCVSubtarget.h llvm/test/CodeGen/RISCV/rv64Zba.ll llvm/test/CodeGen/RISCV/rv64Zbb.ll llvm/test/MC/RISCV/rv64zba-invalid.s llvm/test/MC/RISCV/rv64zba-valid.s llvm/test/MC/RISCV/rv64zbb-invalid.s llvm/test/MC/RISCV/rv64zbb-valid.s Index: llvm/test/MC/RISCV/rv64zbb-valid.s === --- llvm/test/MC/RISCV/rv64zbb-valid.s +++ llvm/test/MC/RISCV/rv64zbb-valid.s @@ -12,12 +12,6 @@ # RUN: | llvm-objdump --mattr=+experimental-zbb -d -r - \ # RUN: | FileCheck --check-prefix=CHECK-ASM-AND-OBJ %s -# CHECK-ASM-AND-OBJ: slliu.w t0, t1, 0 -# CHECK-ASM: encoding: [0x9b,0x12,0x03,0x08] -slliu.w t0, t1, 0 -# CHECK-ASM-AND-OBJ: addu.w t0, t1, t2 -# CHECK-ASM: encoding: [0xbb,0x02,0x73,0x08] -addu.w t0, t1, t2 # CHECK-ASM-AND-OBJ: slow t0, t1, t2 # CHECK-ASM: encoding: [0xbb,0x12,0x73,0x20] slow t0, t1, t2 Index: llvm/test/MC/RISCV/rv64zbb-invalid.s === --- llvm/test/MC/RISCV/rv64zbb-invalid.s +++ llvm/test/MC/RISCV/rv64zbb-invalid.s @@ -1,13 +1,6 @@ # RUN: not llvm-mc -triple riscv64 -mattr=+experimental-b,experimental-zbb < %s 2>&1 | FileCheck %s # Too few operands -slliu.w t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction -# Immediate operand out of range -slliu.w t0, t1, 64 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] -slliu.w t0, t1, -1 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] -# Too few operands -addu.w t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction -# Too few operands slow t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction # Too few operands srow t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction Index: llvm/test/MC/RISCV/rv64zba-valid.s === --- /dev/null +++ llvm/test/MC/RISCV/rv64zba-valid.s @@ -0,0 +1,20 @@ +# With B extension: +# RUN: llvm-mc %s -triple=riscv64 -mattr=+experimental-b -show-encoding \ +# RUN: | FileCheck -check-prefixes=CHECK-ASM,CHECK-ASM-AND-OBJ %s +# RUN: llvm-mc -filetype=obj -triple=riscv64 -mattr=+experimental-b < %s \ +# RUN: | llvm-objdump --mattr=+experimental-b -d -r - \ +# RUN: | FileCheck --check-prefix=CHECK-ASM-AND-OBJ %s + +# With Bitmanip base extension: +# RUN: llvm-mc %s -triple=riscv64 -mattr=+experimental-zba -show-encoding \ +# RUN: | FileCheck -check-prefixes=CHECK-ASM,CHECK-ASM-AND-OBJ %s +# RUN: llvm-mc -filetype=obj -triple=riscv64 -mattr=+experimental-zba < %s \ +# RUN: | llvm-objdump --mattr=+experimental-zba -d -r - \ +# RUN: | FileCheck --check-prefix=CHECK-ASM-AND-OBJ %s + +# CHECK-ASM-AND-OBJ: slli.uw t0, t1, 0 +# CHECK-ASM: encoding: [0x9b,0x12,0x03,0x08] +slli.uw t0, t1, 0 +# CHECK-ASM-AND-OBJ: add.uw t0, t1, t2 +# CHECK-ASM: encoding: [0xbb,0x02,0x73,0x08] +add.uw t0, t1, t2 Index: llvm/test/MC/RISCV/rv64zba-invalid.s === --- /dev/null +++ llvm/test/MC/RISCV/rv64zba-invalid.s @@ -0,0 +1,9 @@ +# RUN: not llvm-mc -triple riscv64 -mattr=+experimental-b,experimental-zba < %s 2>&1 | FileCheck %s + +# Too few operands +slli.uw t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction +# Immediate operand out of range +slli.uw t0, t1, 64 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] +slli.uw t0, t1, -1 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 63] +# Too few operands +add.uw t0, t1 # CHECK: :[[@LINE]]:1: error: too few operands for instruction Index: llvm/test/CodeGen/RISCV/rv64Zbb.ll === --- llvm/test/CodeGen/RISCV/rv64Zbb.ll +++ llvm/test/CodeGen/RISCV/rv64Zbb.ll @@ -987,107 +987,3 @@ %abs = tail call i64 @llvm.abs.i64(i64 %x, i1 true) ret i64 %abs } - -define i64 @slliuw(i64 %a) nounwind { -; RV64I-LABEL: slliuw: -; RV64I: # %bb.0: -; RV64I-NEXT:slli a0, a0, 1 -; RV64I-NEXT:addi a1, zero, 1 -; RV64I-NEXT:slli a1, a1, 33 -; RV64I-NEXT:addi a1, a1, -2 -; RV64I-NEXT:and a0, a0, a1 -; RV64I-NEXT:ret -; -; RV64IB-LABEL: slliuw: -; RV64IB: # %bb.0: -; RV64IB-NEXT:slliu.w a0, a0, 1 -; RV64IB-NEXT:ret -; -; RV64IBB-LABEL: slliuw: -; RV64IBB: # %bb.0: -; RV64IBB-NEXT:slliu.w a0, a0, 1 -; RV64IBB-NEXT:ret - %conv1 = shl i64 %a, 1 -