1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2020-2021 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================
; RUN: %opt %use_old_pass_manager% -GenXEmulate -march=genx64 -mtriple=spir64-unknown-unknown \
; RUN: -mcpu=Gen9 -mattr=+emulate_i64 -S < %s | FileCheck %s
; COM: "CT" stands for "casted type"
; COM: "ET" valid type (the type by which we emulate an operation)
; COM: NOTE: Since general cases for shifts are relatively complex - there is
; COM: little to befit to cover the exact expansion. The functionality should
; COM: tested by a proper EtoE tests. However, an "optimized" routes must
; COM: be covered
; COM: ===============================
; COM: TEST: ashr
; COM: ===============================
; CHECK: @test_ashr_generic
; CHECK: [[IV1:%[^ ]+.iv32cast[0-9]*]] = bitcast <[[RT:2 x i64]]> %vop to <[[CT:4 x i32]]>
; CHECK-NEXT: [[Lo_l:%[^ ]+.LoSplit[0-9]*]] = call <[[ET:2 x i32]]> [[rgn:@llvm.genx.rdregioni.[^(]+]](<[[CT]]> [[IV1]], [[low_reg:i32 0, i32 2, i32 2, i16 0,]]
; CHECK-NEXT: [[Hi_l:%[^ ]+.HiSplit[0-9]*]] = call <[[ET]]> [[rgn]](<[[CT]]> [[IV1]], [[high_reg:i32 0, i32 2, i32 2, i16 4,]]
; CHECK-NEXT: [[IV2:%[^ ]+.iv32cast[0-9]*]] = bitcast <[[RT]]> %sha to <[[CT]]>
; CHECK-NEXT: [[Lo_r:%[^ ]+.LoSplit[0-9]*]] = call <[[ET]]> [[rgn]](<[[CT]]> [[IV2]], [[low_reg]]
; CHECK-NEXT: [[Hi_r:%[^ ]+.HiSplit[0-9]*]] = call <[[ET]]> [[rgn]](<[[CT]]> [[IV2]], [[high_reg]]
; CHECK-NEXT: [[SHA:%[^ ]+]] = and <[[ET]]> [[Lo_r]], <i32 63, i32 63>
; CHECK-NEXT: [[SH32:%[^ ]+]] = sub <[[ET]]> <i32 32, i32 32>, [[SHA]]
; CHECK-NEXT: [[CND_MASK1:%[^ ]+]] = icmp uge <[[ET]]> [[SHA]], <i32 32, i32 32>
; CHECK-NEXT: [[CND_MASK0:%[^ ]+]] = icmp eq <[[ET]]> [[SHA]], zeroinitializer
; CHECK-NEXT: [[MASK1:%[^ ]+]] = select <2 x i1> %1, <[[ET]]> zeroinitializer, <[[ET]]> <i32 -1, i32 -1>
; CHECK-NEXT: [[MASK0:%[^ ]+]] = select <2 x i1> %2, <[[ET]]> zeroinitializer, <[[ET]]> <i32 -1, i32 -1>
; CHECK-NEXT: [[T1:%[^ ]+]] = and <[[ET]]> [[Hi_l]], [[MASK0]]
; CHECK-NEXT: [[TMP_H1_:%[^ ]+]] = shl <[[ET]]> [[T1]], [[SH32]]
; CHECK-NEXT: [[TMP_H1:%[^ ]+]] = and <[[ET]]> [[TMP_H1_]], [[MASK1]]
; CHECK-NEXT: [[T2:%[^ ]+]] = sub <[[ET]]> [[SHA]], <i32 32, i32 32>
; CHECK-NEXT: [[T3:%[^ ]+]] = lshr <[[ET]]> [[Hi_l]], [[T2]]
; CHECK-NEXT: [[NMASK1:%[^ ]+]] = xor <[[ET]]> [[MASK1]], <i32 -1, i32 -1>
; CHECK-NEXT: [[TMP_H2:%[^ ]+]] = and <[[ET]]> [[T3]], [[NMASK1]]
; CHECK-NEXT: [[T4:%[^ ]+]] = lshr <[[ET]]> [[Lo_l]], [[SHA]]
; CHECK-NEXT: [[TMPL:%[^ ]+]] = and <[[ET]]> [[T4]], [[MASK1]]
; CHECK-NEXT: [[Lo_:%[^ ]+]] = or <[[ET]]> [[TMPL]], [[TMP_H1]]
; CHECK-NEXT: [[Lo1:%[^ ]+]] = or <[[ET]]> [[Lo_]], [[TMP_H2]]
; CHECK-NEXT: [[Hi_:%[^ ]+]] = lshr <[[ET]]> [[Hi_l]], [[SHA]]
; CHECK-NEXT: [[Hi1:%[^ ]+]] = and <[[ET]]> [[Hi_]], [[MASK1]]
; CHECK-NEXT: [[SMASK:%[^ ]+]] = ashr <[[ET]]> [[Hi_l]], <i32 31, i32 31>
; CHECK-NEXT: [[T5:%[^ ]+]] = and <[[ET]]> [[SH32]], [[MASK1]]
; CHECK-NEXT: [[AUX_HI_:%[^ ]+]] = shl <[[ET]]> [[SMASK]], [[T5]]
; CHECK-NEXT: [[AUX_HI:%[^ ]+]] = and <[[ET]]> [[AUX_HI_]], [[MASK0]]
; CHECK-NEXT: [[RSHA:%[^ ]+]] = sub <[[ET]]> <i32 63, i32 63>, [[SHA]]
; CHECK-NEXT: [[T6:%[^ ]+]] = shl <[[ET]]> [[SMASK]], [[RSHA]]
; CHECK-NEXT: [[NMASK1:%[^ ]+]] = xor <[[ET]]> [[MASK1]], <i32 -1, i32 -1>
; CHECK-NEXT: [[AUX_LO:%[^ ]+]] = and <[[ET]]> [[T6]], [[NMASK1]]
; CHECK-NEXT: [[Lo:%[^ ]+]] = or <[[ET]]> [[Lo1]], [[AUX_LO]]
; CHECK-NEXT: [[Hi:%[^ ]+]] = or <[[ET]]> [[Hi1]], [[AUX_HI]]
; CHECK-NEXT: [[P_JOIN:%[^ ]+]] = call <[[CT]]> @llvm.genx.wrregioni.{{[^(]+}}(<[[CT]]> undef, <[[ET]]> [[Lo]], [[low_reg]]
; CHECK-NEXT: [[JOINED:%[^ ]+]] = call <[[CT]]> @llvm.genx.wrregioni.{{[^(]+}}(<[[CT]]> [[P_JOIN]], <[[ET]]> [[Hi]], [[high_reg]]
; CHECK-NEXT: [[RECAST:%[^ ]+]] = bitcast <[[CT]]> [[JOINED]] to <[[RT]]>
; CHECK-NEXT: [[USER:%[^ ]+]] = bitcast <[[RT]]> [[RECAST]] to <[[RT]]>
define dllexport spir_kernel void @test_ashr_generic(i64 %sop1, i64 %sop2,
<2 x i64> %vop, <2 x i64> %sha) {
%v1 = ashr <2 x i64> %vop, %sha
%uv = bitcast <2 x i64> %v1 to <2 x i64>
ret void
}
|
