blob: 3c9b0744a8fc56d57cb700a7f6275cbd6e855b80 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001; Reassociation should apply to Add, Mul, And, Or, & Xor
2;
Tanya Lattner028031a2008-03-19 04:36:04 +00003; RUN: llvm-as < %s | opt -reassociate -constprop -instcombine -die | llvm-dis | not grep 12
Dan Gohmanf17a25c2007-07-18 16:29:46 +00004
Tanya Lattner028031a2008-03-19 04:36:04 +00005define i32 @test_mul(i32 %arg) {
6 %tmp1 = mul i32 12, %arg ; <i32> [#uses=1]
7 %tmp2 = mul i32 %tmp1, 12 ; <i32> [#uses=1]
8 ret i32 %tmp2
Dan Gohmanf17a25c2007-07-18 16:29:46 +00009}
10
Tanya Lattner028031a2008-03-19 04:36:04 +000011define i32 @test_and(i32 %arg) {
12 %tmp1 = and i32 14, %arg ; <i32> [#uses=1]
13 %tmp2 = and i32 %tmp1, 14 ; <i32> [#uses=1]
14 ret i32 %tmp2
Dan Gohmanf17a25c2007-07-18 16:29:46 +000015}
16
Tanya Lattner028031a2008-03-19 04:36:04 +000017define i32 @test_or(i32 %arg) {
18 %tmp1 = or i32 14, %arg ; <i32> [#uses=1]
19 %tmp2 = or i32 %tmp1, 14 ; <i32> [#uses=1]
20 ret i32 %tmp2
Dan Gohmanf17a25c2007-07-18 16:29:46 +000021}
22
Tanya Lattner028031a2008-03-19 04:36:04 +000023define i32 @test_xor(i32 %arg) {
24 %tmp1 = xor i32 12, %arg ; <i32> [#uses=1]
25 %tmp2 = xor i32 %tmp1, 12 ; <i32> [#uses=1]
26 ret i32 %tmp2
Dan Gohmanf17a25c2007-07-18 16:29:46 +000027}
28