llvm/test/Transforms/InstSimplify/vec-icmp-of-cast.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
   3
   4 define <2 x i1> @icmp_eq_zext_is_false(<2 x i8> %x) {
   5 ; CHECK-LABEL: @icmp_eq_zext_is_false(
   6 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
   7 ;
   8   %xext = zext <2 x i8> %x to <2 x i32>
   9   %cmp = icmp eq <2 x i32> %xext, <i32 511, i32 1234>
  10   ret <2 x i1> %cmp
  11 }
  12
  13 define <2 x i1> @icmp_ugt_zext_is_false(<2 x i8> %x) {
  14 ; CHECK-LABEL: @icmp_ugt_zext_is_false(
  15 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
  16 ;
  17   %xext = zext <2 x i8> %x to <2 x i32>
  18   %cmp = icmp ugt <2 x i32> %xext, <i32 256, i32 1234>
  19   ret <2 x i1> %cmp
  20 }
  21
  22 define <2 x i1> @icmp_ugt_zext_todo_off_by1(<2 x i8> %x) {
  23 ; CHECK-LABEL: @icmp_ugt_zext_todo_off_by1(
  24 ; CHECK-NEXT:    [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
  25 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ugt <2 x i32> [[XEXT]], <i32 1234, i32 255>
  26 ; CHECK-NEXT:    ret <2 x i1> [[CMP]]
  27 ;
  28   %xext = zext <2 x i8> %x to <2 x i32>
  29   %cmp = icmp ugt <2 x i32> %xext, <i32 1234, i32 255>
  30   ret <2 x i1> %cmp
  31 }
  32
  33 define <2 x i1> @icmp_uge_zext_is_false(<2 x i8> %x) {
  34 ; CHECK-LABEL: @icmp_uge_zext_is_false(
  35 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
  36 ;
  37   %xext = zext <2 x i8> %x to <2 x i32>
  38   %cmp = icmp uge <2 x i32> %xext, <i32 256, i32 1234>
  39   ret <2 x i1> %cmp
  40 }
  41
  42 define <2 x i1> @icmp_eq_zext_fail(<2 x i8> %x) {
  43 ; CHECK-LABEL: @icmp_eq_zext_fail(
  44 ; CHECK-NEXT:    [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
  45 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i32> [[XEXT]], <i32 511, i32 123>
  46 ; CHECK-NEXT:    ret <2 x i1> [[CMP]]
  47 ;
  48   %xext = zext <2 x i8> %x to <2 x i32>
  49   %cmp = icmp eq <2 x i32> %xext, <i32 511, i32 123>
  50   ret <2 x i1> %cmp
  51 }
  52
  53 define <2 x i1> @icmp_eq_zext_unused(<2 x i8> %x) {
  54 ; CHECK-LABEL: @icmp_eq_zext_unused(
  55 ; CHECK-NEXT:    [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
  56 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i32> [[XEXT]], <i32 254, i32 123>
  57 ; CHECK-NEXT:    ret <2 x i1> [[CMP]]
  58 ;
  59   %xext = zext <2 x i8> %x to <2 x i32>
  60   %cmp = icmp eq <2 x i32> %xext, <i32 254, i32 123>
  61   ret <2 x i1> %cmp
  62 }
  63
  64 define <2 x i1> @icmp_ne_zext_is_true(<2 x i8> %x) {
  65 ; CHECK-LABEL: @icmp_ne_zext_is_true(
  66 ; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 true>
  67 ;
  68   %xext = zext <2 x i8> %x to <2 x i32>
  69   %cmp = icmp ne <2 x i32> %xext, <i32 256, i32 1234>
  70   ret <2 x i1> %cmp
  71 }
  72
  73 define <2 x i1> @icmp_ult_zext_is_true(<2 x i8> %x) {
  74 ; CHECK-LABEL: @icmp_ult_zext_is_true(
  75 ; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 true>
  76 ;
  77   %xext = zext <2 x i8> %x to <2 x i32>
  78   %cmp = icmp ult <2 x i32> %xext, <i32 256, i32 1234>
  79   ret <2 x i1> %cmp
  80 }
  81
  82 define <2 x i1> @icmp_ule_zext_is_true(<2 x i8> %x) {
  83 ; CHECK-LABEL: @icmp_ule_zext_is_true(
  84 ; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 true>
  85 ;
  86   %xext = zext <2 x i8> %x to <2 x i32>
  87   %cmp = icmp ule <2 x i32> %xext, <i32 256, i32 -1>
  88   ret <2 x i1> %cmp
  89 }
  90
  91 define <2 x i1> @icmp_ne_zext_fail(<2 x i8> %x) {
  92 ; CHECK-LABEL: @icmp_ne_zext_fail(
  93 ; CHECK-NEXT:    [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
  94 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne <2 x i32> [[XEXT]], <i32 256, i32 123>
  95 ; CHECK-NEXT:    ret <2 x i1> [[CMP]]
  96 ;
  97   %xext = zext <2 x i8> %x to <2 x i32>
  98   %cmp = icmp ne <2 x i32> %xext, <i32 256, i32 123>
  99   ret <2 x i1> %cmp
 100 }
 101
 102 define <2 x i1> @icmp_ne_zext_unused(<2 x i8> %x) {
 103 ; CHECK-LABEL: @icmp_ne_zext_unused(
 104 ; CHECK-NEXT:    [[XEXT:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i32>
 105 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne <2 x i32> [[XEXT]], <i32 1, i32 123>
 106 ; CHECK-NEXT:    ret <2 x i1> [[CMP]]
 107 ;
 108   %xext = zext <2 x i8> %x to <2 x i32>
 109   %cmp = icmp ne <2 x i32> %xext, <i32 1, i32 123>
 110   ret <2 x i1> %cmp
 111 }
 112
 113 define <2 x i1> @icmp_sge_zext_is_false_true(<2 x i8> %x) {
 114 ; CHECK-LABEL: @icmp_sge_zext_is_false_true(
 115 ; CHECK-NEXT:    ret <2 x i1> <i1 false, i1 true>
 116 ;
 117   %xext = zext <2 x i8> %x to <2 x i32>
 118   %cmp = icmp sge <2 x i32> %xext, <i32 257, i32 -450>
 119   ret <2 x i1> %cmp
 120 }
 121
 122 define <2 x i1> @icmp_sle_zext_is_false_false(<2 x i8> %x) {
 123 ; CHECK-LABEL: @icmp_sle_zext_is_false_false(
 124 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
 125 ;
 126   %xext = zext <2 x i8> %x to <2 x i32>
 127   %cmp = icmp sle <2 x i32> %xext, <i32 -256, i32 -450>
 128   ret <2 x i1> %cmp
 129 }
 130
 131 define <2 x i1> @icmp_eq_sext_is_false(<2 x i8> %x) {
 132 ; CHECK-LABEL: @icmp_eq_sext_is_false(
 133 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
 134 ;
 135   %xext = sext <2 x i8> %x to <2 x i32>
 136   %cmp = icmp eq <2 x i32> %xext, <i32 255, i32 129>
 137   ret <2 x i1> %cmp
 138 }
 139
 140 define <2 x i1> @icmp_eq_sext_fail(<2 x i8> %x) {
 141 ; CHECK-LABEL: @icmp_eq_sext_fail(
 142 ; CHECK-NEXT:    [[XEXT:%.*]] = sext <2 x i8> [[X:%.*]] to <2 x i32>
 143 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i32> [[XEXT]], <i32 255, i32 -1>
 144 ; CHECK-NEXT:    ret <2 x i1> [[CMP]]
 145 ;
 146   %xext = sext <2 x i8> %x to <2 x i32>
 147   %cmp = icmp eq <2 x i32> %xext, <i32 255, i32 -1>
 148   ret <2 x i1> %cmp
 149 }
 150
 151 define <2 x i1> @icmp_ne_sext_is_true(<2 x i8> %x) {
 152 ; CHECK-LABEL: @icmp_ne_sext_is_true(
 153 ; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 true>
 154 ;
 155   %xext = sext <2 x i8> %x to <2 x i32>
 156   %cmp = icmp ne <2 x i32> %xext, <i32 199, i32 1234>
 157   ret <2 x i1> %cmp
 158 }
 159
 160 define <2 x i1> @icmp_sgt_sext_is_true_false(<2 x i8> %x) {
 161 ; CHECK-LABEL: @icmp_sgt_sext_is_true_false(
 162 ; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 false>
 163 ;
 164   %xext = sext <2 x i8> %x to <2 x i32>
 165   %cmp = icmp sgt <2 x i32> %xext, <i32 -250, i32 450>
 166   ret <2 x i1> %cmp
 167 }
 168
 169 define <2 x i1> @icmp_slt_sext_is_true_false(<2 x i8> %x) {
 170 ; CHECK-LABEL: @icmp_slt_sext_is_true_false(
 171 ; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 false>
 172 ;
 173   %xext = sext <2 x i8> %x to <2 x i32>
 174   %cmp = icmp slt <2 x i32> %xext, <i32 257, i32 -450>
 175   ret <2 x i1> %cmp
 176 }