219 lines · c
1// RUN: %clang_cc1 -x c -ffreestanding %s -triple=x86_64-unknown-unknown -target-feature +tbm -emit-llvm -o - | FileCheck %s --check-prefixes=CHECK,X642// RUN: %clang_cc1 -x c -ffreestanding %s -triple=i386-unknown-unknown -target-feature +tbm -emit-llvm -o - | FileCheck %s --check-prefixes=CHECK3// RUN: %clang_cc1 -x c++ -ffreestanding %s -triple=x86_64-unknown-unknown -target-feature +tbm -emit-llvm -o - | FileCheck %s --check-prefixes=CHECK,X644// RUN: %clang_cc1 -x c++ -ffreestanding %s -triple=i386-unknown-unknown -target-feature +tbm -emit-llvm -o - | FileCheck %s --check-prefixes=CHECK5 6// RUN: %clang_cc1 -x c -ffreestanding %s -triple=x86_64-unknown-unknown -target-feature +tbm -emit-llvm -o - -fexperimental-new-constant-interpreter | FileCheck %s --check-prefixes=CHECK,X647// RUN: %clang_cc1 -x c -ffreestanding %s -triple=i386-unknown-unknown -target-feature +tbm -emit-llvm -o - -fexperimental-new-constant-interpreter | FileCheck %s --check-prefixes=CHECK8// RUN: %clang_cc1 -x c++ -ffreestanding %s -triple=x86_64-unknown-unknown -target-feature +tbm -emit-llvm -o - -fexperimental-new-constant-interpreter | FileCheck %s --check-prefixes=CHECK,X649// RUN: %clang_cc1 -x c++ -ffreestanding %s -triple=i386-unknown-unknown -target-feature +tbm -emit-llvm -o - -fexperimental-new-constant-interpreter | FileCheck %s --check-prefixes=CHECK10 11#include <x86intrin.h>12 13// NOTE: This should match the tests in llvm/test/CodeGen/X86/tbm-intrinsics-fast-isel.ll14 15unsigned int test__bextri_u32(unsigned int a) {16 // CHECK-LABEL: test__bextri_u3217 // CHECK: call i32 @llvm.x86.tbm.bextri.u32(i32 %{{.*}}, i32 1)18 return __bextri_u32(a, 1);19}20 21#ifdef __x86_64__22unsigned long long test__bextri_u64(unsigned long long a) {23 // X64-LABEL: test__bextri_u6424 // X64: call i64 @llvm.x86.tbm.bextri.u64(i64 %{{.*}}, i64 2)25 return __bextri_u64(a, 2);26}27 28unsigned long long test__bextri_u64_bigint(unsigned long long a) {29 // X64-LABEL: test__bextri_u64_bigint30 // X64: call i64 @llvm.x86.tbm.bextri.u64(i64 %{{.*}}, i64 549755813887)31 return __bextri_u64(a, 0x7fffffffffLL);32}33#endif34 35unsigned int test__blcfill_u32(unsigned int a) {36 // CHECK-LABEL: test__blcfill_u3237 // CHECK: [[TMP:%.*]] = add i32 %{{.*}}, 138 // CHECK: %{{.*}} = and i32 %{{.*}}, [[TMP]]39 return __blcfill_u32(a);40}41 42#ifdef __x86_64__43unsigned long long test__blcfill_u64(unsigned long long a) {44 // X64-LABEL: test__blcfill_u6445 // X64: [[TMP:%.*]] = add i64 %{{.*}}, 146 // X64: %{{.*}} = and i64 %{{.*}}, [[TMP]]47 return __blcfill_u64(a);48}49#endif50 51unsigned int test__blci_u32(unsigned int a) {52 // CHECK-LABEL: test__blci_u3253 // CHECK: [[TMP1:%.*]] = add i32 %{{.*}}, 154 // CHECK: [[TMP2:%.*]] = xor i32 [[TMP1]], -155 // CHECK: %{{.*}} = or i32 %{{.*}}, [[TMP2]]56 return __blci_u32(a);57}58 59#ifdef __x86_64__60unsigned long long test__blci_u64(unsigned long long a) {61 // X64-LABEL: test__blci_u6462 // X64: [[TMP1:%.*]] = add i64 %{{.*}}, 163 // X64: [[TMP2:%.*]] = xor i64 [[TMP1]], -164 // X64: %{{.*}} = or i64 %{{.*}}, [[TMP2]]65 return __blci_u64(a);66}67#endif68 69unsigned int test__blcic_u32(unsigned int a) {70 // CHECK-LABEL: test__blcic_u3271 // CHECK: [[TMP1:%.*]] = xor i32 %{{.*}}, -172 // CHECK: [[TMP2:%.*]] = add i32 %{{.*}}, 173 // CHECK-NEXT: {{.*}} = and i32 [[TMP1]], [[TMP2]]74 return __blcic_u32(a);75}76 77#ifdef __x86_64__78unsigned long long test__blcic_u64(unsigned long long a) {79 // X64-LABEL: test__blcic_u6480 // X64: [[TMP1:%.*]] = xor i64 %{{.*}}, -181 // X64: [[TMP2:%.*]] = add i64 %{{.*}}, 182 // X64-NEXT: {{.*}} = and i64 [[TMP1]], [[TMP2]]83 return __blcic_u64(a);84}85#endif86 87unsigned int test__blcmsk_u32(unsigned int a) {88 // CHECK-LABEL: test__blcmsk_u3289 // CHECK: [[TMP:%.*]] = add i32 %{{.*}}, 190 // CHECK-NEXT: {{.*}} = xor i32 %{{.*}}, [[TMP]]91 return __blcmsk_u32(a);92}93 94#ifdef __x86_64__95unsigned long long test__blcmsk_u64(unsigned long long a) {96 // X64-LABEL: test__blcmsk_u6497 // X64: [[TMP:%.*]] = add i64 %{{.*}}, 198 // X64-NEXT: {{.*}} = xor i64 %{{.*}}, [[TMP]]99 return __blcmsk_u64(a);100}101#endif102 103unsigned int test__blcs_u32(unsigned int a) {104 // CHECK-LABEL: test__blcs_u32105 // CHECK: [[TMP:%.*]] = add i32 %{{.*}}, 1106 // CHECK-NEXT: {{.*}} = or i32 %{{.*}}, [[TMP]]107 return __blcs_u32(a);108}109 110#ifdef __x86_64__111unsigned long long test__blcs_u64(unsigned long long a) {112 // X64-LABEL: test__blcs_u64113 // X64: [[TMP:%.*]] = add i64 %{{.*}}, 1114 // X64-NEXT: {{.*}} = or i64 %{{.*}}, [[TMP]]115 return __blcs_u64(a);116}117#endif118 119unsigned int test__blsfill_u32(unsigned int a) {120 // CHECK-LABEL: test__blsfill_u32121 // CHECK: [[TMP:%.*]] = sub i32 %{{.*}}, 1122 // CHECK-NEXT: {{.*}} = or i32 %{{.*}}, [[TMP]]123 return __blsfill_u32(a);124}125 126#ifdef __x86_64__127unsigned long long test__blsfill_u64(unsigned long long a) {128 // X64-LABEL: test__blsfill_u64129 // X64: [[TMP:%.*]] = sub i64 %{{.*}}, 1130 // X64-NEXT: {{.*}} = or i64 %{{.*}}, [[TMP]]131 return __blsfill_u64(a);132}133#endif134 135unsigned int test__blsic_u32(unsigned int a) {136 // CHECK-LABEL: test__blsic_u32137 // CHECK: [[TMP1:%.*]] = xor i32 %{{.*}}, -1138 // CHECK: [[TMP2:%.*]] = sub i32 %{{.*}}, 1139 // CHECK-NEXT: {{.*}} = or i32 [[TMP1]], [[TMP2]]140 return __blsic_u32(a);141}142 143#ifdef __x86_64__144unsigned long long test__blsic_u64(unsigned long long a) {145 // X64-LABEL: test__blsic_u64146 // X64: [[TMP1:%.*]] = xor i64 %{{.*}}, -1147 // X64: [[TMP2:%.*]] = sub i64 %{{.*}}, 1148 // X64-NEXT: {{.*}} = or i64 [[TMP1]], [[TMP2]]149 return __blsic_u64(a);150}151#endif152 153unsigned int test__t1mskc_u32(unsigned int a) {154 // CHECK-LABEL: test__t1mskc_u32155 // CHECK: [[TMP1:%.*]] = xor i32 %{{.*}}, -1156 // CHECK: [[TMP2:%.*]] = add i32 %{{.*}}, 1157 // CHECK-NEXT: {{.*}} = or i32 [[TMP1]], [[TMP2]]158 return __t1mskc_u32(a);159}160 161#ifdef __x86_64__162unsigned long long test__t1mskc_u64(unsigned long long a) {163 // X64-LABEL: test__t1mskc_u64164 // X64: [[TMP1:%.*]] = xor i64 %{{.*}}, -1165 // X64: [[TMP2:%.*]] = add i64 %{{.*}}, 1166 // X64-NEXT: {{.*}} = or i64 [[TMP1]], [[TMP2]]167 return __t1mskc_u64(a);168}169#endif170 171unsigned int test__tzmsk_u32(unsigned int a) {172 // CHECK-LABEL: test__tzmsk_u32173 // CHECK: [[TMP1:%.*]] = xor i32 %{{.*}}, -1174 // CHECK: [[TMP2:%.*]] = sub i32 %{{.*}}, 1175 // CHECK-NEXT: {{.*}} = and i32 [[TMP1]], [[TMP2]]176 return __tzmsk_u32(a);177}178 179#ifdef __x86_64__180unsigned long long test__tzmsk_u64(unsigned long long a) {181 // X64-LABEL: test__tzmsk_u64182 // X64: [[TMP1:%.*]] = xor i64 %{{.*}}, -1183 // X64: [[TMP2:%.*]] = sub i64 %{{.*}}, 1184 // X64-NEXT: {{.*}} = and i64 [[TMP1]], [[TMP2]]185 return __tzmsk_u64(a);186}187#endif188 189// Test constexpr handling.190#if defined(__cplusplus) && (__cplusplus >= 201103L)191char bextri32_0[__bextri_u32(0x00000000, 0x00000000) == 0x00000000 ? 1 : -1];192char bextri32_1[__bextri_u32(0x000003F0, 0xFFFF1004) == 0x0000003F ? 1 : -1];193char bextri32_2[__bextri_u32(0x000003F0, 0xFFFF3008) == 0x00000003 ? 1 : -1];194 195char blcfill32[__blcfill_u32(0x89ABCDEF) == (0x89ABCDEF & (0x89ABCDEF + 1)) ? 1 : -1];196char blci32[__blci_u32(0x89ABCDEF) == (0x89ABCDEF | ~(0x89ABCDEF + 1)) ? 1 : -1];197char blcmsk32[__blcmsk_u32(0x89ABCDEF) == (0x89ABCDEF ^ (0x89ABCDEF + 1)) ? 1 : -1];198char blcs32[__blcs_u32(0x89ABCDEF) == (0x89ABCDEF | (0x89ABCDEF + 1)) ? 1 : -1];199char blsfill32[__blsfill_u32(0x89ABCDEF) == (0x89ABCDEF | (0x89ABCDEF - 1)) ? 1 : -1];200char blsic32[__blsic_u32(0x89ABCDEF) == (~0x89ABCDEF | (0x89ABCDEF - 1)) ? 1 : -1];201char t1mskc32[__t1mskc_u32(0x89ABCDEF) == (~0x89ABCDEF | (0x89ABCDEF + 1)) ? 1 : -1];202char tzmsk32[__tzmsk_u32(0x89ABCDEF) == (~0x89ABCDEF & (0x89ABCDEF - 1)) ? 1 : -1];203 204#ifdef __x86_64__205char bextri64_0[__bextri_u64(0x0000000000000000ULL, 0x0000000000000000ULL) == 0x0000000000000000ULL ? 1 : -1];206char bextri64_1[__bextri_u64(0xF000000000000001ULL, 0x0000000000004001ULL) == 0x7800000000000000ULL ? 1 : -1];207char bextri64_2[__bextri_u64(0xF000000000000001ULL, 0xFFFFFFFFFFFF1001ULL) == 0x0000000000000000ULL ? 1 : -1];208 209char blcfill64[__blcfill_u64(0xFEDCBA9876543210) == (0xFEDCBA9876543210 & (0xFEDCBA9876543210 + 1)) ? 1 : -1];210char blci64[__blci_u64(0xFEDCBA9876543210) == (0xFEDCBA9876543210 | ~(0xFEDCBA9876543210 + 1)) ? 1 : -1];211char blcmsk64[__blcmsk_u64(0xFEDCBA9876543210) == (0xFEDCBA9876543210 ^ (0xFEDCBA9876543210 + 1)) ? 1 : -1];212char blcs64[__blcs_u64(0xFEDCBA9876543210) == (0xFEDCBA9876543210 | (0xFEDCBA9876543210 + 1)) ? 1 : -1];213char blsfill64[__blsfill_u64(0xFEDCBA9876543210) == (0xFEDCBA9876543210 | (0xFEDCBA9876543210 - 1)) ? 1 : -1];214char blsic64[__blsic_u64(0xFEDCBA9876543210) == (~0xFEDCBA9876543210 | (0xFEDCBA9876543210 - 1)) ? 1 : -1];215char t1mskc64[__t1mskc_u64(0xFEDCBA9876543210) == (~0xFEDCBA9876543210 | (0xFEDCBA9876543210 + 1)) ? 1 : -1];216char tzmsk64[__tzmsk_u64(0xFEDCBA9876543210) == (~0xFEDCBA9876543210 & (0xFEDCBA9876543210 - 1)) ? 1 : -1];217#endif218#endif219