llvm/test/CodeGen/AArch64/aarch64-bif-gen.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s
   3
   4 ; BIF Bitwise Insert if False
   5 ;
   6 ; 8-bit vectors tests
   7
   8 define <1 x i8> @test_bitf_v1i8(<1 x i8> %A, <1 x i8> %B, <1 x i8> %C) {
   9 ; CHECK-LABEL: test_bitf_v1i8:
  10 ; CHECK:       // %bb.0:
  11 ; CHECK-NEXT:    bif v0.8b, v1.8b, v2.8b
  12 ; CHECK-NEXT:    ret
  13   %neg = xor <1 x i8> %C, <i8 -1>
  14   %and = and <1 x i8> %neg, %B
  15   %and1 = and <1 x i8> %C, %A
  16   %or = or <1 x i8> %and, %and1
  17   ret <1 x i8> %or
  18 }
  19
  20 ; 16-bit vectors tests
  21
  22 define <1 x i16> @test_bitf_v1i16(<1 x i16> %A, <1 x i16> %B, <1 x i16> %C) {
  23 ; CHECK-LABEL: test_bitf_v1i16:
  24 ; CHECK:       // %bb.0:
  25 ; CHECK-NEXT:    bif v0.8b, v1.8b, v2.8b
  26 ; CHECK-NEXT:    ret
  27   %neg = xor <1 x i16> %C, <i16 -1>
  28   %and = and <1 x i16> %neg, %B
  29   %and1 = and <1 x i16> %C, %A
  30   %or = or <1 x i16> %and, %and1
  31   ret <1 x i16> %or
  32 }
  33
  34 ; 32-bit vectors tests
  35
  36 define <1 x i32> @test_bitf_v1i32(<1 x i32> %A, <1 x i32> %B, <1 x i32> %C) {
  37 ; CHECK-LABEL: test_bitf_v1i32:
  38 ; CHECK:       // %bb.0:
  39 ; CHECK-NEXT:    bif v0.8b, v1.8b, v2.8b
  40 ; CHECK-NEXT:    ret
  41   %neg = xor <1 x i32> %C, <i32 -1>
  42   %and = and <1 x i32> %neg, %B
  43   %and1 = and <1 x i32> %C, %A
  44   %or = or <1 x i32> %and, %and1
  45   ret <1 x i32> %or
  46 }
  47
  48 ; 64-bit vectors tests
  49
  50 define <1 x i64> @test_bitf_v1i64(<1 x i64> %A, <1 x i64> %B, <1 x i64> %C) {
  51 ; CHECK-LABEL: test_bitf_v1i64:
  52 ; CHECK:       // %bb.0:
  53 ; CHECK-NEXT:    bif v0.8b, v1.8b, v2.8b
  54 ; CHECK-NEXT:    ret
  55   %neg = xor <1 x i64> %C, <i64 -1>
  56   %and = and <1 x i64> %neg, %B
  57   %and1 = and <1 x i64> %C, %A
  58   %or = or <1 x i64> %and, %and1
  59   ret <1 x i64> %or
  60 }
  61
  62 define <2 x i32> @test_bitf_v2i32(<2 x i32> %A, <2 x i32> %B, <2 x i32> %C) {
  63 ; CHECK-LABEL: test_bitf_v2i32:
  64 ; CHECK:       // %bb.0:
  65 ; CHECK-NEXT:    bif v0.8b, v1.8b, v2.8b
  66 ; CHECK-NEXT:    ret
  67   %neg = xor <2 x i32> %C, <i32 -1, i32 -1>
  68   %and = and <2 x i32> %neg, %B
  69   %and1 = and <2 x i32> %C, %A
  70   %or = or <2 x i32> %and, %and1
  71   ret <2 x i32> %or
  72 }
  73
  74 define <4 x i16> @test_bitf_v4i16(<4 x i16> %A, <4 x i16> %B, <4 x i16> %C) {
  75 ; CHECK-LABEL: test_bitf_v4i16:
  76 ; CHECK:       // %bb.0:
  77 ; CHECK-NEXT:    bif v0.8b, v1.8b, v2.8b
  78 ; CHECK-NEXT:    ret
  79   %neg = xor <4 x i16> %C, <i16 -1, i16 -1, i16 -1, i16 -1>
  80   %and = and <4 x i16> %neg, %B
  81   %and1 = and <4 x i16> %C, %A
  82   %or = or <4 x i16> %and, %and1
  83   ret <4 x i16> %or
  84 }
  85
  86 define <8 x i8> @test_bitf_v8i8(<8 x i8> %A, <8 x i8> %B, <8 x i8> %C) {
  87 ; CHECK-LABEL: test_bitf_v8i8:
  88 ; CHECK:       // %bb.0:
  89 ; CHECK-NEXT:    bif v0.8b, v1.8b, v2.8b
  90 ; CHECK-NEXT:    ret
  91   %neg = xor <8 x i8> %C, <i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1>
  92   %and = and <8 x i8> %neg, %B
  93   %and1 = and <8 x i8> %C, %A
  94   %or = or <8 x i8> %and, %and1
  95   ret <8 x i8> %or
  96 }
  97
  98 ; 128-bit vectors tests
  99
 100 define <2 x i64> @test_bitf_v2i64(<2 x i64> %A, <2 x i64> %B, <2 x i64> %C) {
 101 ; CHECK-LABEL: test_bitf_v2i64:
 102 ; CHECK:       // %bb.0:
 103 ; CHECK-NEXT:    bif v0.16b, v1.16b, v2.16b
 104 ; CHECK-NEXT:    ret
 105   %neg = xor <2 x i64> %C, <i64 -1, i64 -1>
 106   %and = and <2 x i64> %neg, %B
 107   %and1 = and <2 x i64> %C, %A
 108   %or = or <2 x i64> %and, %and1
 109   ret <2 x i64> %or
 110 }
 111
 112 define <4 x i32> @test_bitf_v4i32(<4 x i32> %A, <4 x i32> %B, <4 x i32> %C) {
 113 ; CHECK-LABEL: test_bitf_v4i32:
 114 ; CHECK:       // %bb.0:
 115 ; CHECK-NEXT:    bif v0.16b, v1.16b, v2.16b
 116 ; CHECK-NEXT:    ret
 117   %neg = xor <4 x i32> %C, <i32 -1, i32 -1, i32 -1, i32 -1>
 118   %and = and <4 x i32> %neg, %B
 119   %and1 = and <4 x i32> %C, %A
 120   %or = or <4 x i32> %and, %and1
 121   ret <4 x i32> %or
 122 }
 123
 124 define <8 x i16> @test_bitf_v8i16(<8 x i16> %A, <8 x i16> %B, <8 x i16> %C) {
 125 ; CHECK-LABEL: test_bitf_v8i16:
 126 ; CHECK:       // %bb.0:
 127 ; CHECK-NEXT:    bif v0.16b, v1.16b, v2.16b
 128 ; CHECK-NEXT:    ret
 129   %neg = xor <8 x i16> %C, <i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1>
 130   %and = and <8 x i16> %neg, %B
 131   %and1 = and <8 x i16> %C, %A
 132   %or = or <8 x i16> %and, %and1
 133   ret <8 x i16> %or
 134 }
 135
 136 define <16 x i8> @test_bitf_v16i8(<16 x i8> %A, <16 x i8> %B, <16 x i8> %C) {
 137 ; CHECK-LABEL: test_bitf_v16i8:
 138 ; CHECK:       // %bb.0:
 139 ; CHECK-NEXT:    bif v0.16b, v1.16b, v2.16b
 140 ; CHECK-NEXT:    ret
 141   %neg = xor <16 x i8> %C, <i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1>
 142   %and = and <16 x i8> %neg, %B
 143   %and1 = and <16 x i8> %C, %A
 144   %or = or <16 x i8> %and, %and1
 145   ret <16 x i8> %or
 146 }