Skip to content

Commit

Permalink
[X86] Expose the various _rot intrinsics on non-MS platforms
Browse files Browse the repository at this point in the history
_rotl, _rotwl and _lrotl (and their right-shift counterparts) are official x86
intrinsics, and should be supported regardless of environment. This is in contrast
to _rotl8, _rotl16, and _rotl64 which are MS-specific.

Note that the MS documentation for _lrotl is different from the Intel 
documentation. Intel explicitly documents it as a 64-bit rotate, while for MS,
since sizeof(unsigned long) for MSVC is always 4, a 32-bit rotate is implied.

Differential Revision: http://reviews.llvm.org/D12271

llvm-svn: 245923
  • Loading branch information
Michael Kuperstein committed Aug 25, 2015
1 parent bc385da commit 2c8f9c2
Show file tree
Hide file tree
Showing 3 changed files with 143 additions and 20 deletions.
20 changes: 0 additions & 20 deletions clang/lib/Headers/Intrin.h
Expand Up @@ -463,26 +463,6 @@ _rotr16(unsigned short _Value, unsigned char _Shift) {
_Shift &= 0xf;
return _Shift ? (_Value >> _Shift) | (_Value << (16 - _Shift)) : _Value;
}
static __inline__ unsigned int __DEFAULT_FN_ATTRS
_rotl(unsigned int _Value, int _Shift) {
_Shift &= 0x1f;
return _Shift ? (_Value << _Shift) | (_Value >> (32 - _Shift)) : _Value;
}
static __inline__ unsigned int __DEFAULT_FN_ATTRS
_rotr(unsigned int _Value, int _Shift) {
_Shift &= 0x1f;
return _Shift ? (_Value >> _Shift) | (_Value << (32 - _Shift)) : _Value;
}
static __inline__ unsigned long __DEFAULT_FN_ATTRS
_lrotl(unsigned long _Value, int _Shift) {
_Shift &= 0x1f;
return _Shift ? (_Value << _Shift) | (_Value >> (32 - _Shift)) : _Value;
}
static __inline__ unsigned long __DEFAULT_FN_ATTRS
_lrotr(unsigned long _Value, int _Shift) {
_Shift &= 0x1f;
return _Shift ? (_Value >> _Shift) | (_Value << (32 - _Shift)) : _Value;
}
static
__inline__ unsigned __int64 __DEFAULT_FN_ATTRS
_rotl64(unsigned __int64 _Value, int _Shift) {
Expand Down
54 changes: 54 additions & 0 deletions clang/lib/Headers/immintrin.h
Expand Up @@ -148,4 +148,58 @@ _writegsbase_u64(unsigned long long __V)
* whereas others are also available at all times. */
#include <adxintrin.h>

static __inline__ unsigned short __attribute__((__always_inline__, __nodebug__))
_rotwl(unsigned short _Value, int _Shift) {
_Shift &= 0xf;
return _Shift ? (_Value << _Shift) | (_Value >> (16 - _Shift)) : _Value;
}

static __inline__ unsigned short __attribute__((__always_inline__, __nodebug__))
_rotwr(unsigned short _Value, int _Shift) {
_Shift &= 0xf;
return _Shift ? (_Value >> _Shift) | (_Value << (16 - _Shift)) : _Value;
}

static __inline__ unsigned int __attribute__((__always_inline__, __nodebug__))
_rotl(unsigned int _Value, int _Shift) {
_Shift &= 0x1f;
return _Shift ? (_Value << _Shift) | (_Value >> (32 - _Shift)) : _Value;
}

static __inline__ unsigned int __attribute__((__always_inline__, __nodebug__))
_rotr(unsigned int _Value, int _Shift) {
_Shift &= 0x1f;
return _Shift ? (_Value >> _Shift) | (_Value << (32 - _Shift)) : _Value;
}

/*
* MS defines _lrotl/_lrotr in a slightly incompatible way, since
* unsigned long is always 32-bit in MSVC.
*/
#ifdef _MSC_VER
static __inline__ unsigned long __attribute__((__always_inline__, __nodebug__))
_lrotl(unsigned long _Value, int _Shift) {
_Shift &= 0x1f;
return _Shift ? (_Value << _Shift) | (_Value >> (32 - _Shift)) : _Value;
}

static __inline__ unsigned long __attribute__((__always_inline__, __nodebug__))
_lrotr(unsigned long _Value, int _Shift) {
_Shift &= 0x1f;
return _Shift ? (_Value >> _Shift) | (_Value << (32 - _Shift)) : _Value;
}
#else
static __inline__ unsigned long __attribute__((__always_inline__, __nodebug__))
_lrotl(unsigned long _Value, int _Shift) {
_Shift &= 0x3f;
return _Shift ? (_Value << _Shift) | (_Value >> (64 - _Shift)) : _Value;
}

static __inline__ unsigned long __attribute__((__always_inline__, __nodebug__))
_lrotr(unsigned long _Value, int _Shift) {
_Shift &= 0x3f;
return _Shift ? (_Value >> _Shift) | (_Value << (64 - _Shift)) : _Value;
}
#endif

#endif /* __IMMINTRIN_H */
89 changes: 89 additions & 0 deletions clang/test/CodeGen/x86-rot-intrinsics.c
@@ -0,0 +1,89 @@
// RUN: %clang_cc1 %s -triple=i686-pc-linux -emit-llvm -o - | FileCheck %s
// RUN: %clang_cc1 -ffreestanding -fms-extensions -fms-compatibility -fms-compatibility-version=17.00 \
// RUN: -triple i686--windows -emit-llvm %s -o - \
// RUN: | FileCheck %s -check-prefix CHECK -check-prefix MSC

// Don't include mm_malloc.h, it's system specific.
#define __MM_MALLOC_H

#ifdef _MSC_VER
#include <Intrin.h>
#else
#include <immintrin.h>
#endif

#ifdef _MSC_VER
unsigned char test_rotl8(unsigned char v, unsigned char s) {
//MSC-LABEL: test_rotl8
//MSC-NOT: call
return _rotl8(v, s);
}

unsigned char test_rotr8(unsigned char v, unsigned char s) {
//MSC-LABEL: test_rotr8
//MSC-NOT: call
return _rotr8(v, s);
}

unsigned short test_rotl16(unsigned short v, unsigned char s) {
//MSC-LABEL: test_rotl16
//MSC-NOT: call
return _rotl16(v, s);
}

unsigned short test_rotr16(unsigned short v, unsigned char s) {
//MSC-LABEL: test_rotr16
//MSC-NOT: call
return _rotr16(v, s);
}

unsigned __int64 test_rotl64(unsigned __int64 v, int s) {
//MSC-LABEL: test_rotl64
//MSC-NOT: call
return _rotl64(v, s);
}

unsigned __int64 test_rotr64(unsigned __int64 v, int s) {
//MSC-LABEL: test_rotr64
//MSC-NOT: call
return _rotr64(v, s);
}
#endif

unsigned short test_rotwl(unsigned short v, unsigned short s) {
//CHECK-LABEL: test_rotwl
//CHECK-NOT: call
return _rotwl(v, s);
}

unsigned short test_rotwr(unsigned short v, unsigned short s) {
//CHECK-LABEL: test_rotwr
//CHECK-NOT: call
return _rotwr(v, s);
}

unsigned int test_rotl(unsigned int v, int s) {
//CHECK-LABEL: test_rotl
//CHECK-NOT: call
return _rotl(v, s);
}

unsigned int test_rotr(unsigned int v, int s) {
//CHECK-LABEL: test_rotr
//CHECK-NOT: call
return _rotr(v, s);
}

unsigned long test_lrotl(unsigned long v, int s) {
//CHECK-LABEL: test_lrotl
//CHECK-NOT: call
return _lrotl(v, s);
}

unsigned long test_lrotr(unsigned long v, int s) {
//CHECK-LABEL: test_lrotr
//CHECK-NOT: call
return _lrotr(v, s);
}

//CHECK-LABEL: attributes

0 comments on commit 2c8f9c2

Please sign in to comment.