From 0a0e0d4e8e73af4dd3a52e9dff40886885b6d4fa Mon Sep 17 00:00:00 2001 From: Simon Pilgrim Date: Fri, 8 Jul 2016 19:51:08 +0000 Subject: [PATCH] [X86] Regenerated bitreverse tests to demonstrate what is going on. llvm-svn: 274915 --- llvm/test/CodeGen/X86/bitreverse.ll | 282 +++++++++++++++++++++++++++- 1 file changed, 275 insertions(+), 7 deletions(-) diff --git a/llvm/test/CodeGen/X86/bitreverse.ll b/llvm/test/CodeGen/X86/bitreverse.ll index 46389b8a955b..3b6280f16cd7 100644 --- a/llvm/test/CodeGen/X86/bitreverse.ll +++ b/llvm/test/CodeGen/X86/bitreverse.ll @@ -1,3 +1,4 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s ; These tests just check that the plumbing is in place for @llvm.bitreverse. The @@ -5,18 +6,239 @@ declare <2 x i16> @llvm.bitreverse.v2i16(<2 x i16>) readnone -define <2 x i16> @test_bitreverse_v2i16(<2 x i16> %a) { +define <2 x i16> @test_bitreverse_v2i16(<2 x i16> %a) nounwind { ; CHECK-LABEL: test_bitreverse_v2i16: -; CHECK: shll +; CHECK: # BB#0: +; CHECK-NEXT: pushl %edi +; CHECK-NEXT: pushl %esi +; CHECK-NEXT: movzwl {{[0-9]+}}(%esp), %edx +; CHECK-NEXT: movzwl {{[0-9]+}}(%esp), %eax +; CHECK-NEXT: movl %eax, %ecx +; CHECK-NEXT: shll $15, %ecx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: andl $2, %esi +; CHECK-NEXT: shll $13, %esi +; CHECK-NEXT: orl %ecx, %esi +; CHECK-NEXT: movl %eax, %ecx +; CHECK-NEXT: andl $4, %ecx +; CHECK-NEXT: shll $11, %ecx +; CHECK-NEXT: orl %esi, %ecx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: andl $8, %esi +; CHECK-NEXT: shll $9, %esi +; CHECK-NEXT: orl %ecx, %esi +; CHECK-NEXT: movl %eax, %edi +; CHECK-NEXT: andl $16, %edi +; CHECK-NEXT: shll $7, %edi +; CHECK-NEXT: orl %esi, %edi +; CHECK-NEXT: movl %eax, %ecx +; CHECK-NEXT: andl $32, %ecx +; CHECK-NEXT: shll $5, %ecx +; CHECK-NEXT: orl %edi, %ecx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: andl $64, %esi +; CHECK-NEXT: shll $3, %esi +; CHECK-NEXT: leal (%eax,%eax), %edi +; CHECK-NEXT: andl $256, %edi # imm = 0x100 +; CHECK-NEXT: orl %esi, %edi +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shrl %esi +; CHECK-NEXT: andl $128, %esi +; CHECK-NEXT: orl %edi, %esi +; CHECK-NEXT: movl %eax, %edi +; CHECK-NEXT: shrl $3, %edi +; CHECK-NEXT: andl $64, %edi +; CHECK-NEXT: orl %esi, %edi +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shrl $5, %esi +; CHECK-NEXT: andl $32, %esi +; CHECK-NEXT: orl %edi, %esi +; CHECK-NEXT: movl %eax, %edi +; CHECK-NEXT: shrl $7, %edi +; CHECK-NEXT: andl $16, %edi +; CHECK-NEXT: orl %esi, %edi +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shrl $9, %esi +; CHECK-NEXT: andl $8, %esi +; CHECK-NEXT: orl %edi, %esi +; CHECK-NEXT: movl %eax, %edi +; CHECK-NEXT: shrl $11, %edi +; CHECK-NEXT: andl $4, %edi +; CHECK-NEXT: orl %esi, %edi +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shrl $13, %esi +; CHECK-NEXT: andl $2, %esi +; CHECK-NEXT: orl %edi, %esi +; CHECK-NEXT: shrl $15, %eax +; CHECK-NEXT: orl %esi, %eax +; CHECK-NEXT: orl %ecx, %eax +; CHECK-NEXT: movl %edx, %ecx +; CHECK-NEXT: shll $15, %ecx +; CHECK-NEXT: movl %edx, %esi +; CHECK-NEXT: andl $2, %esi +; CHECK-NEXT: shll $13, %esi +; CHECK-NEXT: orl %ecx, %esi +; CHECK-NEXT: movl %edx, %ecx +; CHECK-NEXT: andl $4, %ecx +; CHECK-NEXT: shll $11, %ecx +; CHECK-NEXT: orl %esi, %ecx +; CHECK-NEXT: movl %edx, %esi +; CHECK-NEXT: andl $8, %esi +; CHECK-NEXT: shll $9, %esi +; CHECK-NEXT: orl %ecx, %esi +; CHECK-NEXT: movl %edx, %edi +; CHECK-NEXT: andl $16, %edi +; CHECK-NEXT: shll $7, %edi +; CHECK-NEXT: orl %esi, %edi +; CHECK-NEXT: movl %edx, %ecx +; CHECK-NEXT: andl $32, %ecx +; CHECK-NEXT: shll $5, %ecx +; CHECK-NEXT: orl %edi, %ecx +; CHECK-NEXT: movl %edx, %esi +; CHECK-NEXT: andl $64, %esi +; CHECK-NEXT: shll $3, %esi +; CHECK-NEXT: leal (%edx,%edx), %edi +; CHECK-NEXT: andl $256, %edi # imm = 0x100 +; CHECK-NEXT: orl %esi, %edi +; CHECK-NEXT: movl %edx, %esi +; CHECK-NEXT: shrl %esi +; CHECK-NEXT: andl $128, %esi +; CHECK-NEXT: orl %edi, %esi +; CHECK-NEXT: movl %edx, %edi +; CHECK-NEXT: shrl $3, %edi +; CHECK-NEXT: andl $64, %edi +; CHECK-NEXT: orl %esi, %edi +; CHECK-NEXT: movl %edx, %esi +; CHECK-NEXT: shrl $5, %esi +; CHECK-NEXT: andl $32, %esi +; CHECK-NEXT: orl %edi, %esi +; CHECK-NEXT: movl %edx, %edi +; CHECK-NEXT: shrl $7, %edi +; CHECK-NEXT: andl $16, %edi +; CHECK-NEXT: orl %esi, %edi +; CHECK-NEXT: movl %edx, %esi +; CHECK-NEXT: shrl $9, %esi +; CHECK-NEXT: andl $8, %esi +; CHECK-NEXT: orl %edi, %esi +; CHECK-NEXT: movl %edx, %edi +; CHECK-NEXT: shrl $11, %edi +; CHECK-NEXT: andl $4, %edi +; CHECK-NEXT: orl %esi, %edi +; CHECK-NEXT: movl %edx, %esi +; CHECK-NEXT: shrl $13, %esi +; CHECK-NEXT: andl $2, %esi +; CHECK-NEXT: orl %edi, %esi +; CHECK-NEXT: shrl $15, %edx +; CHECK-NEXT: orl %esi, %edx +; CHECK-NEXT: orl %ecx, %edx +; CHECK-NEXT: popl %esi +; CHECK-NEXT: popl %edi +; CHECK-NEXT: retl %b = call <2 x i16> @llvm.bitreverse.v2i16(<2 x i16> %a) ret <2 x i16> %b } declare i24 @llvm.bitreverse.i24(i24) readnone -define i24 @test_bitreverse_i24(i24 %a) { +define i24 @test_bitreverse_i24(i24 %a) nounwind { ; CHECK-LABEL: test_bitreverse_i24: -; CHECK: shll +; CHECK: # BB#0: +; CHECK-NEXT: pushl %esi +; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax +; CHECK-NEXT: movl %eax, %ecx +; CHECK-NEXT: shll $31, %ecx +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: andl $2, %edx +; CHECK-NEXT: shll $29, %edx +; CHECK-NEXT: orl %ecx, %edx +; CHECK-NEXT: movl %eax, %ecx +; CHECK-NEXT: andl $4, %ecx +; CHECK-NEXT: shll $27, %ecx +; CHECK-NEXT: orl %edx, %ecx +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: andl $8, %edx +; CHECK-NEXT: shll $25, %edx +; CHECK-NEXT: orl %ecx, %edx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: andl $16, %esi +; CHECK-NEXT: shll $23, %esi +; CHECK-NEXT: orl %edx, %esi +; CHECK-NEXT: movl %eax, %ecx +; CHECK-NEXT: andl $32, %ecx +; CHECK-NEXT: shll $21, %ecx +; CHECK-NEXT: orl %esi, %ecx +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: andl $64, %edx +; CHECK-NEXT: shll $19, %edx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shll $17, %esi +; CHECK-NEXT: andl $16777216, %esi # imm = 0x1000000 +; CHECK-NEXT: orl %edx, %esi +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shll $15, %edx +; CHECK-NEXT: andl $8388608, %edx # imm = 0x800000 +; CHECK-NEXT: orl %esi, %edx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shll $13, %esi +; CHECK-NEXT: andl $4194304, %esi # imm = 0x400000 +; CHECK-NEXT: orl %edx, %esi +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shll $11, %edx +; CHECK-NEXT: andl $2097152, %edx # imm = 0x200000 +; CHECK-NEXT: orl %esi, %edx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shll $9, %esi +; CHECK-NEXT: andl $1048576, %esi # imm = 0x100000 +; CHECK-NEXT: orl %edx, %esi +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shll $7, %edx +; CHECK-NEXT: andl $524288, %edx # imm = 0x80000 +; CHECK-NEXT: orl %esi, %edx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shll $5, %esi +; CHECK-NEXT: andl $262144, %esi # imm = 0x40000 +; CHECK-NEXT: orl %edx, %esi +; CHECK-NEXT: leal (,%eax,8), %edx +; CHECK-NEXT: andl $131072, %edx # imm = 0x20000 +; CHECK-NEXT: orl %esi, %edx +; CHECK-NEXT: leal (%eax,%eax), %esi +; CHECK-NEXT: andl $65536, %esi # imm = 0x10000 +; CHECK-NEXT: orl %edx, %esi +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shrl %edx +; CHECK-NEXT: andl $32768, %edx # imm = 0x8000 +; CHECK-NEXT: orl %esi, %edx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shrl $3, %esi +; CHECK-NEXT: andl $16384, %esi # imm = 0x4000 +; CHECK-NEXT: orl %edx, %esi +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shrl $5, %edx +; CHECK-NEXT: andl $8192, %edx # imm = 0x2000 +; CHECK-NEXT: orl %esi, %edx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shrl $7, %esi +; CHECK-NEXT: andl $4096, %esi # imm = 0x1000 +; CHECK-NEXT: orl %edx, %esi +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shrl $9, %edx +; CHECK-NEXT: andl $2048, %edx # imm = 0x800 +; CHECK-NEXT: orl %esi, %edx +; CHECK-NEXT: movl %eax, %esi +; CHECK-NEXT: shrl $11, %esi +; CHECK-NEXT: andl $1024, %esi # imm = 0x400 +; CHECK-NEXT: orl %edx, %esi +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shrl $13, %edx +; CHECK-NEXT: andl $512, %edx # imm = 0x200 +; CHECK-NEXT: orl %esi, %edx +; CHECK-NEXT: shrl $15, %eax +; CHECK-NEXT: andl $256, %eax # imm = 0x100 +; CHECK-NEXT: orl %edx, %eax +; CHECK-NEXT: orl %ecx, %eax +; CHECK-NEXT: shrl $8, %eax +; CHECK-NEXT: popl %esi +; CHECK-NEXT: retl %b = call i24 @llvm.bitreverse.i24(i24 %a) ret i24 %b } @@ -25,7 +247,37 @@ declare i8 @llvm.bitreverse.i8(i8) readnone define i8 @test_bitreverse_i8(i8 %a) { ; CHECK-LABEL: test_bitreverse_i8: -; CHECK: shlb +; CHECK: # BB#0: +; CHECK-NEXT: movb {{[0-9]+}}(%esp), %al +; CHECK-NEXT: movl %eax, %ecx +; CHECK-NEXT: shlb $7, %cl +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shlb $5, %dl +; CHECK-NEXT: andb $64, %dl +; CHECK-NEXT: movb %al, %ah +; CHECK-NEXT: shlb $3, %ah +; CHECK-NEXT: andb $32, %ah +; CHECK-NEXT: orb %dl, %ah +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: addb %dl, %dl +; CHECK-NEXT: andb $16, %dl +; CHECK-NEXT: orb %ah, %dl +; CHECK-NEXT: movb %al, %ah +; CHECK-NEXT: shrb %ah +; CHECK-NEXT: andb $8, %ah +; CHECK-NEXT: orb %dl, %ah +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shrb $3, %dl +; CHECK-NEXT: andb $4, %dl +; CHECK-NEXT: orb %ah, %dl +; CHECK-NEXT: movb %al, %ah +; CHECK-NEXT: shrb $5, %ah +; CHECK-NEXT: andb $2, %ah +; CHECK-NEXT: orb %dl, %ah +; CHECK-NEXT: shrb $7, %al +; CHECK-NEXT: orb %ah, %al +; CHECK-NEXT: orb %cl, %al +; CHECK-NEXT: retl %b = call i8 @llvm.bitreverse.i8(i8 %a) ret i8 %b } @@ -34,7 +286,23 @@ declare i4 @llvm.bitreverse.i4(i4) readnone define i4 @test_bitreverse_i4(i4 %a) { ; CHECK-LABEL: test_bitreverse_i4: -; CHECK: shlb +; CHECK: # BB#0: +; CHECK-NEXT: movb {{[0-9]+}}(%esp), %al +; CHECK-NEXT: movl %eax, %ecx +; CHECK-NEXT: shlb $7, %cl +; CHECK-NEXT: movl %eax, %edx +; CHECK-NEXT: shlb $5, %dl +; CHECK-NEXT: andb $64, %dl +; CHECK-NEXT: movb %al, %ah +; CHECK-NEXT: shlb $3, %ah +; CHECK-NEXT: andb $32, %ah +; CHECK-NEXT: orb %dl, %ah +; CHECK-NEXT: addb %al, %al +; CHECK-NEXT: andb $16, %al +; CHECK-NEXT: orb %ah, %al +; CHECK-NEXT: orb %cl, %al +; CHECK-NEXT: shrb $4, %al +; CHECK-NEXT: retl %b = call i4 @llvm.bitreverse.i4(i4 %a) ret i4 %b } @@ -54,7 +322,7 @@ define <2 x i16> @fold_v2i16() { define i24 @fold_i24() { ; CHECK-LABEL: fold_i24: ; CHECK: # BB#0: -; CHECK-NEXT: movl $2048, %eax +; CHECK-NEXT: movl $2048, %eax # imm = 0x800 ; CHECK-NEXT: retl %b = call i24 @llvm.bitreverse.i24(i24 4096) ret i24 %b