test/Transforms/InstCombine/vector-casts-0.ll

   1 ; RUN: llvm-as < %s | opt -instcombine
   2
   3 define void @convert(<2 x i32>* %dst.addr, <2 x i64> %src) nounwind {
   4 entry:
   5         %val = trunc <2 x i64> %src to <2 x i32>                ; <<2 x i32>> [#uses=1]
   6         %add = add <2 x i32> %val, <i32 1, i32 1>               ; <<2 x i32>> [#uses=1]
   7         store <2 x i32> %add, <2 x i32>* %dst.addr
   8         ret void
   9 }
  10
  11 define <2 x i65> @foo(<2 x i64> %t) {
  12   %a = trunc <2 x i64> %t to <2 x i32>
  13   %b = zext <2 x i32> %a to <2 x i65>
  14   ret <2 x i65> %b
  15 }
  16 define <2 x i64> @bar(<2 x i65> %t) {
  17   %a = trunc <2 x i65> %t to <2 x i32>
  18   %b = zext <2 x i32> %a to <2 x i64>
  19   ret <2 x i64> %b
  20 }
  21 define <2 x i65> @foos(<2 x i64> %t) {
  22   %a = trunc <2 x i64> %t to <2 x i32>
  23   %b = sext <2 x i32> %a to <2 x i65>
  24   ret <2 x i65> %b
  25 }
  26 define <2 x i64> @bars(<2 x i65> %t) {
  27   %a = trunc <2 x i65> %t to <2 x i32>
  28   %b = sext <2 x i32> %a to <2 x i64>
  29   ret <2 x i64> %b
  30 }
  31 define <2 x i64> @quxs(<2 x i64> %t) {
  32   %a = trunc <2 x i64> %t to <2 x i32>
  33   %b = sext <2 x i32> %a to <2 x i64>
  34   ret <2 x i64> %b
  35 }
  36 define <2 x i64> @quxt(<2 x i64> %t) {
  37   %a = shl <2 x i64> %t, <i64 32, i64 32>
  38   %b = ashr <2 x i64> %a, <i64 32, i64 32>
  39   ret <2 x i64> %b
  40 }
  41 define <2 x double> @fa(<2 x double> %t) {
  42   %a = fptrunc <2 x double> %t to <2 x float>
  43   %b = fpext <2 x float> %a to <2 x double>
  44   ret <2 x double> %b
  45 }
  46 define <2 x double> @fb(<2 x double> %t) {
  47   %a = fptoui <2 x double> %t to <2 x i64>
  48   %b = uitofp <2 x i64> %a to <2 x double>
  49   ret <2 x double> %b
  50 }
  51 define <2 x double> @fc(<2 x double> %t) {
  52   %a = fptosi <2 x double> %t to <2 x i64>
  53   %b = sitofp <2 x i64> %a to <2 x double>
  54   ret <2 x double> %b
  55 }