blob: 88dbdf781504e75c81ac1edd3e81c35ed35151d9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
; RUN: opt < %s -reassociate -gvn -instcombine -S | not grep add
@a = weak global i32 0 ; <i32*> [#uses=1]
@b = weak global i32 0 ; <i32*> [#uses=1]
@c = weak global i32 0 ; <i32*> [#uses=1]
@d = weak global i32 0 ; <i32*> [#uses=0]
define i32 @foo() {
%tmp.0 = load i32* @a ; <i32> [#uses=2]
%tmp.1 = load i32* @b ; <i32> [#uses=2]
; (a+b)
%tmp.2 = add i32 %tmp.0, %tmp.1 ; <i32> [#uses=1]
%tmp.4 = load i32* @c ; <i32> [#uses=2]
; (a+b)+c
%tmp.5 = add i32 %tmp.2, %tmp.4 ; <i32> [#uses=1]
; (a+c)
%tmp.8 = add i32 %tmp.0, %tmp.4 ; <i32> [#uses=1]
; (a+c)+b
%tmp.11 = add i32 %tmp.8, %tmp.1 ; <i32> [#uses=1]
; X ^ X = 0
%RV = xor i32 %tmp.5, %tmp.11 ; <i32> [#uses=1]
ret i32 %RV
}
|
