blob: 836b5f1551c705495d29c4ebf4f34eacf2ae0005 [file] [log] [blame]
Bill Wendlingaf13d822010-03-03 00:35:56 +00001; 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 Lattner4c4e0772006-09-14 21:10:06 +00003
4; The dag combiner should fold together (x&127)|(y&16711680) -> (x|y)&c1
5; in this case.
Tanya Lattner3cdf5422008-02-21 07:42:26 +00006
Bill Wendlingaf13d822010-03-03 00:35:56 +00007define 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 Lattner4c4e0772006-09-14 21:10:06 +000015}
16
Bill Wendlingaf13d822010-03-03 00:35:56 +000017; <rdar://problem/7529774> The optimizer shouldn't fold this into (and (or, C), D)
18; if (C & D) == 0
19define i64 @test2(i64 %x) nounwind readnone ssp {
20entry:
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}