diff options
| -rw-r--r-- | llvm/include/llvm/IR/IntrinsicsX86.td | 10 | ||||
| -rw-r--r-- | llvm/lib/Target/X86/X86IntrinsicsInfo.h | 2 | ||||
| -rw-r--r-- | llvm/test/CodeGen/X86/bitscan.ll | 23 |
3 files changed, 35 insertions, 0 deletions
diff --git a/llvm/include/llvm/IR/IntrinsicsX86.td b/llvm/include/llvm/IR/IntrinsicsX86.td index 7c31849cb9f..76e4af07c2d 100644 --- a/llvm/include/llvm/IR/IntrinsicsX86.td +++ b/llvm/include/llvm/IR/IntrinsicsX86.td @@ -8442,3 +8442,13 @@ let TargetPrefix = "x86" in { : GCCBuiltin<"__builtin_ia32_mwaitx">, Intrinsic<[], [ llvm_i32_ty, llvm_i32_ty, llvm_i32_ty ], []>; } + +//===----------------------------------------------------------------------===// +// Bit Scan intrinsics +let TargetPrefix = "x86" in { + def int_x86_bit_scan_forward_32 : GCCBuiltin<"__builtin_ia32_bit_scan_forward">, + Intrinsic<[llvm_i32_ty], [llvm_i32_ty], [IntrNoMem]>; + + def int_x86_bit_scan_reverse_32 : GCCBuiltin<"__builtin_ia32_bit_scan_reverse">, + Intrinsic<[llvm_i32_ty], [llvm_i32_ty], [IntrNoMem]>; +} diff --git a/llvm/lib/Target/X86/X86IntrinsicsInfo.h b/llvm/lib/Target/X86/X86IntrinsicsInfo.h index 7c1447150a0..9cb01b52a0b 100644 --- a/llvm/lib/Target/X86/X86IntrinsicsInfo.h +++ b/llvm/lib/Target/X86/X86IntrinsicsInfo.h @@ -2133,6 +2133,8 @@ static const IntrinsicData IntrinsicsWithoutChain[] = { X86ISD::SCALAR_FP_TO_UINT_RND, 0), X86_INTRINSIC_DATA(avx512_vcvtss2usi64, INTR_TYPE_2OP, X86ISD::SCALAR_FP_TO_UINT_RND, 0), + X86_INTRINSIC_DATA(bit_scan_forward_32, INTR_TYPE_1OP, X86ISD::BSF, 0), + X86_INTRINSIC_DATA(bit_scan_reverse_32, INTR_TYPE_1OP, X86ISD::BSR, 0), X86_INTRINSIC_DATA(fma_vfmadd_pd, INTR_TYPE_3OP, X86ISD::FMADD, 0), X86_INTRINSIC_DATA(fma_vfmadd_pd_256, INTR_TYPE_3OP, X86ISD::FMADD, 0), X86_INTRINSIC_DATA(fma_vfmadd_ps, INTR_TYPE_3OP, X86ISD::FMADD, 0), diff --git a/llvm/test/CodeGen/X86/bitscan.ll b/llvm/test/CodeGen/X86/bitscan.ll new file mode 100644 index 00000000000..52829a642e1 --- /dev/null +++ b/llvm/test/CodeGen/X86/bitscan.ll @@ -0,0 +1,23 @@ +; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=corei7 | FileCheck %s --check-prefix=ALL --check-prefix=64-BIT +; RUN: llc < %s -mtriple=i386-unknown-unknown -mcpu=corei7 | FileCheck %s --check-prefix=ALL --check-prefix=32-BIT +declare i32 @llvm.x86.bit.scan.forward.32(i32 %val) +declare i32 @llvm.x86.bit.scan.reverse.32(i32 %val) + +define i32 @test_bsf(i32 %val) { + %call = call i32 @llvm.x86.bit.scan.forward.32(i32 %val) + ret i32 %call + +; ALL-LABEL: test_bsf: +; 64-BIT: bsfl %edi, %eax +; 32-BIT: bsfl 4(%esp), %eax +} + +define i32 @test_bsr(i32 %val) { + %call = call i32 @llvm.x86.bit.scan.reverse.32(i32 %val) + ret i32 %call + +; ALL-LABEL: test_bsr: +; 64-BIT: bsrl %edi, %eax +; 32-BIT: bsrl 4(%esp), %eax +} + |
