test/Transforms/InstCombine/aligned-qpx.ll

   1 ; RUN: opt -S -instcombine < %s | FileCheck %s
   2 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
   3 target triple = "powerpc64-unknown-linux-gnu"
   4
   5 declare <4 x double> @llvm.ppc.qpx.qvlfs(i8*) #1
   6
   7 define <4 x double> @test1(<4 x float>* %h) #0 {
   8 entry:
   9   %h1 = getelementptr <4 x float>, <4 x float>* %h, i64 1
  10   %hv = bitcast <4 x float>* %h1 to i8*
  11   %vl = call <4 x double> @llvm.ppc.qpx.qvlfs(i8* %hv)
  12
  13 ; CHECK-LABEL: @test1
  14 ; CHECK: @llvm.ppc.qpx.qvlfs
  15 ; CHECK: ret <4 x double>
  16
  17   %v0 = load <4 x float>, <4 x float>* %h, align 8
  18   %v0e = fpext <4 x float> %v0 to <4 x double>
  19   %a = fadd <4 x double> %v0e, %vl
  20   ret <4 x double> %a
  21 }
  22
  23 define <4 x double> @test1a(<4 x float>* align 16 %h) #0 {
  24 entry:
  25   %h1 = getelementptr <4 x float>, <4 x float>* %h, i64 1
  26   %hv = bitcast <4 x float>* %h1 to i8*
  27   %vl = call <4 x double> @llvm.ppc.qpx.qvlfs(i8* %hv)
  28
  29 ; CHECK-LABEL: @test1a
  30 ; CHECK-NOT: @llvm.ppc.qpx.qvlfs
  31 ; CHECK-NOT: load <4 x double>
  32 ; CHECK: ret <4 x double>
  33
  34   %v0 = load <4 x float>, <4 x float>* %h, align 8
  35   %v0e = fpext <4 x float> %v0 to <4 x double>
  36   %a = fadd <4 x double> %v0e, %vl
  37   ret <4 x double> %a
  38 }
  39
  40 declare void @llvm.ppc.qpx.qvstfs(<4 x double>, i8*) #0
  41
  42 define <4 x float> @test2(<4 x float>* %h, <4 x double> %d) #0 {
  43 entry:
  44   %h1 = getelementptr <4 x float>, <4 x float>* %h, i64 1
  45   %hv = bitcast <4 x float>* %h1 to i8*
  46   call void @llvm.ppc.qpx.qvstfs(<4 x double> %d, i8* %hv)
  47
  48   %v0 = load <4 x float>, <4 x float>* %h, align 8
  49   ret <4 x float> %v0
  50
  51 ; CHECK-LABEL: @test2
  52 ; CHECK: @llvm.ppc.qpx.qvstfs
  53 ; CHECK: ret <4 x float>
  54 }
  55
  56 define <4 x float> @test2a(<4 x float>* align 16 %h, <4 x double> %d) #0 {
  57 entry:
  58   %h1 = getelementptr <4 x float>, <4 x float>* %h, i64 1
  59   %hv = bitcast <4 x float>* %h1 to i8*
  60   call void @llvm.ppc.qpx.qvstfs(<4 x double> %d, i8* %hv)
  61
  62   %v0 = load <4 x float>, <4 x float>* %h, align 8
  63   ret <4 x float> %v0
  64
  65 ; CHECK-LABEL: @test2
  66 ; CHECK: fptrunc <4 x double> %d to <4 x float>
  67 ; CHECK-NOT: @llvm.ppc.qpx.qvstfs
  68 ; CHECK-NOT: store <4 x double>
  69 ; CHECK: ret <4 x float>
  70 }
  71
  72 declare <4 x double> @llvm.ppc.qpx.qvlfd(i8*) #1
  73
  74 define <4 x double> @test1l(<4 x double>* %h) #0 {
  75 entry:
  76   %h1 = getelementptr <4 x double>, <4 x double>* %h, i64 1
  77   %hv = bitcast <4 x double>* %h1 to i8*
  78   %vl = call <4 x double> @llvm.ppc.qpx.qvlfd(i8* %hv)
  79
  80 ; CHECK-LABEL: @test1l
  81 ; CHECK: @llvm.ppc.qpx.qvlfd
  82 ; CHECK: ret <4 x double>
  83
  84   %v0 = load <4 x double>, <4 x double>* %h, align 8
  85   %a = fadd <4 x double> %v0, %vl
  86   ret <4 x double> %a
  87 }
  88
  89 define <4 x double> @test1ln(<4 x double>* align 16 %h) #0 {
  90 entry:
  91   %h1 = getelementptr <4 x double>, <4 x double>* %h, i64 1
  92   %hv = bitcast <4 x double>* %h1 to i8*
  93   %vl = call <4 x double> @llvm.ppc.qpx.qvlfd(i8* %hv)
  94
  95 ; CHECK-LABEL: @test1ln
  96 ; CHECK: @llvm.ppc.qpx.qvlfd
  97 ; CHECK: ret <4 x double>
  98
  99   %v0 = load <4 x double>, <4 x double>* %h, align 8
 100   %a = fadd <4 x double> %v0, %vl
 101   ret <4 x double> %a
 102 }
 103
 104 define <4 x double> @test1la(<4 x double>* align 32 %h) #0 {
 105 entry:
 106   %h1 = getelementptr <4 x double>, <4 x double>* %h, i64 1
 107   %hv = bitcast <4 x double>* %h1 to i8*
 108   %vl = call <4 x double> @llvm.ppc.qpx.qvlfd(i8* %hv)
 109
 110 ; CHECK-LABEL: @test1la
 111 ; CHECK-NOT: @llvm.ppc.qpx.qvlfd
 112 ; CHECK: ret <4 x double>
 113
 114   %v0 = load <4 x double>, <4 x double>* %h, align 8
 115   %a = fadd <4 x double> %v0, %vl
 116   ret <4 x double> %a
 117 }
 118
 119 declare void @llvm.ppc.qpx.qvstfd(<4 x double>, i8*) #0
 120
 121 define <4 x double> @test2l(<4 x double>* %h, <4 x double> %d) #0 {
 122 entry:
 123   %h1 = getelementptr <4 x double>, <4 x double>* %h, i64 1
 124   %hv = bitcast <4 x double>* %h1 to i8*
 125   call void @llvm.ppc.qpx.qvstfd(<4 x double> %d, i8* %hv)
 126
 127   %v0 = load <4 x double>, <4 x double>* %h, align 8
 128   ret <4 x double> %v0
 129
 130 ; CHECK-LABEL: @test2l
 131 ; CHECK: @llvm.ppc.qpx.qvstfd
 132 ; CHECK: ret <4 x double>
 133 }
 134
 135 define <4 x double> @test2ln(<4 x double>* align 16 %h, <4 x double> %d) #0 {
 136 entry:
 137   %h1 = getelementptr <4 x double>, <4 x double>* %h, i64 1
 138   %hv = bitcast <4 x double>* %h1 to i8*
 139   call void @llvm.ppc.qpx.qvstfd(<4 x double> %d, i8* %hv)
 140
 141   %v0 = load <4 x double>, <4 x double>* %h, align 8
 142   ret <4 x double> %v0
 143
 144 ; CHECK-LABEL: @test2ln
 145 ; CHECK: @llvm.ppc.qpx.qvstfd
 146 ; CHECK: ret <4 x double>
 147 }
 148
 149 define <4 x double> @test2la(<4 x double>* align 32 %h, <4 x double> %d) #0 {
 150 entry:
 151   %h1 = getelementptr <4 x double>, <4 x double>* %h, i64 1
 152   %hv = bitcast <4 x double>* %h1 to i8*
 153   call void @llvm.ppc.qpx.qvstfd(<4 x double> %d, i8* %hv)
 154
 155   %v0 = load <4 x double>, <4 x double>* %h, align 8
 156   ret <4 x double> %v0
 157
 158 ; CHECK-LABEL: @test2l
 159 ; CHECK-NOT: @llvm.ppc.qpx.qvstfd
 160 ; CHECK: ret <4 x double>
 161 }
 162
 163 attributes #0 = { nounwind }
 164 attributes #1 = { nounwind readonly }
 165