Bill Wendling | af13d82 | 2010-03-03 00:35:56 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -mtriple=i686-apple-darwin | FileCheck -check-prefix=DARWIN %s |
| 2 | ; RUN: opt < %s -O2 | llc -mtriple=x86_64-apple-darwin | FileCheck -check-prefix=DARWIN-OPT %s |
Chris Lattner | 4c4e077 | 2006-09-14 21:10:06 +0000 | [diff] [blame] | 3 | |
| 4 | ; The dag combiner should fold together (x&127)|(y&16711680) -> (x|y)&c1 |
| 5 | ; in this case. |
Tanya Lattner | 3cdf542 | 2008-02-21 07:42:26 +0000 | [diff] [blame] | 6 | |
Bill Wendling | af13d82 | 2010-03-03 00:35:56 +0000 | [diff] [blame] | 7 | define i32 @test1(i32 %x, i16 %y) { |
| 8 | %tmp1 = zext i16 %y to i32 |
| 9 | %tmp2 = and i32 %tmp1, 127 |
| 10 | %tmp4 = shl i32 %x, 16 |
| 11 | %tmp5 = and i32 %tmp4, 16711680 |
| 12 | %tmp6 = or i32 %tmp2, %tmp5 |
| 13 | ret i32 %tmp6 |
| 14 | ; DARWIN: andl $16711807, %eax |
Chris Lattner | 4c4e077 | 2006-09-14 21:10:06 +0000 | [diff] [blame] | 15 | } |
| 16 | |
Bill Wendling | af13d82 | 2010-03-03 00:35:56 +0000 | [diff] [blame] | 17 | ; <rdar://problem/7529774> The optimizer shouldn't fold this into (and (or, C), D) |
| 18 | ; if (C & D) == 0 |
| 19 | define i64 @test2(i64 %x) nounwind readnone ssp { |
| 20 | entry: |
| 21 | %tmp1 = and i64 %x, 123127 |
| 22 | %tmp2 = or i64 %tmp1, 3 |
| 23 | ret i64 %tmp2 |
| 24 | ; DARWIN-OPT: andq $123124 |
| 25 | ; DARWIN-OPT-NEXT: leaq 3 |
| 26 | } |