llvm/test/Transforms/InstCombine/X86/x86-sse41-inseltpoison.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -mtriple=x86_64-unknown-unknown -S | FileCheck %s
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 define <2 x double> @test_round_sd(<2 x double> %a, <2 x double> %b) {
   6 ; CHECK-LABEL: @test_round_sd(
   7 ; CHECK-NEXT:    [[TMP1:%.*]] = tail call <2 x double> @llvm.x86.sse41.round.sd(<2 x double> [[A:%.*]], <2 x double> [[B:%.*]], i32 10)
   8 ; CHECK-NEXT:    ret <2 x double> [[TMP1]]
   9 ;
  10   %1 = insertelement <2 x double> %a, double 1.000000e+00, i32 0
  11   %2 = insertelement <2 x double> %b, double 2.000000e+00, i32 1
  12   %3 = tail call <2 x double> @llvm.x86.sse41.round.sd(<2 x double> %1, <2 x double> %2, i32 10)
  13   ret <2 x double> %3
  14 }
  15
  16 define double @test_round_sd_0(double %a, double %b) {
  17 ; CHECK-LABEL: @test_round_sd_0(
  18 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[B:%.*]], i64 0
  19 ; CHECK-NEXT:    [[TMP2:%.*]] = tail call <2 x double> @llvm.x86.sse41.round.sd(<2 x double> poison, <2 x double> [[TMP1]], i32 10)
  20 ; CHECK-NEXT:    [[TMP3:%.*]] = extractelement <2 x double> [[TMP2]], i64 0
  21 ; CHECK-NEXT:    ret double [[TMP3]]
  22 ;
  23   %1 = insertelement <2 x double> poison, double %a, i32 0
  24   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
  25   %3 = insertelement <2 x double> poison, double %b, i32 0
  26   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
  27   %5 = tail call <2 x double> @llvm.x86.sse41.round.sd(<2 x double> %2, <2 x double> %4, i32 10)
  28   %6 = extractelement <2 x double> %5, i32 0
  29   ret double %6
  30 }
  31
  32 define double @test_round_sd_1(double %a, double %b) {
  33 ; CHECK-LABEL: @test_round_sd_1(
  34 ; CHECK-NEXT:    ret double 1.000000e+00
  35 ;
  36   %1 = insertelement <2 x double> poison, double %a, i32 0
  37   %2 = insertelement <2 x double> %1, double 1.000000e+00, i32 1
  38   %3 = insertelement <2 x double> poison, double %b, i32 0
  39   %4 = insertelement <2 x double> %3, double 2.000000e+00, i32 1
  40   %5 = tail call <2 x double> @llvm.x86.sse41.round.sd(<2 x double> %2, <2 x double> %4, i32 10)
  41   %6 = extractelement <2 x double> %5, i32 1
  42   ret double %6
  43 }
  44
  45 define double @test_round_sd_2(double %a) {
  46 ; CHECK-LABEL: @test_round_sd_2(
  47 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A:%.*]], i64 0
  48 ; CHECK-NEXT:    [[TMP2:%.*]] = tail call <2 x double> @llvm.x86.sse41.round.sd(<2 x double> poison, <2 x double> [[TMP1]], i32 10)
  49 ; CHECK-NEXT:    [[TMP3:%.*]] = extractelement <2 x double> [[TMP2]], i64 0
  50 ; CHECK-NEXT:    ret double [[TMP3]]
  51 ;
  52   %1 = insertelement <2 x double> zeroinitializer, double %a, i32 0
  53   %2 = tail call <2 x double> @llvm.x86.sse41.round.sd(<2 x double> %1, <2 x double> %1, i32 10)
  54   %3 = extractelement <2 x double> %2, i32 0
  55   ret double %3
  56 }
  57
  58 define <4 x float> @test_round_ss(<4 x float> %a, <4 x float> %b) {
  59 ; CHECK-LABEL: @test_round_ss(
  60 ; CHECK-NEXT:    [[TMP1:%.*]] = tail call <4 x float> @llvm.x86.sse41.round.ss(<4 x float> <float poison, float 1.000000e+00, float 2.000000e+00, float 3.000000e+00>, <4 x float> [[B:%.*]], i32 10)
  61 ; CHECK-NEXT:    ret <4 x float> [[TMP1]]
  62 ;
  63   %1 = insertelement <4 x float> %a, float 1.000000e+00, i32 1
  64   %2 = insertelement <4 x float> %1, float 2.000000e+00, i32 2
  65   %3 = insertelement <4 x float> %2, float 3.000000e+00, i32 3
  66   %4 = insertelement <4 x float> %b, float 1.000000e+00, i32 1
  67   %5 = insertelement <4 x float> %4, float 2.000000e+00, i32 2
  68   %6 = insertelement <4 x float> %5, float 3.000000e+00, i32 3
  69   %7 = tail call <4 x float> @llvm.x86.sse41.round.ss(<4 x float> %3, <4 x float> %6, i32 10)
  70   ret <4 x float> %7
  71 }
  72
  73 define float @test_round_ss_0(float %a, float %b) {
  74 ; CHECK-LABEL: @test_round_ss_0(
  75 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <4 x float> poison, float [[B:%.*]], i64 0
  76 ; CHECK-NEXT:    [[TMP2:%.*]] = tail call <4 x float> @llvm.x86.sse41.round.ss(<4 x float> poison, <4 x float> [[TMP1]], i32 10)
  77 ; CHECK-NEXT:    [[R:%.*]] = extractelement <4 x float> [[TMP2]], i64 0
  78 ; CHECK-NEXT:    ret float [[R]]
  79 ;
  80   %1 = insertelement <4 x float> poison, float %a, i32 0
  81   %2 = insertelement <4 x float> %1, float 1.000000e+00, i32 1
  82   %3 = insertelement <4 x float> %2, float 2.000000e+00, i32 2
  83   %4 = insertelement <4 x float> %3, float 3.000000e+00, i32 3
  84   %5 = insertelement <4 x float> poison, float %b, i32 0
  85   %6 = insertelement <4 x float> %5, float 4.000000e+00, i32 1
  86   %7 = insertelement <4 x float> %6, float 5.000000e+00, i32 2
  87   %8 = insertelement <4 x float> %7, float 6.000000e+00, i32 3
  88   %9 = tail call <4 x float> @llvm.x86.sse41.round.ss(<4 x float> %4, <4 x float> %8, i32 10)
  89   %r = extractelement <4 x float> %9, i32 0
  90   ret float %r
  91 }
  92
  93 define float @test_round_ss_2(float %a, float %b) {
  94 ; CHECK-LABEL: @test_round_ss_2(
  95 ; CHECK-NEXT:    ret float 2.000000e+00
  96 ;
  97   %1 = insertelement <4 x float> poison, float %a, i32 0
  98   %2 = insertelement <4 x float> %1, float 1.000000e+00, i32 1
  99   %3 = insertelement <4 x float> %2, float 2.000000e+00, i32 2
 100   %4 = insertelement <4 x float> %3, float 3.000000e+00, i32 3
 101   %5 = insertelement <4 x float> poison, float %b, i32 0
 102   %6 = insertelement <4 x float> %5, float 4.000000e+00, i32 1
 103   %7 = insertelement <4 x float> %6, float 5.000000e+00, i32 2
 104   %8 = insertelement <4 x float> %7, float 6.000000e+00, i32 3
 105   %9 = tail call <4 x float> @llvm.x86.sse41.round.ss(<4 x float> %4, <4 x float> %8, i32 10)
 106   %r = extractelement <4 x float> %9, i32 2
 107   ret float %r
 108 }
 109
 110 define float @test_round_ss_3(float %a) {
 111 ; CHECK-LABEL: @test_round_ss_3(
 112 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <4 x float> poison, float [[A:%.*]], i64 0
 113 ; CHECK-NEXT:    [[TMP2:%.*]] = tail call <4 x float> @llvm.x86.sse41.round.ss(<4 x float> poison, <4 x float> [[TMP1]], i32 10)
 114 ; CHECK-NEXT:    [[TMP3:%.*]] = extractelement <4 x float> [[TMP2]], i64 0
 115 ; CHECK-NEXT:    ret float [[TMP3]]
 116 ;
 117   %1 = insertelement <4 x float> zeroinitializer, float %a, i32 0
 118   %2 = tail call <4 x float> @llvm.x86.sse41.round.ss(<4 x float> %1, <4 x float> %1, i32 10)
 119   %3 = extractelement <4 x float> %2, i32 0
 120   ret float %3
 121 }
 122
 123 declare <2 x double> @llvm.x86.sse41.round.sd(<2 x double>, <2 x double>, i32) nounwind readnone
 124 declare <4 x float> @llvm.x86.sse41.round.ss(<4 x float>, <4 x float>, i32) nounwind readnone