mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-22 04:22:57 +02:00
67b5b15e9e
This adds support for the QPX vector instruction set, which is used by the
enhanced A2 cores on the IBM BG/Q supercomputers. QPX vectors are 256 bytes
wide, holding 4 double-precision floating-point values. Boolean values, modeled
here as <4 x i1> are actually also represented as floating-point values
(essentially { -1, 1 } for { false, true }). QPX shares many features with
Altivec and VSX, but is distinct from both of them. One major difference is
that, instead of adding completely-separate vector registers, QPX vector
registers are extensions of the scalar floating-point registers (lane 0 is the
corresponding scalar floating-point value). The operations supported on QPX
vectors mirrors that supported on the scalar floating-point values (with some
additional ones for permutations and logical/comparison operations).
I've been maintaining this support out-of-tree, as part of the bgclang project,
for several years. This is not the entire bgclang patch set, but is most of the
subset that can be cleanly integrated into LLVM proper at this time. Adding
this to the LLVM backend is part of my efforts to rebase bgclang to the current
LLVM trunk, but is independently useful (especially for codes that use LLVM as
a JIT in library form).
The assembler/disassembler test coverage is complete. The CodeGen test coverage
is not, but I've included some tests, and more will be added as follow-up work.
llvm-svn: 230413
115 lines
6.4 KiB
LLVM
115 lines
6.4 KiB
LLVM
; RUN: llc -mcpu=pwr7 < %s | FileCheck %s
|
|
target datalayout = "E-m:e-i64:64-n32:64"
|
|
target triple = "powerpc64-unknown-linux-gnu"
|
|
|
|
; Function Attrs: nounwind
|
|
define void @_Z28test_goto_loop_unroll_factorILi22EiEvPKT0_iPKc(i32* nocapture readonly %first) #0 {
|
|
entry:
|
|
br i1 false, label %loop2_start, label %if.end5
|
|
|
|
; CHECK-LABEL: @_Z28test_goto_loop_unroll_factorILi22EiEvPKT0_iPKc
|
|
|
|
loop2_start: ; preds = %loop2_start, %entry
|
|
br i1 undef, label %loop2_start, label %if.then.i31
|
|
|
|
if.end5: ; preds = %entry
|
|
br i1 undef, label %loop_start.preheader, label %if.then.i31
|
|
|
|
loop_start.preheader: ; preds = %if.end5
|
|
br i1 false, label %middle.block, label %vector.body
|
|
|
|
vector.body: ; preds = %vector.body, %loop_start.preheader
|
|
%vec.phi61 = phi <4 x i32> [ %34, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
|
|
%vec.phi62 = phi <4 x i32> [ %35, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
|
|
%vec.phi63 = phi <4 x i32> [ %36, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
|
|
%vec.phi65 = phi <4 x i32> [ %37, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
|
|
%vec.phi67 = phi <4 x i32> [ %38, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
|
|
%vec.phi68 = phi <4 x i32> [ %39, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
|
|
%vec.phi69 = phi <4 x i32> [ %40, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
|
|
%vec.phi70 = phi <4 x i32> [ %41, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
|
|
%vec.phi71 = phi <4 x i32> [ %42, %vector.body ], [ zeroinitializer, %loop_start.preheader ]
|
|
%.sum = add i64 0, 4
|
|
%wide.load72 = load <4 x i32>* null, align 4
|
|
%.sum109 = add i64 0, 8
|
|
%0 = getelementptr i32* %first, i64 %.sum109
|
|
%1 = bitcast i32* %0 to <4 x i32>*
|
|
%wide.load73 = load <4 x i32>* %1, align 4
|
|
%.sum110 = add i64 0, 12
|
|
%2 = getelementptr i32* %first, i64 %.sum110
|
|
%3 = bitcast i32* %2 to <4 x i32>*
|
|
%wide.load74 = load <4 x i32>* %3, align 4
|
|
%.sum112 = add i64 0, 20
|
|
%4 = getelementptr i32* %first, i64 %.sum112
|
|
%5 = bitcast i32* %4 to <4 x i32>*
|
|
%wide.load76 = load <4 x i32>* %5, align 4
|
|
%.sum114 = add i64 0, 28
|
|
%6 = getelementptr i32* %first, i64 %.sum114
|
|
%7 = bitcast i32* %6 to <4 x i32>*
|
|
%wide.load78 = load <4 x i32>* %7, align 4
|
|
%.sum115 = add i64 0, 32
|
|
%8 = getelementptr i32* %first, i64 %.sum115
|
|
%9 = bitcast i32* %8 to <4 x i32>*
|
|
%wide.load79 = load <4 x i32>* %9, align 4
|
|
%.sum116 = add i64 0, 36
|
|
%10 = getelementptr i32* %first, i64 %.sum116
|
|
%11 = bitcast i32* %10 to <4 x i32>*
|
|
%wide.load80 = load <4 x i32>* %11, align 4
|
|
%.sum117 = add i64 0, 40
|
|
%12 = getelementptr i32* %first, i64 %.sum117
|
|
%13 = bitcast i32* %12 to <4 x i32>*
|
|
%wide.load81 = load <4 x i32>* %13, align 4
|
|
%.sum118 = add i64 0, 44
|
|
%14 = getelementptr i32* %first, i64 %.sum118
|
|
%15 = bitcast i32* %14 to <4 x i32>*
|
|
%wide.load82 = load <4 x i32>* %15, align 4
|
|
%16 = mul <4 x i32> %wide.load72, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
|
|
%17 = mul <4 x i32> %wide.load73, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
|
|
%18 = mul <4 x i32> %wide.load74, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
|
|
%19 = mul <4 x i32> %wide.load76, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
|
|
%20 = mul <4 x i32> %wide.load78, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
|
|
%21 = mul <4 x i32> %wide.load79, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
|
|
%22 = mul <4 x i32> %wide.load80, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
|
|
%23 = mul <4 x i32> %wide.load81, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
|
|
%24 = mul <4 x i32> %wide.load82, <i32 269850533, i32 269850533, i32 269850533, i32 269850533>
|
|
%25 = add <4 x i32> %16, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
|
|
%26 = add <4 x i32> %17, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
|
|
%27 = add <4 x i32> %18, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
|
|
%28 = add <4 x i32> %19, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
|
|
%29 = add <4 x i32> %20, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
|
|
%30 = add <4 x i32> %21, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
|
|
%31 = add <4 x i32> %22, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
|
|
%32 = add <4 x i32> %23, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
|
|
%33 = add <4 x i32> %24, <i32 -1138325064, i32 -1138325064, i32 -1138325064, i32 -1138325064>
|
|
%34 = add nsw <4 x i32> %25, %vec.phi61
|
|
%35 = add nsw <4 x i32> %26, %vec.phi62
|
|
%36 = add nsw <4 x i32> %27, %vec.phi63
|
|
%37 = add nsw <4 x i32> %28, %vec.phi65
|
|
%38 = add nsw <4 x i32> %29, %vec.phi67
|
|
%39 = add nsw <4 x i32> %30, %vec.phi68
|
|
%40 = add nsw <4 x i32> %31, %vec.phi69
|
|
%41 = add nsw <4 x i32> %32, %vec.phi70
|
|
%42 = add nsw <4 x i32> %33, %vec.phi71
|
|
br i1 false, label %middle.block, label %vector.body
|
|
|
|
middle.block: ; preds = %vector.body, %loop_start.preheader
|
|
%rdx.vec.exit.phi85 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %34, %vector.body ]
|
|
%rdx.vec.exit.phi86 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %35, %vector.body ]
|
|
%rdx.vec.exit.phi87 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %36, %vector.body ]
|
|
%rdx.vec.exit.phi89 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %37, %vector.body ]
|
|
%rdx.vec.exit.phi91 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %38, %vector.body ]
|
|
%rdx.vec.exit.phi92 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %39, %vector.body ]
|
|
%rdx.vec.exit.phi93 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %40, %vector.body ]
|
|
%rdx.vec.exit.phi94 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %41, %vector.body ]
|
|
%rdx.vec.exit.phi95 = phi <4 x i32> [ zeroinitializer, %loop_start.preheader ], [ %42, %vector.body ]
|
|
br i1 false, label %if.then.i31, label %loop_start.prol
|
|
|
|
loop_start.prol: ; preds = %loop_start.prol, %middle.block
|
|
br label %loop_start.prol
|
|
|
|
if.then.i31: ; preds = %middle.block, %if.end5, %loop2_start
|
|
unreachable
|
|
}
|
|
|
|
attributes #0 = { nounwind }
|
|
|