test/CodeGen/X86/and-or-fold.ll

   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
   3
   4 ; The dag combiner should fold together (x&127)|(y&16711680) -> (x|y)&c1
   5 ; in this case.
   6
   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
  15 }
  16
  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 }