llvm/test/CodeGen/X86/tbm-intrinsics-fast-isel-x86_64.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -fast-isel -mtriple=x86_64-unknown-unknown -mattr=+tbm | FileCheck %s --check-prefix=X64
   3
   4 ; NOTE: This should use IR equivalent to what is generated by clang/test/CodeGen/tbm-builtins.c
   5
   6 define i64 @test__bextri_u64(i64 %a0) {
   7 ; X64-LABEL: test__bextri_u64:
   8 ; X64:       # %bb.0:
   9 ; X64-NEXT:    bextrq $3841, %rdi, %rax # imm = 0xF01
  10 ; X64-NEXT:    retq
  11   %1 = call i64 @llvm.x86.tbm.bextri.u64(i64 %a0, i64 3841)
  12   ret i64 %1
  13 }
  14
  15 define i64 @test__blcfill_u64(i64 %a0) {
  16 ; X64-LABEL: test__blcfill_u64:
  17 ; X64:       # %bb.0:
  18 ; X64-NEXT:    leaq 1(%rdi), %rax
  19 ; X64-NEXT:    andq %rdi, %rax
  20 ; X64-NEXT:    retq
  21   %1 = add i64 %a0, 1
  22   %2 = and i64 %a0, %1
  23   ret i64 %2
  24 }
  25
  26 define i64 @test__blci_u64(i64 %a0) {
  27 ; X64-LABEL: test__blci_u64:
  28 ; X64:       # %bb.0:
  29 ; X64-NEXT:    leaq 1(%rdi), %rax
  30 ; X64-NEXT:    xorq $-1, %rax
  31 ; X64-NEXT:    orq %rdi, %rax
  32 ; X64-NEXT:    retq
  33   %1 = add i64 %a0, 1
  34   %2 = xor i64 %1, -1
  35   %3 = or i64 %a0, %2
  36   ret i64 %3
  37 }
  38
  39 define i64 @test__blcic_u64(i64 %a0) {
  40 ; X64-LABEL: test__blcic_u64:
  41 ; X64:       # %bb.0:
  42 ; X64-NEXT:    leaq 1(%rdi), %rax
  43 ; X64-NEXT:    xorq $-1, %rdi
  44 ; X64-NEXT:    andq %rdi, %rax
  45 ; X64-NEXT:    retq
  46   %1 = xor i64 %a0, -1
  47   %2 = add i64 %a0, 1
  48   %3 = and i64 %1, %2
  49   ret i64 %3
  50 }
  51
  52 define i64 @test__blcmsk_u64(i64 %a0) {
  53 ; X64-LABEL: test__blcmsk_u64:
  54 ; X64:       # %bb.0:
  55 ; X64-NEXT:    leaq 1(%rdi), %rax
  56 ; X64-NEXT:    xorq %rdi, %rax
  57 ; X64-NEXT:    retq
  58   %1 = add i64 %a0, 1
  59   %2 = xor i64 %a0, %1
  60   ret i64 %2
  61 }
  62
  63 define i64 @test__blcs_u64(i64 %a0) {
  64 ; X64-LABEL: test__blcs_u64:
  65 ; X64:       # %bb.0:
  66 ; X64-NEXT:    leaq 1(%rdi), %rax
  67 ; X64-NEXT:    orq %rdi, %rax
  68 ; X64-NEXT:    retq
  69   %1 = add i64 %a0, 1
  70   %2 = or i64 %a0, %1
  71   ret i64 %2
  72 }
  73
  74 define i64 @test__blsfill_u64(i64 %a0) {
  75 ; X64-LABEL: test__blsfill_u64:
  76 ; X64:       # %bb.0:
  77 ; X64-NEXT:    leaq -1(%rdi), %rax
  78 ; X64-NEXT:    orq %rdi, %rax
  79 ; X64-NEXT:    retq
  80   %1 = sub i64 %a0, 1
  81   %2 = or i64 %a0, %1
  82   ret i64 %2
  83 }
  84
  85 define i64 @test__blsic_u64(i64 %a0) {
  86 ; X64-LABEL: test__blsic_u64:
  87 ; X64:       # %bb.0:
  88 ; X64-NEXT:    leaq -1(%rdi), %rax
  89 ; X64-NEXT:    xorq $-1, %rdi
  90 ; X64-NEXT:    orq %rdi, %rax
  91 ; X64-NEXT:    retq
  92   %1 = xor i64 %a0, -1
  93   %2 = sub i64 %a0, 1
  94   %3 = or i64 %1, %2
  95   ret i64 %3
  96 }
  97
  98 define i64 @test__t1mskc_u64(i64 %a0) {
  99 ; X64-LABEL: test__t1mskc_u64:
 100 ; X64:       # %bb.0:
 101 ; X64-NEXT:    leaq 1(%rdi), %rax
 102 ; X64-NEXT:    xorq $-1, %rdi
 103 ; X64-NEXT:    orq %rdi, %rax
 104 ; X64-NEXT:    retq
 105   %1 = xor i64 %a0, -1
 106   %2 = add i64 %a0, 1
 107   %3 = or i64 %1, %2
 108   ret i64 %3
 109 }
 110
 111 define i64 @test__tzmsk_u64(i64 %a0) {
 112 ; X64-LABEL: test__tzmsk_u64:
 113 ; X64:       # %bb.0:
 114 ; X64-NEXT:    leaq -1(%rdi), %rax
 115 ; X64-NEXT:    xorq $-1, %rdi
 116 ; X64-NEXT:    andq %rdi, %rax
 117 ; X64-NEXT:    retq
 118   %1 = xor i64 %a0, -1
 119   %2 = sub i64 %a0, 1
 120   %3 = and i64 %1, %2
 121   ret i64 %3
 122 }
 123
 124 declare i64 @llvm.x86.tbm.bextri.u64(i64, i64)