[llvm] r362692 - [MIPS GlobalISel] Select sqrt
Petar Avramovic via llvm-commits
llvm-commits at lists.llvm.org
Thu Jun 6 03:00:42 PDT 2019
Author: petar.avramovic
Date: Thu Jun 6 03:00:41 2019
New Revision: 362692
URL: http://llvm.org/viewvc/llvm-project?rev=362692&view=rev
Log:
[MIPS GlobalISel] Select sqrt
Select G_FSQRT for MIPS32.
Differential Revision: https://reviews.llvm.org/D62905
Added:
llvm/trunk/test/CodeGen/Mips/GlobalISel/instruction-select/fsqrt.mir
llvm/trunk/test/CodeGen/Mips/GlobalISel/legalizer/fsqrt.mir
llvm/trunk/test/CodeGen/Mips/GlobalISel/llvm-ir/fsqrt.ll
llvm/trunk/test/CodeGen/Mips/GlobalISel/regbankselect/fsqrt.mir
Modified:
llvm/trunk/lib/Target/Mips/MipsLegalizerInfo.cpp
llvm/trunk/lib/Target/Mips/MipsRegisterBankInfo.cpp
Modified: llvm/trunk/lib/Target/Mips/MipsLegalizerInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/Mips/MipsLegalizerInfo.cpp?rev=362692&r1=362691&r2=362692&view=diff
==============================================================================
--- llvm/trunk/lib/Target/Mips/MipsLegalizerInfo.cpp (original)
+++ llvm/trunk/lib/Target/Mips/MipsLegalizerInfo.cpp Thu Jun 6 03:00:41 2019
@@ -94,7 +94,7 @@ MipsLegalizerInfo::MipsLegalizerInfo(con
getActionDefinitionsBuilder(G_FCONSTANT)
.legalFor({s32, s64});
- getActionDefinitionsBuilder({G_FADD, G_FSUB, G_FMUL, G_FDIV, G_FABS})
+ getActionDefinitionsBuilder({G_FADD, G_FSUB, G_FMUL, G_FDIV, G_FABS, G_FSQRT})
.legalFor({s32, s64});
getActionDefinitionsBuilder(G_FCMP)
Modified: llvm/trunk/lib/Target/Mips/MipsRegisterBankInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/Mips/MipsRegisterBankInfo.cpp?rev=362692&r1=362691&r2=362692&view=diff
==============================================================================
--- llvm/trunk/lib/Target/Mips/MipsRegisterBankInfo.cpp (original)
+++ llvm/trunk/lib/Target/Mips/MipsRegisterBankInfo.cpp Thu Jun 6 03:00:41 2019
@@ -134,7 +134,8 @@ MipsRegisterBankInfo::getInstrMapping(co
case G_FSUB:
case G_FMUL:
case G_FDIV:
- case G_FABS: {
+ case G_FABS:
+ case G_FSQRT:{
unsigned Size = MRI.getType(MI.getOperand(0).getReg()).getSizeInBits();
assert((Size == 32 || Size == 64) && "Unsupported floating point size");
OperandsMapping = Size == 32 ? &Mips::ValueMappings[Mips::SPRIdx]
Added: llvm/trunk/test/CodeGen/Mips/GlobalISel/instruction-select/fsqrt.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/Mips/GlobalISel/instruction-select/fsqrt.mir?rev=362692&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/Mips/GlobalISel/instruction-select/fsqrt.mir (added)
+++ llvm/trunk/test/CodeGen/Mips/GlobalISel/instruction-select/fsqrt.mir Thu Jun 6 03:00:41 2019
@@ -0,0 +1,65 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+# RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=FP32
+# RUN: llc -O0 -mtriple=mipsel-linux-gnu -mattr=+fp64,+mips32r2 -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=FP64
+--- |
+
+ define void @sqrt_f32() {entry: ret void}
+ define void @sqrt_f64() {entry: ret void}
+
+...
+---
+name: sqrt_f32
+alignment: 2
+legalized: true
+regBankSelected: true
+tracksRegLiveness: true
+body: |
+ bb.1.entry:
+ liveins: $f12
+
+ ; FP32-LABEL: name: sqrt_f32
+ ; FP32: liveins: $f12
+ ; FP32: [[COPY:%[0-9]+]]:fgr32 = COPY $f12
+ ; FP32: [[FSQRT_S:%[0-9]+]]:fgr32 = FSQRT_S [[COPY]]
+ ; FP32: $f0 = COPY [[FSQRT_S]]
+ ; FP32: RetRA implicit $f0
+ ; FP64-LABEL: name: sqrt_f32
+ ; FP64: liveins: $f12
+ ; FP64: [[COPY:%[0-9]+]]:fgr32 = COPY $f12
+ ; FP64: [[FSQRT_S:%[0-9]+]]:fgr32 = FSQRT_S [[COPY]]
+ ; FP64: $f0 = COPY [[FSQRT_S]]
+ ; FP64: RetRA implicit $f0
+ %0:fprb(s32) = COPY $f12
+ %1:fprb(s32) = G_FSQRT %0
+ $f0 = COPY %1(s32)
+ RetRA implicit $f0
+
+...
+---
+name: sqrt_f64
+alignment: 2
+legalized: true
+regBankSelected: true
+tracksRegLiveness: true
+body: |
+ bb.1.entry:
+ liveins: $d6
+
+ ; FP32-LABEL: name: sqrt_f64
+ ; FP32: liveins: $d6
+ ; FP32: [[COPY:%[0-9]+]]:afgr64 = COPY $d6
+ ; FP32: [[FSQRT_D32_:%[0-9]+]]:afgr64 = FSQRT_D32 [[COPY]]
+ ; FP32: $d0 = COPY [[FSQRT_D32_]]
+ ; FP32: RetRA implicit $d0
+ ; FP64-LABEL: name: sqrt_f64
+ ; FP64: liveins: $d6
+ ; FP64: [[COPY:%[0-9]+]]:fgr64 = COPY $d6
+ ; FP64: [[FSQRT_D64_:%[0-9]+]]:fgr64 = FSQRT_D64 [[COPY]]
+ ; FP64: $d0 = COPY [[FSQRT_D64_]]
+ ; FP64: RetRA implicit $d0
+ %0:fprb(s64) = COPY $d6
+ %1:fprb(s64) = G_FSQRT %0
+ $d0 = COPY %1(s64)
+ RetRA implicit $d0
+
+...
Added: llvm/trunk/test/CodeGen/Mips/GlobalISel/legalizer/fsqrt.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/Mips/GlobalISel/legalizer/fsqrt.mir?rev=362692&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/Mips/GlobalISel/legalizer/fsqrt.mir (added)
+++ llvm/trunk/test/CodeGen/Mips/GlobalISel/legalizer/fsqrt.mir Thu Jun 6 03:00:41 2019
@@ -0,0 +1,61 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+# RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=FP32
+# RUN: llc -O0 -mtriple=mipsel-linux-gnu -mattr=+fp64,+mips32r2 -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=FP64
+--- |
+
+ define void @sqrt_f32() {entry: ret void}
+ define void @sqrt_f64() {entry: ret void}
+
+...
+---
+name: sqrt_f32
+alignment: 2
+tracksRegLiveness: true
+body: |
+ bb.1.entry:
+ liveins: $f12
+
+ ; FP32-LABEL: name: sqrt_f32
+ ; FP32: liveins: $f12
+ ; FP32: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
+ ; FP32: [[FSQRT:%[0-9]+]]:_(s32) = G_FSQRT [[COPY]]
+ ; FP32: $f0 = COPY [[FSQRT]](s32)
+ ; FP32: RetRA implicit $f0
+ ; FP64-LABEL: name: sqrt_f32
+ ; FP64: liveins: $f12
+ ; FP64: [[COPY:%[0-9]+]]:_(s32) = COPY $f12
+ ; FP64: [[FSQRT:%[0-9]+]]:_(s32) = G_FSQRT [[COPY]]
+ ; FP64: $f0 = COPY [[FSQRT]](s32)
+ ; FP64: RetRA implicit $f0
+ %0:_(s32) = COPY $f12
+ %1:_(s32) = G_FSQRT %0
+ $f0 = COPY %1(s32)
+ RetRA implicit $f0
+
+...
+---
+name: sqrt_f64
+alignment: 2
+tracksRegLiveness: true
+body: |
+ bb.1.entry:
+ liveins: $d6
+
+ ; FP32-LABEL: name: sqrt_f64
+ ; FP32: liveins: $d6
+ ; FP32: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
+ ; FP32: [[FSQRT:%[0-9]+]]:_(s64) = G_FSQRT [[COPY]]
+ ; FP32: $d0 = COPY [[FSQRT]](s64)
+ ; FP32: RetRA implicit $d0
+ ; FP64-LABEL: name: sqrt_f64
+ ; FP64: liveins: $d6
+ ; FP64: [[COPY:%[0-9]+]]:_(s64) = COPY $d6
+ ; FP64: [[FSQRT:%[0-9]+]]:_(s64) = G_FSQRT [[COPY]]
+ ; FP64: $d0 = COPY [[FSQRT]](s64)
+ ; FP64: RetRA implicit $d0
+ %0:_(s64) = COPY $d6
+ %1:_(s64) = G_FSQRT %0
+ $d0 = COPY %1(s64)
+ RetRA implicit $d0
+
+...
Added: llvm/trunk/test/CodeGen/Mips/GlobalISel/llvm-ir/fsqrt.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/Mips/GlobalISel/llvm-ir/fsqrt.ll?rev=362692&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/Mips/GlobalISel/llvm-ir/fsqrt.ll (added)
+++ llvm/trunk/test/CodeGen/Mips/GlobalISel/llvm-ir/fsqrt.ll Thu Jun 6 03:00:41 2019
@@ -0,0 +1,27 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -O0 -mtriple=mipsel-linux-gnu -global-isel -verify-machineinstrs %s -o -| FileCheck %s -check-prefixes=MIPS32,FP32
+; RUN: llc -O0 -mtriple=mipsel-linux-gnu -mattr=+fp64,+mips32r2 -global-isel -verify-machineinstrs %s -o -| FileCheck %s -check-prefixes=MIPS32,FP64
+
+declare float @llvm.sqrt.f32(float)
+define float @sqrt_f32(float %a) {
+; MIPS32-LABEL: sqrt_f32:
+; MIPS32: # %bb.0: # %entry
+; MIPS32-NEXT: sqrt.s $f0, $f12
+; MIPS32-NEXT: jr $ra
+; MIPS32-NEXT: nop
+entry:
+ %0 = call float @llvm.sqrt.f32(float %a)
+ ret float %0
+}
+
+declare double @llvm.sqrt.f64(double)
+define double @sqrt_f64(double %a) {
+; MIPS32-LABEL: sqrt_f64:
+; MIPS32: # %bb.0: # %entry
+; MIPS32-NEXT: sqrt.d $f0, $f12
+; MIPS32-NEXT: jr $ra
+; MIPS32-NEXT: nop
+entry:
+ %0 = call double @llvm.sqrt.f64(double %a)
+ ret double %0
+}
Added: llvm/trunk/test/CodeGen/Mips/GlobalISel/regbankselect/fsqrt.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/Mips/GlobalISel/regbankselect/fsqrt.mir?rev=362692&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/Mips/GlobalISel/regbankselect/fsqrt.mir (added)
+++ llvm/trunk/test/CodeGen/Mips/GlobalISel/regbankselect/fsqrt.mir Thu Jun 6 03:00:41 2019
@@ -0,0 +1,63 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+# RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=regbankselect -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=FP32
+# RUN: llc -O0 -mtriple=mipsel-linux-gnu -mattr=+fp64,+mips32r2 -run-pass=regbankselect -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=FP64
+--- |
+
+ define void @sqrt_f32() {entry: ret void}
+ define void @sqrt_f64() {entry: ret void}
+
+...
+---
+name: sqrt_f32
+alignment: 2
+legalized: true
+tracksRegLiveness: true
+body: |
+ bb.1.entry:
+ liveins: $f12
+
+ ; FP32-LABEL: name: sqrt_f32
+ ; FP32: liveins: $f12
+ ; FP32: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f12
+ ; FP32: [[FSQRT:%[0-9]+]]:fprb(s32) = G_FSQRT [[COPY]]
+ ; FP32: $f0 = COPY [[FSQRT]](s32)
+ ; FP32: RetRA implicit $f0
+ ; FP64-LABEL: name: sqrt_f32
+ ; FP64: liveins: $f12
+ ; FP64: [[COPY:%[0-9]+]]:fprb(s32) = COPY $f12
+ ; FP64: [[FSQRT:%[0-9]+]]:fprb(s32) = G_FSQRT [[COPY]]
+ ; FP64: $f0 = COPY [[FSQRT]](s32)
+ ; FP64: RetRA implicit $f0
+ %0:_(s32) = COPY $f12
+ %1:_(s32) = G_FSQRT %0
+ $f0 = COPY %1(s32)
+ RetRA implicit $f0
+
+...
+---
+name: sqrt_f64
+alignment: 2
+legalized: true
+tracksRegLiveness: true
+body: |
+ bb.1.entry:
+ liveins: $d6
+
+ ; FP32-LABEL: name: sqrt_f64
+ ; FP32: liveins: $d6
+ ; FP32: [[COPY:%[0-9]+]]:fprb(s64) = COPY $d6
+ ; FP32: [[FSQRT:%[0-9]+]]:fprb(s64) = G_FSQRT [[COPY]]
+ ; FP32: $d0 = COPY [[FSQRT]](s64)
+ ; FP32: RetRA implicit $d0
+ ; FP64-LABEL: name: sqrt_f64
+ ; FP64: liveins: $d6
+ ; FP64: [[COPY:%[0-9]+]]:fprb(s64) = COPY $d6
+ ; FP64: [[FSQRT:%[0-9]+]]:fprb(s64) = G_FSQRT [[COPY]]
+ ; FP64: $d0 = COPY [[FSQRT]](s64)
+ ; FP64: RetRA implicit $d0
+ %0:_(s64) = COPY $d6
+ %1:_(s64) = G_FSQRT %0
+ $d0 = COPY %1(s64)
+ RetRA implicit $d0
+
+...
More information about the llvm-commits
mailing list