[llvm] r374748 - [X86] Autogenerate complete checks. NFC
Craig Topper via llvm-commits
llvm-commits at lists.llvm.org
Sun Oct 13 18:41:04 PDT 2019
Author: ctopper
Date: Sun Oct 13 18:41:04 2019
New Revision: 374748
URL: http://llvm.org/viewvc/llvm-project?rev=374748&view=rev
Log:
[X86] Autogenerate complete checks. NFC
Modified:
llvm/trunk/test/CodeGen/X86/h-registers-0.ll
llvm/trunk/test/CodeGen/X86/h-registers-3.ll
Modified: llvm/trunk/test/CodeGen/X86/h-registers-0.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/h-registers-0.ll?rev=374748&r1=374747&r2=374748&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/h-registers-0.ll (original)
+++ llvm/trunk/test/CodeGen/X86/h-registers-0.ll Sun Oct 13 18:41:04 2019
@@ -1,5 +1,6 @@
-; RUN: llc < %s -mattr=-bmi -mtriple=x86_64-linux | FileCheck %s -check-prefix=X86-64
-; RUN: llc < %s -mattr=-bmi -mtriple=x86_64-linux-gnux32 | FileCheck %s -check-prefix=X86-64
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mattr=-bmi -mtriple=x86_64-linux | FileCheck %s -check-prefix=X86-64 -check-prefix=X64
+; RUN: llc < %s -mattr=-bmi -mtriple=x86_64-linux-gnux32 | FileCheck %s -check-prefix=X86-64 -check-prefix=X32
; RUN: llc < %s -mattr=-bmi -mtriple=x86_64-win32 | FileCheck %s -check-prefix=WIN64
; RUN: llc < %s -mattr=-bmi -mtriple=i686-- | FileCheck %s -check-prefix=X86-32
@@ -7,18 +8,36 @@
; of h registers yet, due to x86 encoding complications.
define void @bar64(i64 inreg %x, i8* inreg %p) nounwind {
-; X86-64-LABEL: bar64:
-; X86-64: shrq $8, %rdi
-; X86-64: incb %dil
+; X64-LABEL: bar64:
+; X64: # %bb.0:
+; X64-NEXT: shrq $8, %rdi
+; X64-NEXT: incb %dil
+; X64-NEXT: movb %dil, (%rsi)
+; X64-NEXT: retq
+;
+; X32-LABEL: bar64:
+; X32: # %bb.0:
+; X32-NEXT: shrq $8, %rdi
+; X32-NEXT: incb %dil
+; X32-NEXT: movb %dil, (%esi)
+; X32-NEXT: retq
+;
+; WIN64-LABEL: bar64:
+; WIN64: # %bb.0:
+; WIN64-NEXT: shrq $8, %rcx
+; WIN64-NEXT: incb %cl
+; WIN64-NEXT: movb %cl, (%rdx)
+; WIN64-NEXT: retq
+;
+; X86-32-LABEL: bar64:
+; X86-32: # %bb.0:
+; X86-32-NEXT: incb %ah
+; X86-32-NEXT: movb %ah, (%ecx)
+; X86-32-NEXT: retl
; See FIXME: on regclass GR8.
; It could be optimally transformed like; incb %ch; movb %ch, (%rdx)
-; WIN64-LABEL: bar64:
-; WIN64: shrq $8, %rcx
-; WIN64: incb %cl
-; X86-32-LABEL: bar64:
-; X86-32: incb %ah
%t0 = lshr i64 %x, 8
%t1 = trunc i64 %t0 to i8
%t2 = add i8 %t1, 1
@@ -27,16 +46,34 @@ define void @bar64(i64 inreg %x, i8* inr
}
define void @bar32(i32 inreg %x, i8* inreg %p) nounwind {
-; X86-64-LABEL: bar32:
-; X86-64: shrl $8, %edi
-; X86-64: incb %dil
-
-; WIN64-LABEL: bar32:
-; WIN64: shrl $8, %ecx
-; WIN64: incb %cl
-
+; X64-LABEL: bar32:
+; X64: # %bb.0:
+; X64-NEXT: shrl $8, %edi
+; X64-NEXT: incb %dil
+; X64-NEXT: movb %dil, (%rsi)
+; X64-NEXT: retq
+;
+; X32-LABEL: bar32:
+; X32: # %bb.0:
+; X32-NEXT: shrl $8, %edi
+; X32-NEXT: incb %dil
+; X32-NEXT: movb %dil, (%esi)
+; X32-NEXT: retq
+;
+; WIN64-LABEL: bar32:
+; WIN64: # %bb.0:
+; WIN64-NEXT: shrl $8, %ecx
+; WIN64-NEXT: incb %cl
+; WIN64-NEXT: movb %cl, (%rdx)
+; WIN64-NEXT: retq
+;
; X86-32-LABEL: bar32:
-; X86-32: incb %ah
+; X86-32: # %bb.0:
+; X86-32-NEXT: incb %ah
+; X86-32-NEXT: movb %ah, (%edx)
+; X86-32-NEXT: retl
+
+
%t0 = lshr i32 %x, 8
%t1 = trunc i32 %t0 to i8
%t2 = add i8 %t1, 1
@@ -45,16 +82,35 @@ define void @bar32(i32 inreg %x, i8* inr
}
define void @bar16(i16 inreg %x, i8* inreg %p) nounwind {
-; X86-64-LABEL: bar16:
-; X86-64: shrl $8, %edi
-; X86-64: incb %dil
-
-; WIN64-LABEL: bar16:
-; WIN64: shrl $8, %ecx
-; WIN64: incb %cl
-
+; X64-LABEL: bar16:
+; X64: # %bb.0:
+; X64-NEXT: shrl $8, %edi
+; X64-NEXT: incb %dil
+; X64-NEXT: movb %dil, (%rsi)
+; X64-NEXT: retq
+;
+; X32-LABEL: bar16:
+; X32: # %bb.0:
+; X32-NEXT: shrl $8, %edi
+; X32-NEXT: incb %dil
+; X32-NEXT: movb %dil, (%esi)
+; X32-NEXT: retq
+;
+; WIN64-LABEL: bar16:
+; WIN64: # %bb.0:
+; WIN64-NEXT: # kill: def $cx killed $cx def $ecx
+; WIN64-NEXT: shrl $8, %ecx
+; WIN64-NEXT: incb %cl
+; WIN64-NEXT: movb %cl, (%rdx)
+; WIN64-NEXT: retq
+;
; X86-32-LABEL: bar16:
-; X86-32: incb %ah
+; X86-32: # %bb.0:
+; X86-32-NEXT: incb %ah
+; X86-32-NEXT: movb %ah, (%edx)
+; X86-32-NEXT: retl
+
+
%t0 = lshr i16 %x, 8
%t1 = trunc i16 %t0 to i8
%t2 = add i8 %t1, 1
@@ -64,14 +120,23 @@ define void @bar16(i16 inreg %x, i8* inr
define i64 @qux64(i64 inreg %x) nounwind {
; X86-64-LABEL: qux64:
-; X86-64: movq %rdi, %rax
-; X86-64: movzbl %ah, %eax
+; X86-64: # %bb.0:
+; X86-64-NEXT: movq %rdi, %rax
+; X86-64-NEXT: movzbl %ah, %eax
+; X86-64-NEXT: retq
+;
+; WIN64-LABEL: qux64:
+; WIN64: # %bb.0:
+; WIN64-NEXT: movzbl %ch, %eax
+; WIN64-NEXT: retq
+;
+; X86-32-LABEL: qux64:
+; X86-32: # %bb.0:
+; X86-32-NEXT: movzbl %ah, %eax
+; X86-32-NEXT: xorl %edx, %edx
+; X86-32-NEXT: retl
-; WIN64-LABEL: qux64:
-; WIN64: movzbl %ch, %eax
-; X86-32-LABEL: qux64:
-; X86-32: movzbl %ah, %eax
%t0 = lshr i64 %x, 8
%t1 = and i64 %t0, 255
ret i64 %t1
@@ -79,14 +144,22 @@ define i64 @qux64(i64 inreg %x) nounwind
define i32 @qux32(i32 inreg %x) nounwind {
; X86-64-LABEL: qux32:
-; X86-64: movl %edi, %eax
-; X86-64: movzbl %ah, %eax
+; X86-64: # %bb.0:
+; X86-64-NEXT: movl %edi, %eax
+; X86-64-NEXT: movzbl %ah, %eax
+; X86-64-NEXT: retq
+;
+; WIN64-LABEL: qux32:
+; WIN64: # %bb.0:
+; WIN64-NEXT: movzbl %ch, %eax
+; WIN64-NEXT: retq
+;
+; X86-32-LABEL: qux32:
+; X86-32: # %bb.0:
+; X86-32-NEXT: movzbl %ah, %eax
+; X86-32-NEXT: retl
-; WIN64-LABEL: qux32:
-; WIN64: movzbl %ch, %eax
-; X86-32-LABEL: qux32:
-; X86-32: movzbl %ah, %eax
%t0 = lshr i32 %x, 8
%t1 = and i32 %t0, 255
ret i32 %t1
@@ -94,15 +167,26 @@ define i32 @qux32(i32 inreg %x) nounwind
define i16 @qux16(i16 inreg %x) nounwind {
; X86-64-LABEL: qux16:
-; X86-64: movl %edi, %eax
-; X86-64: movzbl %ah, %eax
+; X86-64: # %bb.0:
+; X86-64-NEXT: movl %edi, %eax
+; X86-64-NEXT: movzbl %ah, %eax
+; X86-64-NEXT: # kill: def $ax killed $ax killed $eax
+; X86-64-NEXT: retq
+;
+; WIN64-LABEL: qux16:
+; WIN64: # %bb.0:
+; WIN64-NEXT: movzwl %cx, %eax
+; WIN64-NEXT: shrl $8, %eax
+; WIN64-NEXT: # kill: def $ax killed $ax killed $eax
+; WIN64-NEXT: retq
+;
+; X86-32-LABEL: qux16:
+; X86-32: # %bb.0:
+; X86-32-NEXT: movzbl %ah, %eax
+; X86-32-NEXT: # kill: def $ax killed $ax killed $eax
+; X86-32-NEXT: retl
-; WIN64-LABEL: qux16:
-; WIN64: movzwl %cx, %eax
-; WIN64: shrl $8, %eax
-; X86-32-LABEL: qux16:
-; X86-32: movzbl %ah, %eax
%t0 = lshr i16 %x, 8
ret i16 %t0
}
Modified: llvm/trunk/test/CodeGen/X86/h-registers-3.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/h-registers-3.ll?rev=374748&r1=374747&r2=374748&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/h-registers-3.ll (original)
+++ llvm/trunk/test/CodeGen/X86/h-registers-3.ll Sun Oct 13 18:41:04 2019
@@ -1,35 +1,46 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=i686-unknown-linux-gnu | FileCheck %s -check-prefix=X86
; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s -check-prefix=X64
; RUN: llc < %s -mtriple=x86_64-linux-gnux32 | FileCheck %s -check-prefix=X32
define zeroext i8 @foo() nounwind ssp {
+; X86-LABEL: foo:
+; X86: # %bb.0: # %entry
+; X86-NEXT: subl $12, %esp
+; X86-NEXT: calll bar
+; X86-NEXT: movb %ah, %al
+; X86-NEXT: addl $12, %esp
+; X86-NEXT: retl
+;
+; X64-LABEL: foo:
+; X64: # %bb.0: # %entry
+; X64-NEXT: pushq %rax
+; X64-NEXT: xorl %eax, %eax
+; X64-NEXT: callq bar
+; X64-NEXT: # kill: def $ax killed $ax def $eax
+; X64-NEXT: shrl $8, %eax
+; X64-NEXT: # kill: def $al killed $al killed $eax
+; X64-NEXT: popq %rcx
+; X64-NEXT: retq
+;
+; X32-LABEL: foo:
+; X32: # %bb.0: # %entry
+; X32-NEXT: pushq %rax
+; X32-NEXT: xorl %eax, %eax
+; X32-NEXT: callq bar
+; X32-NEXT: # kill: def $ax killed $ax def $eax
+; X32-NEXT: shrl $8, %eax
+; X32-NEXT: # kill: def $al killed $al killed $eax
+; X32-NEXT: popq %rcx
+; X32-NEXT: retq
entry:
%0 = tail call zeroext i16 (...) @bar() nounwind
%1 = lshr i16 %0, 8
%2 = trunc i16 %1 to i8
ret i8 %2
-; X86-LABEL: foo
-; X86: calll
-; X86-NEXT: movb %ah, %al
-; X86-NEXT: addl $12, %esp
-; X86-NEXT: retl
-; X64-LABEL: foo
-; X64: callq
-; X64-NEXT: # kill
-; X64-NEXT: shrl $8, %eax
-; X64-NEXT: # kill
-; X64-NEXT: popq
-; X64-NEXT: retq
-; X32-LABEL: foo
-; X32: callq
-; X32-NEXT: # kill
-; X32-NEXT: shrl $8, %eax
-; X32-NEXT: # kill
-; X32-NEXT: popq
-; X32-NEXT: retq
}
declare zeroext i16 @bar(...)
More information about the llvm-commits
mailing list