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
|
; RUN: opt -S -disable-output -passes="print<demanded-bits>" < %s 2>&1 | FileCheck %s
define i8 @test_shl_const_amount_4(i32 %a) {
; CHECK-LABEL: 'test_shl_const_amount_4'
; CHECK-DAG: DemandedBits: 0xff for %shl = shl i32 %a, 4
; CHECK-DAG: DemandedBits: 0xf for %a in %shl = shl i32 %a, 4
; CHECK-DAG: DemandedBits: 0xffffffff for 4 in %shl = shl i32 %a, 4
; CHECK-DAG: DemandedBits: 0xff for %shl.t = trunc i32 %shl to i8
; CHECK-DAG: DemandedBits: 0xff for %shl in %shl.t = trunc i32 %shl to i8
;
%shl = shl i32 %a, 4
%shl.t = trunc i32 %shl to i8
ret i8 %shl.t
}
define i8 @test_shl_const_amount_5(i32 %a) {
; CHECK-LABEL: 'test_shl_const_amount_5'
; CHECK-DAG: DemandedBits: 0xff for %shl = shl i32 %a, 5
; CHECK-DAG: DemandedBits: 0x7 for %a in %shl = shl i32 %a, 5
; CHECK-DAG: DemandedBits: 0xffffffff for 5 in %shl = shl i32 %a, 5
; CHECK-DAG: DemandedBits: 0xff for %shl.t = trunc i32 %shl to i8
; CHECK-DAG: DemandedBits: 0xff for %shl in %shl.t = trunc i32 %shl to i8
;
%shl = shl i32 %a, 5
%shl.t = trunc i32 %shl to i8
ret i8 %shl.t
}
define i8 @test_shl_const_amount_8(i32 %a) {
; CHECK-LABEL: 'test_shl_const_amount_8'
; CHECK-DAG: DemandedBits: 0xff for %shl.t = trunc i32 %shl to i8
; CHECK-DAG: DemandedBits: 0xff for %shl in %shl.t = trunc i32 %shl to i8
; CHECK-DAG: DemandedBits: 0xff for %shl = shl i32 %a, 8
; CHECK-DAG: DemandedBits: 0x0 for %a in %shl = shl i32 %a, 8
; CHECK-DAG: DemandedBits: 0xffffffff for 8 in %shl = shl i32 %a, 8
;
%shl = shl i32 %a, 8
%shl.t = trunc i32 %shl to i8
ret i8 %shl.t
}
define i8 @test_shl_const_amount_9(i32 %a) {
; CHECK-LABEL: 'test_shl_const_amount_9'
; CHECK-DAG: DemandedBits: 0xff for %shl = shl i32 %a, 9
; CHECK-DAG: DemandedBits: 0x0 for %a in %shl = shl i32 %a, 9
; CHECK-DAG: DemandedBits: 0xffffffff for 9 in %shl = shl i32 %a, 9
; CHECK-DAG: DemandedBits: 0xff for %shl.t = trunc i32 %shl to i8
; CHECK-DAG: DemandedBits: 0xff for %shl in %shl.t = trunc i32 %shl to i8
;
%shl = shl i32 %a, 9
%shl.t = trunc i32 %shl to i8
ret i8 %shl.t
}
define i8 @test_shl(i32 %a, i32 %b) {
; CHECK-LABEL: 'test_shl'
; CHECK-DAG: DemandedBits: 0xff for %shl.t = trunc i32 %shl to i8
; CHECK-DAG: DemandedBits: 0xff for %shl in %shl.t = trunc i32 %shl to i8
; CHECK-DAG: DemandedBits: 0xff for %shl = shl i32 %a, %b
; CHECK-DAG: DemandedBits: 0xffffffff for %a in %shl = shl i32 %a, %b
; CHECK-DAG: DemandedBits: 0xffffffff for %b in %shl = shl i32 %a, %b
;
%shl = shl i32 %a, %b
%shl.t = trunc i32 %shl to i8
ret i8 %shl.t
}
|
