[PATCH] D81817: [X86] Add support for inline assembly 'x' constraint for i128.

[Craig Topper via Phabricator via llvm-commits]

craig.topper created this revision.
craig.topper added reviewers: RKSimon, spatel, echristo.
Herald added a subscriber: hiraditya.
Herald added a project: LLVM.

Limiting to x86-64 since that's when __int128 is legal in clang.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D81817

Files:
  llvm/lib/Target/X86/X86ISelLowering.cpp
  llvm/test/CodeGen/X86/inline-asm-x-i128.ll


Index: llvm/test/CodeGen/X86/inline-asm-x-i128.ll
===================================================================
--- /dev/null
+++ llvm/test/CodeGen/X86/inline-asm-x-i128.ll
@@ -0,0 +1,28 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
+
+define { i64, i64 } @foo(i64 %0, i64 %1) {
+; CHECK-LABEL: foo:
+; CHECK:       # %bb.0:
+; CHECK-NEXT:    movq %rsi, %xmm0
+; CHECK-NEXT:    movq %rdi, %xmm1
+; CHECK-NEXT:    punpcklqdq {{.*#+}} xmm1 = xmm1[0],xmm0[0]
+; CHECK-NEXT:    #APP
+; CHECK-NEXT:    movdqa %xmm1, %xmm0
+; CHECK-NEXT:    #NO_APP
+; CHECK-NEXT:    movq %xmm0, %rax
+; CHECK-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
+; CHECK-NEXT:    movq %xmm0, %rdx
+; CHECK-NEXT:    retq
+  %3 = zext i64 %1 to i128
+  %4 = shl nuw i128 %3, 64
+  %5 = zext i64 %0 to i128
+  %6 = or i128 %4, %5
+  %7 = tail call i128 asm sideeffect "movdqa  $1, $0", "=x,x,~{dirflag},~{fpsr},~{flags}"(i128 %6)
+  %8 = trunc i128 %7 to i64
+  %9 = lshr i128 %7, 64
+  %10 = trunc i128 %9 to i64
+  %11 = insertvalue { i64, i64 } undef, i64 %8, 0
+  %12 = insertvalue { i64, i64 } %11, i64 %10, 1
+  ret { i64, i64 } %12
+}
Index: llvm/lib/Target/X86/X86ISelLowering.cpp
===================================================================
--- llvm/lib/Target/X86/X86ISelLowering.cpp
+++ llvm/lib/Target/X86/X86ISelLowering.cpp
@@ -49139,7 +49139,13 @@
         if (VConstraint && Subtarget.hasVLX())
           return std::make_pair(0U, &X86::FR64XRegClass);
         return std::make_pair(0U, &X86::FR64RegClass);
-      // TODO: Handle i128 in FR128RegClass after it is tested well.
+      case MVT::i128:
+        if (Subtarget.is64Bit()) {
+          if (VConstraint && Subtarget.hasVLX())
+            return std::make_pair(0U, &X86::VR128XRegClass);
+          return std::make_pair(0U, &X86::VR128RegClass);
+        }
+        break;
       // Vector types and fp128.
       case MVT::f128:
       case MVT::v16i8:


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D81817.270651.patch
Type: text/x-patch
Size: 2017 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200615/beee0d97/attachment.bin>