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
|
; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s
define i64 @func1(i64 %a, i32 %b) {
; CHECK-LABEL: func1:
; CHECK: # %bb.0:
; CHECK-NEXT: srl %s2, %s0, %s1
; CHECK-NEXT: lea %s3, 64
; CHECK-NEXT: subs.w.sx %s1, %s3, %s1
; CHECK-NEXT: sll %s0, %s0, %s1
; CHECK-NEXT: or %s0, %s0, %s2
; CHECK-NEXT: b.l.t (, %s10)
%b64 = zext i32 %b to i64
%a.lr = lshr i64 %a, %b64
%b.inv = sub nsw i32 64, %b
%b.inv64 = zext i32 %b.inv to i64
%a.sl = shl i64 %a, %b.inv64
%r = or i64 %a.sl, %a.lr
ret i64 %r
}
define i32 @func2(i32 %a, i32 %b) {
; CHECK-LABEL: func2:
; CHECK: # %bb.0:
; CHECK-NEXT: and %s2, %s0, (32)0
; CHECK-NEXT: srl %s2, %s2, %s1
; CHECK-NEXT: subs.w.sx %s1, 32, %s1
; CHECK-NEXT: sla.w.sx %s0, %s0, %s1
; CHECK-NEXT: or %s0, %s0, %s2
; CHECK-NEXT: b.l.t (, %s10)
%a.lr = lshr i32 %a, %b
%b.inv = sub nsw i32 32, %b
%a.sl = shl i32 %a, %b.inv
%r = or i32 %a.sl, %a.lr
ret i32 %r
}
|
