binop-identity.ll
1.44 KB
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
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -reassociate -S | FileCheck %s
; Don't produce an instruction that is a no-op because the constant is an identity constant.
define i32 @add_0(i32 %x) {
; CHECK-LABEL: @add_0(
; CHECK-NEXT: ret i32 [[X:%.*]]
;
%a1 = add i32 %x, -30
%a2 = add i32 %a1, 30
ret i32 %a2
}
define i32 @mul_1(i32 %x) {
; CHECK-LABEL: @mul_1(
; CHECK-NEXT: ret i32 [[X:%.*]]
;
%a1 = mul i32 %x, -1
%a2 = mul i32 %a1, -1
ret i32 %a2
}
define i8 @and_neg1(i8 %x) {
; CHECK-LABEL: @and_neg1(
; CHECK-NEXT: ret i8 [[X:%.*]]
;
%a1 = and i8 %x, 255
%a2 = and i8 %a1, 255
ret i8 %a2
}
define i8 @or_0(i8 %x) {
; CHECK-LABEL: @or_0(
; CHECK-NEXT: ret i8 [[X:%.*]]
;
%a1 = or i8 %x, 0
%a2 = or i8 %a1, 0
ret i8 %a2
}
define i8 @xor_0(i8 %x) {
; CHECK-LABEL: @xor_0(
; CHECK-NEXT: ret i8 [[X:%.*]]
;
%a1 = xor i8 %x, 42
%a2 = xor i8 %a1, 42
ret i8 %a2
}
; FIXME - the binop identity constant for fadd is -0.0, so this didn't fold.
define float @fadd_0(float %x) {
; CHECK-LABEL: @fadd_0(
; CHECK-NEXT: [[A2:%.*]] = fadd fast float [[X:%.*]], 0.000000e+00
; CHECK-NEXT: ret float [[A2]]
;
%a1 = fadd fast float %x, -30.0
%a2 = fadd fast float %a1, 30.0
ret float %a2
}
define float @fmul_1(float %x) {
; CHECK-LABEL: @fmul_1(
; CHECK-NEXT: ret float [[X:%.*]]
;
%a1 = fmul fast float %x, 4.0
%a2 = fmul fast float %a1, 0.25
ret float %a2
}