llvm/test/Transforms/VectorCombine/X86/insert-binop-with-constant.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=vector-combine -S -mtriple=x86_64-- -mattr=SSE2 | FileCheck %s --check-prefixes=CHECK,SSE
   3 ; RUN: opt < %s -passes=vector-combine -S -mtriple=x86_64-- -mattr=AVX2 | FileCheck %s --check-prefixes=CHECK,AVX
   4
   5 define <2 x i64> @add_constant(i64 %x) {
   6 ; CHECK-LABEL: @add_constant(
   7 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = add i64 [[X:%.*]], 42
   8 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> undef, i64 [[BO_SCALAR]], i64 0
   9 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
  10 ;
  11   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
  12   %bo = add <2 x i64> %ins, <i64 42, i64 undef>
  13   ret <2 x i64> %bo
  14 }
  15
  16 define <2 x i64> @add_constant_not_undef_lane(i64 %x) {
  17 ; CHECK-LABEL: @add_constant_not_undef_lane(
  18 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = add i64 [[X:%.*]], 42
  19 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> undef, i64 [[BO_SCALAR]], i64 0
  20 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
  21 ;
  22   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
  23   %bo = add <2 x i64> %ins, <i64 42, i64 -42>
  24   ret <2 x i64> %bo
  25 }
  26
  27 define <2 x i64> @add_constant_load(ptr %p) {
  28 ; CHECK-LABEL: @add_constant_load(
  29 ; CHECK-NEXT:    [[LD:%.*]] = load i64, ptr [[P:%.*]], align 8
  30 ; CHECK-NEXT:    [[INS:%.*]] = insertelement <2 x i64> undef, i64 [[LD]], i32 0
  31 ; CHECK-NEXT:    [[BO:%.*]] = add <2 x i64> [[INS]], <i64 42, i64 -42>
  32 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
  33 ;
  34   %ld = load i64, ptr %p
  35   %ins = insertelement <2 x i64> undef, i64 %ld, i32 0
  36   %bo = add <2 x i64> %ins, <i64 42, i64 -42>
  37   ret <2 x i64> %bo
  38 }
  39
  40 ; IR flags are not required, but they should propagate.
  41
  42 define <4 x i32> @sub_constant_op0(i32 %x) {
  43 ; CHECK-LABEL: @sub_constant_op0(
  44 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = sub nuw nsw i32 -42, [[X:%.*]]
  45 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <4 x i32> undef, i32 [[BO_SCALAR]], i64 1
  46 ; CHECK-NEXT:    ret <4 x i32> [[BO]]
  47 ;
  48   %ins = insertelement <4 x i32> undef, i32 %x, i32 1
  49   %bo = sub nsw nuw <4 x i32> <i32 undef, i32 -42, i32 undef, i32 undef>, %ins
  50   ret <4 x i32> %bo
  51 }
  52
  53 define <4 x i32> @sub_constant_op0_not_undef_lane(i32 %x) {
  54 ; CHECK-LABEL: @sub_constant_op0_not_undef_lane(
  55 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = sub nuw i32 42, [[X:%.*]]
  56 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <4 x i32> undef, i32 [[BO_SCALAR]], i64 1
  57 ; CHECK-NEXT:    ret <4 x i32> [[BO]]
  58 ;
  59   %ins = insertelement <4 x i32> undef, i32 %x, i32 1
  60   %bo = sub nuw <4 x i32> <i32 1, i32 42, i32 42, i32 -42>, %ins
  61   ret <4 x i32> %bo
  62 }
  63
  64 define <8 x i16> @sub_constant_op1(i16 %x) {
  65 ; CHECK-LABEL: @sub_constant_op1(
  66 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = sub nuw i16 [[X:%.*]], 42
  67 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <8 x i16> undef, i16 [[BO_SCALAR]], i64 0
  68 ; CHECK-NEXT:    ret <8 x i16> [[BO]]
  69 ;
  70   %ins = insertelement <8 x i16> undef, i16 %x, i32 0
  71   %bo = sub nuw <8 x i16> %ins, <i16 42, i16 undef, i16 undef, i16 undef, i16 undef, i16 undef, i16 undef, i16 undef>
  72   ret <8 x i16> %bo
  73 }
  74
  75 define <8 x i16> @sub_constant_op1_not_undef_lane(i16 %x) {
  76 ; CHECK-LABEL: @sub_constant_op1_not_undef_lane(
  77 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = sub nuw i16 [[X:%.*]], 42
  78 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <8 x i16> undef, i16 [[BO_SCALAR]], i64 0
  79 ; CHECK-NEXT:    ret <8 x i16> [[BO]]
  80 ;
  81   %ins = insertelement <8 x i16> undef, i16 %x, i32 0
  82   %bo = sub nuw <8 x i16> %ins, <i16 42, i16 -42, i16 0, i16 1, i16 -2, i16 3, i16 -4, i16 5>
  83   ret <8 x i16> %bo
  84 }
  85
  86 define <16 x i8> @mul_constant(i8 %x) {
  87 ; CHECK-LABEL: @mul_constant(
  88 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = mul i8 [[X:%.*]], -42
  89 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <16 x i8> <i8 undef, i8 undef, i8 0, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef>, i8 [[BO_SCALAR]], i64 2
  90 ; CHECK-NEXT:    ret <16 x i8> [[BO]]
  91 ;
  92   %ins = insertelement <16 x i8> undef, i8 %x, i32 2
  93   %bo = mul <16 x i8> %ins, <i8 undef, i8 undef, i8 -42, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef, i8 undef>
  94   ret <16 x i8> %bo
  95 }
  96
  97 define <3 x i64> @mul_constant_not_undef_lane(i64 %x) {
  98 ; CHECK-LABEL: @mul_constant_not_undef_lane(
  99 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = mul i64 [[X:%.*]], -42
 100 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <3 x i64> <i64 0, i64 undef, i64 0>, i64 [[BO_SCALAR]], i64 2
 101 ; CHECK-NEXT:    ret <3 x i64> [[BO]]
 102 ;
 103   %ins = insertelement <3 x i64> undef, i64 %x, i32 2
 104   %bo = mul <3 x i64> %ins, <i64 42, i64 undef, i64 -42>
 105   ret <3 x i64> %bo
 106 }
 107
 108 define <16 x i8> @mul_constant_multiuse(i8 %a0, <16 x i8> %a1) {
 109 ; SSE-LABEL: @mul_constant_multiuse(
 110 ; SSE-NEXT:    [[INS:%.*]] = insertelement <16 x i8> <i8 undef, i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15>, i8 [[A0:%.*]], i32 0
 111 ; SSE-NEXT:    [[MUL:%.*]] = mul <16 x i8> [[INS]], <i8 3, i8 7, i8 9, i8 11, i8 13, i8 15, i8 17, i8 19, i8 21, i8 23, i8 25, i8 27, i8 29, i8 31, i8 33, i8 35>
 112 ; SSE-NEXT:    [[AND:%.*]] = and <16 x i8> [[INS]], [[A1:%.*]]
 113 ; SSE-NEXT:    [[XOR:%.*]] = xor <16 x i8> [[AND]], [[MUL]]
 114 ; SSE-NEXT:    ret <16 x i8> [[XOR]]
 115 ;
 116 ; AVX-LABEL: @mul_constant_multiuse(
 117 ; AVX-NEXT:    [[INS:%.*]] = insertelement <16 x i8> <i8 undef, i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15>, i8 [[A0:%.*]], i32 0
 118 ; AVX-NEXT:    [[MUL_SCALAR:%.*]] = mul i8 [[A0]], 3
 119 ; AVX-NEXT:    [[MUL:%.*]] = insertelement <16 x i8> <i8 undef, i8 7, i8 18, i8 33, i8 52, i8 75, i8 102, i8 -123, i8 -88, i8 -49, i8 -6, i8 41, i8 92, i8 -109, i8 -50, i8 13>, i8 [[MUL_SCALAR]], i64 0
 120 ; AVX-NEXT:    [[AND:%.*]] = and <16 x i8> [[INS]], [[A1:%.*]]
 121 ; AVX-NEXT:    [[XOR:%.*]] = xor <16 x i8> [[AND]], [[MUL]]
 122 ; AVX-NEXT:    ret <16 x i8> [[XOR]]
 123 ;
 124   %ins = insertelement <16 x i8> <i8 undef, i8 1, i8 2, i8 3, i8 4, i8 5, i8 6, i8 7, i8 8, i8 9, i8 10, i8 11, i8 12, i8 13, i8 14, i8 15>, i8 %a0, i32 0
 125   %mul = mul <16 x i8> %ins, <i8 3, i8 7, i8 9, i8 11, i8 13, i8 15, i8 17, i8 19, i8 21, i8 23, i8 25, i8 27, i8 29, i8 31, i8 33, i8 35>
 126   %and = and <16 x i8> %ins, %a1
 127   %xor = xor <16 x i8> %and, %mul
 128   ret <16 x i8> %xor
 129 }
 130
 131 define <2 x i64> @shl_constant_op0(i64 %x) {
 132 ; CHECK-LABEL: @shl_constant_op0(
 133 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = shl i64 2, [[X:%.*]]
 134 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 1
 135 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 136 ;
 137   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 138   %bo = shl <2 x i64> <i64 undef, i64 2>, %ins
 139   ret <2 x i64> %bo
 140 }
 141
 142 define <2 x i64> @shl_constant_op0_not_undef_lane(i64 %x) {
 143 ; CHECK-LABEL: @shl_constant_op0_not_undef_lane(
 144 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = shl i64 2, [[X:%.*]]
 145 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 1
 146 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 147 ;
 148   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 149   %bo = shl <2 x i64> <i64 5, i64 2>, %ins
 150   ret <2 x i64> %bo
 151 }
 152
 153 define <2 x i64> @shl_constant_op0_load(ptr %p) {
 154 ; CHECK-LABEL: @shl_constant_op0_load(
 155 ; CHECK-NEXT:    [[LD:%.*]] = load i64, ptr [[P:%.*]], align 8
 156 ; CHECK-NEXT:    [[INS:%.*]] = insertelement <2 x i64> undef, i64 [[LD]], i32 1
 157 ; CHECK-NEXT:    [[BO:%.*]] = shl <2 x i64> <i64 undef, i64 2>, [[INS]]
 158 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 159 ;
 160   %ld = load i64, ptr %p
 161   %ins = insertelement <2 x i64> undef, i64 %ld, i32 1
 162   %bo = shl <2 x i64> <i64 undef, i64 2>, %ins
 163   ret <2 x i64> %bo
 164 }
 165
 166 define <4 x i32> @shl_constant_op0_multiuse(i32 %a0, <4 x i32> %a1) {
 167 ; CHECK-LABEL: @shl_constant_op0_multiuse(
 168 ; CHECK-NEXT:    [[INS:%.*]] = insertelement <4 x i32> <i32 undef, i32 1, i32 2, i32 3>, i32 [[A0:%.*]], i32 0
 169 ; CHECK-NEXT:    [[MUL_SCALAR:%.*]] = shl i32 [[A0]], 3
 170 ; CHECK-NEXT:    [[MUL:%.*]] = insertelement <4 x i32> <i32 0, i32 16, i32 64, i32 192>, i32 [[MUL_SCALAR]], i64 0
 171 ; CHECK-NEXT:    [[AND:%.*]] = and <4 x i32> [[INS]], [[A1:%.*]]
 172 ; CHECK-NEXT:    [[XOR:%.*]] = xor <4 x i32> [[AND]], [[MUL]]
 173 ; CHECK-NEXT:    ret <4 x i32> [[XOR]]
 174 ;
 175   %ins = insertelement <4 x i32> <i32 undef, i32 1, i32 2, i32 3>, i32 %a0, i32 0
 176   %mul = shl <4 x i32> %ins, <i32 3, i32 4, i32 5, i32 6>
 177   %and = and <4 x i32> %ins, %a1
 178   %xor = xor <4 x i32> %and, %mul
 179   ret <4 x i32> %xor
 180 }
 181
 182 define <2 x i64> @shl_constant_op1(i64 %x) {
 183 ; CHECK-LABEL: @shl_constant_op1(
 184 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = shl nuw i64 [[X:%.*]], 5
 185 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 0, i64 poison>, i64 [[BO_SCALAR]], i64 0
 186 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 187 ;
 188   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 189   %bo = shl nuw <2 x i64> %ins, <i64 5, i64 undef>
 190   ret <2 x i64> %bo
 191 }
 192
 193 define <2 x i64> @shl_constant_op1_not_undef_lane(i64 %x) {
 194 ; CHECK-LABEL: @shl_constant_op1_not_undef_lane(
 195 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = shl nuw i64 [[X:%.*]], 5
 196 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> zeroinitializer, i64 [[BO_SCALAR]], i64 0
 197 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 198 ;
 199   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 200   %bo = shl nuw <2 x i64> %ins, <i64 5, i64 2>
 201   ret <2 x i64> %bo
 202 }
 203
 204 define <2 x i64> @shl_constant_op1_load(ptr %p) {
 205 ; CHECK-LABEL: @shl_constant_op1_load(
 206 ; CHECK-NEXT:    [[LD:%.*]] = load i64, ptr [[P:%.*]], align 8
 207 ; CHECK-NEXT:    [[INS:%.*]] = insertelement <2 x i64> undef, i64 [[LD]], i32 0
 208 ; CHECK-NEXT:    [[BO:%.*]] = shl nuw <2 x i64> [[INS]], <i64 5, i64 2>
 209 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 210 ;
 211   %ld = load i64, ptr %p
 212   %ins = insertelement <2 x i64> undef, i64 %ld, i32 0
 213   %bo = shl nuw <2 x i64> %ins, <i64 5, i64 2>
 214   ret <2 x i64> %bo
 215 }
 216
 217 define <2 x i64> @ashr_constant_op0(i64 %x) {
 218 ; CHECK-LABEL: @ashr_constant_op0(
 219 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = ashr exact i64 2, [[X:%.*]]
 220 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 1
 221 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 222 ;
 223   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 224   %bo = ashr exact <2 x i64> <i64 undef, i64 2>, %ins
 225   ret <2 x i64> %bo
 226 }
 227
 228 define <2 x i64> @ashr_constant_op0_not_undef_lane(i64 %x) {
 229 ; CHECK-LABEL: @ashr_constant_op0_not_undef_lane(
 230 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = ashr exact i64 2, [[X:%.*]]
 231 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 1
 232 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 233 ;
 234   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 235   %bo = ashr exact <2 x i64> <i64 5, i64 2>, %ins
 236   ret <2 x i64> %bo
 237 }
 238
 239 define <2 x i64> @ashr_constant_op1(i64 %x) {
 240 ; CHECK-LABEL: @ashr_constant_op1(
 241 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = ashr i64 [[X:%.*]], 5
 242 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 0, i64 poison>, i64 [[BO_SCALAR]], i64 0
 243 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 244 ;
 245   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 246   %bo = ashr <2 x i64> %ins, <i64 5, i64 undef>
 247   ret <2 x i64> %bo
 248 }
 249
 250 define <2 x i64> @ashr_constant_op1_not_undef_lane(i64 %x) {
 251 ; CHECK-LABEL: @ashr_constant_op1_not_undef_lane(
 252 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = ashr i64 [[X:%.*]], 5
 253 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> zeroinitializer, i64 [[BO_SCALAR]], i64 0
 254 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 255 ;
 256   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 257   %bo = ashr <2 x i64> %ins, <i64 5, i64 2>
 258   ret <2 x i64> %bo
 259 }
 260
 261 define <2 x i64> @lshr_constant_op0(i64 %x) {
 262 ; CHECK-LABEL: @lshr_constant_op0(
 263 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = lshr i64 5, [[X:%.*]]
 264 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 0
 265 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 266 ;
 267   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 268   %bo = lshr <2 x i64> <i64 5, i64 undef>, %ins
 269   ret <2 x i64> %bo
 270 }
 271
 272 define <2 x i64> @lshr_constant_op0_not_undef_lane(i64 %x) {
 273 ; CHECK-LABEL: @lshr_constant_op0_not_undef_lane(
 274 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = lshr i64 5, [[X:%.*]]
 275 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 0
 276 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 277 ;
 278   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 279   %bo = lshr <2 x i64> <i64 5, i64 2>, %ins
 280   ret <2 x i64> %bo
 281 }
 282
 283 define <2 x i64> @lshr_constant_op1(i64 %x) {
 284 ; CHECK-LABEL: @lshr_constant_op1(
 285 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = lshr exact i64 [[X:%.*]], 2
 286 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 poison, i64 0>, i64 [[BO_SCALAR]], i64 1
 287 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 288 ;
 289   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 290   %bo = lshr exact <2 x i64> %ins, <i64 undef, i64 2>
 291   ret <2 x i64> %bo
 292 }
 293
 294 define <2 x i64> @lshr_constant_op1_not_undef_lane(i64 %x) {
 295 ; CHECK-LABEL: @lshr_constant_op1_not_undef_lane(
 296 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = lshr exact i64 [[X:%.*]], 2
 297 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> zeroinitializer, i64 [[BO_SCALAR]], i64 1
 298 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 299 ;
 300   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 301   %bo = lshr exact <2 x i64> %ins, <i64 5, i64 2>
 302   ret <2 x i64> %bo
 303 }
 304
 305 define <2 x i64> @urem_constant_op0(i64 %x) {
 306 ; CHECK-LABEL: @urem_constant_op0(
 307 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = urem i64 5, [[X:%.*]]
 308 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 0
 309 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 310 ;
 311   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 312   %bo = urem <2 x i64> <i64 5, i64 undef>, %ins
 313   ret <2 x i64> %bo
 314 }
 315
 316 define <2 x i64> @urem_constant_op0_not_undef_lane(i64 %x) {
 317 ; CHECK-LABEL: @urem_constant_op0_not_undef_lane(
 318 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = urem i64 5, [[X:%.*]]
 319 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 0
 320 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 321 ;
 322   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 323   %bo = urem <2 x i64> <i64 5, i64 2>, %ins
 324   ret <2 x i64> %bo
 325 }
 326
 327 define <2 x i64> @urem_constant_op1(i64 %x) {
 328 ; CHECK-LABEL: @urem_constant_op1(
 329 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = urem i64 [[X:%.*]], 2
 330 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 poison, i64 0>, i64 [[BO_SCALAR]], i64 1
 331 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 332 ;
 333   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 334   %bo = urem <2 x i64> %ins, <i64 undef, i64 2>
 335   ret <2 x i64> %bo
 336 }
 337
 338 define <2 x i64> @urem_constant_op1_not_undef_lane(i64 %x) {
 339 ; CHECK-LABEL: @urem_constant_op1_not_undef_lane(
 340 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = urem i64 [[X:%.*]], 2
 341 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> zeroinitializer, i64 [[BO_SCALAR]], i64 1
 342 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 343 ;
 344   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 345   %bo = urem <2 x i64> %ins, <i64 5, i64 2>
 346   ret <2 x i64> %bo
 347 }
 348
 349 define <2 x i64> @srem_constant_op0(i64 %x) {
 350 ; CHECK-LABEL: @srem_constant_op0(
 351 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = srem i64 5, [[X:%.*]]
 352 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 0
 353 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 354 ;
 355   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 356   %bo = srem <2 x i64> <i64 5, i64 undef>, %ins
 357   ret <2 x i64> %bo
 358 }
 359
 360 define <2 x i64> @srem_constant_op0_not_undef_lane(i64 %x) {
 361 ; CHECK-LABEL: @srem_constant_op0_not_undef_lane(
 362 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = srem i64 5, [[X:%.*]]
 363 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 0
 364 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 365 ;
 366   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 367   %bo = srem <2 x i64> <i64 5, i64 2>, %ins
 368   ret <2 x i64> %bo
 369 }
 370
 371 define <2 x i64> @srem_constant_op1(i64 %x) {
 372 ; CHECK-LABEL: @srem_constant_op1(
 373 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = srem i64 [[X:%.*]], 2
 374 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 poison, i64 0>, i64 [[BO_SCALAR]], i64 1
 375 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 376 ;
 377   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 378   %bo = srem <2 x i64> %ins, <i64 undef, i64 2>
 379   ret <2 x i64> %bo
 380 }
 381
 382 define <2 x i64> @srem_constant_op1_not_undef_lane(i64 %x) {
 383 ; CHECK-LABEL: @srem_constant_op1_not_undef_lane(
 384 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = srem i64 [[X:%.*]], 2
 385 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> zeroinitializer, i64 [[BO_SCALAR]], i64 1
 386 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 387 ;
 388   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 389   %bo = srem <2 x i64> %ins, <i64 5, i64 2>
 390   ret <2 x i64> %bo
 391 }
 392
 393 define <2 x i64> @udiv_constant_op0(i64 %x) {
 394 ; CHECK-LABEL: @udiv_constant_op0(
 395 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = udiv exact i64 5, [[X:%.*]]
 396 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 0
 397 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 398 ;
 399   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 400   %bo = udiv exact <2 x i64> <i64 5, i64 undef>, %ins
 401   ret <2 x i64> %bo
 402 }
 403
 404 define <2 x i64> @udiv_constant_op0_not_undef_lane(i64 %x) {
 405 ; CHECK-LABEL: @udiv_constant_op0_not_undef_lane(
 406 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = udiv exact i64 5, [[X:%.*]]
 407 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 0
 408 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 409 ;
 410   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 411   %bo = udiv exact <2 x i64> <i64 5, i64 2>, %ins
 412   ret <2 x i64> %bo
 413 }
 414
 415 define <2 x i64> @udiv_constant_op1(i64 %x) {
 416 ; CHECK-LABEL: @udiv_constant_op1(
 417 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = udiv i64 [[X:%.*]], 2
 418 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 poison, i64 0>, i64 [[BO_SCALAR]], i64 1
 419 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 420 ;
 421   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 422   %bo = udiv <2 x i64> %ins, <i64 undef, i64 2>
 423   ret <2 x i64> %bo
 424 }
 425
 426 define <2 x i64> @udiv_constant_op1_not_undef_lane(i64 %x) {
 427 ; CHECK-LABEL: @udiv_constant_op1_not_undef_lane(
 428 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = udiv i64 [[X:%.*]], 2
 429 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> zeroinitializer, i64 [[BO_SCALAR]], i64 1
 430 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 431 ;
 432   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 433   %bo = udiv <2 x i64> %ins, <i64 5, i64 2>
 434   ret <2 x i64> %bo
 435 }
 436
 437 define <2 x i64> @sdiv_constant_op0(i64 %x) {
 438 ; CHECK-LABEL: @sdiv_constant_op0(
 439 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = sdiv i64 5, [[X:%.*]]
 440 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 0
 441 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 442 ;
 443   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 444   %bo = sdiv <2 x i64> <i64 5, i64 undef>, %ins
 445   ret <2 x i64> %bo
 446 }
 447
 448 define <2 x i64> @sdiv_constant_op0_not_undef_lane(i64 %x) {
 449 ; CHECK-LABEL: @sdiv_constant_op0_not_undef_lane(
 450 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = sdiv i64 5, [[X:%.*]]
 451 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> poison, i64 [[BO_SCALAR]], i64 0
 452 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 453 ;
 454   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 455   %bo = sdiv <2 x i64> <i64 5, i64 2>, %ins
 456   ret <2 x i64> %bo
 457 }
 458
 459 define <2 x i64> @sdiv_constant_op1(i64 %x) {
 460 ; CHECK-LABEL: @sdiv_constant_op1(
 461 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = sdiv exact i64 [[X:%.*]], 2
 462 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 poison, i64 0>, i64 [[BO_SCALAR]], i64 1
 463 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 464 ;
 465   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 466   %bo = sdiv exact <2 x i64> %ins, <i64 undef, i64 2>
 467   ret <2 x i64> %bo
 468 }
 469
 470 define <2 x i64> @sdiv_constant_op1_not_undef_lane(i64 %x) {
 471 ; CHECK-LABEL: @sdiv_constant_op1_not_undef_lane(
 472 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = sdiv exact i64 [[X:%.*]], 2
 473 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> zeroinitializer, i64 [[BO_SCALAR]], i64 1
 474 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 475 ;
 476   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 477   %bo = sdiv exact <2 x i64> %ins, <i64 5, i64 2>
 478   ret <2 x i64> %bo
 479 }
 480
 481 define <2 x i64> @and_constant(i64 %x) {
 482 ; CHECK-LABEL: @and_constant(
 483 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = and i64 [[X:%.*]], 42
 484 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 0, i64 undef>, i64 [[BO_SCALAR]], i64 0
 485 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 486 ;
 487   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 488   %bo = and <2 x i64> %ins, <i64 42, i64 undef>
 489   ret <2 x i64> %bo
 490 }
 491
 492 define <2 x i64> @and_constant_not_undef_lane(i64 %x) {
 493 ; CHECK-LABEL: @and_constant_not_undef_lane(
 494 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = and i64 [[X:%.*]], 42
 495 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> zeroinitializer, i64 [[BO_SCALAR]], i64 0
 496 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 497 ;
 498   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 499   %bo = and <2 x i64> %ins, <i64 42, i64 -42>
 500   ret <2 x i64> %bo
 501 }
 502
 503 define <2 x i64> @or_constant(i64 %x) {
 504 ; CHECK-LABEL: @or_constant(
 505 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = or i64 [[X:%.*]], -42
 506 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 undef, i64 -1>, i64 [[BO_SCALAR]], i64 1
 507 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 508 ;
 509   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 510   %bo = or <2 x i64> %ins, <i64 undef, i64 -42>
 511   ret <2 x i64> %bo
 512 }
 513
 514 define <2 x i64> @or_constant_not_undef_lane(i64 %x) {
 515 ; CHECK-LABEL: @or_constant_not_undef_lane(
 516 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = or i64 [[X:%.*]], -42
 517 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 -1, i64 -1>, i64 [[BO_SCALAR]], i64 1
 518 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 519 ;
 520   %ins = insertelement <2 x i64> undef, i64 %x, i32 1
 521   %bo = or <2 x i64> %ins, <i64 42, i64 -42>
 522   ret <2 x i64> %bo
 523 }
 524
 525 define <2 x i64> @xor_constant(i64 %x) {
 526 ; CHECK-LABEL: @xor_constant(
 527 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = xor i64 [[X:%.*]], 42
 528 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> <i64 undef, i64 0>, i64 [[BO_SCALAR]], i64 0
 529 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 530 ;
 531   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 532   %bo = xor <2 x i64> %ins, <i64 42, i64 undef>
 533   ret <2 x i64> %bo
 534 }
 535
 536 define <2 x i64> @xor_constant_not_undef_lane(i64 %x) {
 537 ; CHECK-LABEL: @xor_constant_not_undef_lane(
 538 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = xor i64 [[X:%.*]], 42
 539 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x i64> undef, i64 [[BO_SCALAR]], i64 0
 540 ; CHECK-NEXT:    ret <2 x i64> [[BO]]
 541 ;
 542   %ins = insertelement <2 x i64> undef, i64 %x, i32 0
 543   %bo = xor <2 x i64> %ins, <i64 42, i64 -42>
 544   ret <2 x i64> %bo
 545 }
 546
 547 define <2 x double> @fadd_constant(double %x) {
 548 ; CHECK-LABEL: @fadd_constant(
 549 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fadd double [[X:%.*]], 4.200000e+01
 550 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double undef>, double [[BO_SCALAR]], i64 0
 551 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 552 ;
 553   %ins = insertelement <2 x double> undef, double %x, i32 0
 554   %bo = fadd <2 x double> %ins, <double 42.0, double undef>
 555   ret <2 x double> %bo
 556 }
 557
 558 define <2 x double> @fadd_constant_not_undef_lane(double %x) {
 559 ; CHECK-LABEL: @fadd_constant_not_undef_lane(
 560 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fadd double [[X:%.*]], -4.200000e+01
 561 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 1
 562 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 563 ;
 564   %ins = insertelement <2 x double> undef, double %x, i32 1
 565   %bo = fadd <2 x double> %ins, <double 42.0, double -42.0>
 566   ret <2 x double> %bo
 567 }
 568
 569 define <2 x double> @fsub_constant_op0(double %x) {
 570 ; CHECK-LABEL: @fsub_constant_op0(
 571 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fsub fast double 4.200000e+01, [[X:%.*]]
 572 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double undef>, double [[BO_SCALAR]], i64 0
 573 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 574 ;
 575   %ins = insertelement <2 x double> undef, double %x, i32 0
 576   %bo = fsub fast <2 x double> <double 42.0, double undef>, %ins
 577   ret <2 x double> %bo
 578 }
 579
 580 define <2 x double> @fsub_constant_op0_not_undef_lane(double %x) {
 581 ; CHECK-LABEL: @fsub_constant_op0_not_undef_lane(
 582 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fsub nsz double -4.200000e+01, [[X:%.*]]
 583 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 1
 584 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 585 ;
 586   %ins = insertelement <2 x double> undef, double %x, i32 1
 587   %bo = fsub nsz <2 x double> <double 42.0, double -42.0>, %ins
 588   ret <2 x double> %bo
 589 }
 590
 591 define <2 x double> @fsub_constant_op1(double %x) {
 592 ; CHECK-LABEL: @fsub_constant_op1(
 593 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fsub double [[X:%.*]], 4.200000e+01
 594 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double undef, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 1
 595 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 596 ;
 597   %ins = insertelement <2 x double> undef, double %x, i32 1
 598   %bo = fsub <2 x double> %ins, <double undef, double 42.0>
 599   ret <2 x double> %bo
 600 }
 601
 602 define <2 x double> @fsub_constant_op1_not_undef_lane(double %x) {
 603 ; CHECK-LABEL: @fsub_constant_op1_not_undef_lane(
 604 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fsub double [[X:%.*]], 4.200000e+01
 605 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 0
 606 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 607 ;
 608   %ins = insertelement <2 x double> undef, double %x, i32 0
 609   %bo = fsub <2 x double> %ins, <double 42.0, double -42.0>
 610   ret <2 x double> %bo
 611 }
 612
 613 define <2 x double> @fmul_constant(double %x) {
 614 ; CHECK-LABEL: @fmul_constant(
 615 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fmul reassoc double [[X:%.*]], 4.200000e+01
 616 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double undef>, double [[BO_SCALAR]], i64 0
 617 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 618 ;
 619   %ins = insertelement <2 x double> undef, double %x, i32 0
 620   %bo = fmul reassoc <2 x double> %ins, <double 42.0, double undef>
 621   ret <2 x double> %bo
 622 }
 623
 624 define <2 x double> @fmul_constant_not_undef_lane(double %x) {
 625 ; CHECK-LABEL: @fmul_constant_not_undef_lane(
 626 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fmul double [[X:%.*]], -4.200000e+01
 627 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 1
 628 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 629 ;
 630   %ins = insertelement <2 x double> undef, double %x, i32 1
 631   %bo = fmul <2 x double> %ins, <double 42.0, double -42.0>
 632   ret <2 x double> %bo
 633 }
 634
 635 define <2 x double> @fdiv_constant_op0(double %x) {
 636 ; CHECK-LABEL: @fdiv_constant_op0(
 637 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fdiv nnan double 4.200000e+01, [[X:%.*]]
 638 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double undef, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 1
 639 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 640 ;
 641   %ins = insertelement <2 x double> undef, double %x, i32 1
 642   %bo = fdiv nnan <2 x double> <double undef, double 42.0>, %ins
 643   ret <2 x double> %bo
 644 }
 645
 646 define <2 x double> @fdiv_constant_op0_not_undef_lane(double %x) {
 647 ; CHECK-LABEL: @fdiv_constant_op0_not_undef_lane(
 648 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fdiv ninf double 4.200000e+01, [[X:%.*]]
 649 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 0
 650 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 651 ;
 652   %ins = insertelement <2 x double> undef, double %x, i32 0
 653   %bo = fdiv ninf <2 x double> <double 42.0, double -42.0>, %ins
 654   ret <2 x double> %bo
 655 }
 656
 657 define <2 x double> @fdiv_constant_op1(double %x) {
 658 ; CHECK-LABEL: @fdiv_constant_op1(
 659 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fdiv double [[X:%.*]], 4.200000e+01
 660 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double undef>, double [[BO_SCALAR]], i64 0
 661 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 662 ;
 663   %ins = insertelement <2 x double> undef, double %x, i32 0
 664   %bo = fdiv <2 x double> %ins, <double 42.0, double undef>
 665   ret <2 x double> %bo
 666 }
 667
 668 define <2 x double> @fdiv_constant_op1_not_undef_lane(double %x) {
 669 ; CHECK-LABEL: @fdiv_constant_op1_not_undef_lane(
 670 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = fdiv double [[X:%.*]], 4.200000e+01
 671 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 0
 672 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 673 ;
 674   %ins = insertelement <2 x double> undef, double %x, i32 0
 675   %bo = fdiv <2 x double> %ins, <double 42.0, double -42.0>
 676   ret <2 x double> %bo
 677 }
 678
 679 define <2 x double> @frem_constant_op0(double %x) {
 680 ; CHECK-LABEL: @frem_constant_op0(
 681 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = frem fast double 4.200000e+01, [[X:%.*]]
 682 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double undef>, double [[BO_SCALAR]], i64 0
 683 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 684 ;
 685   %ins = insertelement <2 x double> undef, double %x, i32 0
 686   %bo = frem fast <2 x double> <double 42.0, double undef>, %ins
 687   ret <2 x double> %bo
 688 }
 689
 690 define <2 x double> @frem_constant_op0_not_undef_lane(double %x) {
 691 ; CHECK-LABEL: @frem_constant_op0_not_undef_lane(
 692 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = frem double -4.200000e+01, [[X:%.*]]
 693 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 1
 694 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 695 ;
 696   %ins = insertelement <2 x double> undef, double %x, i32 1
 697   %bo = frem <2 x double> <double 42.0, double -42.0>, %ins
 698   ret <2 x double> %bo
 699 }
 700
 701 define <2 x double> @frem_constant_op1(double %x) {
 702 ; CHECK-LABEL: @frem_constant_op1(
 703 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = frem ninf double [[X:%.*]], 4.200000e+01
 704 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double undef, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 1
 705 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 706 ;
 707   %ins = insertelement <2 x double> undef, double %x, i32 1
 708   %bo = frem ninf <2 x double> %ins, <double undef, double 42.0>
 709   ret <2 x double> %bo
 710 }
 711
 712 define <2 x double> @frem_constant_op1_not_undef_lane(double %x) {
 713 ; CHECK-LABEL: @frem_constant_op1_not_undef_lane(
 714 ; CHECK-NEXT:    [[BO_SCALAR:%.*]] = frem nnan double [[X:%.*]], 4.200000e+01
 715 ; CHECK-NEXT:    [[BO:%.*]] = insertelement <2 x double> <double 0x7FF8000000000000, double 0x7FF8000000000000>, double [[BO_SCALAR]], i64 0
 716 ; CHECK-NEXT:    ret <2 x double> [[BO]]
 717 ;
 718   %ins = insertelement <2 x double> undef, double %x, i32 0
 719   %bo = frem nnan <2 x double> %ins, <double 42.0, double -42.0>
 720   ret <2 x double> %bo
 721 }