test/CodeGen/X86/brcond.ll

   1 ; RUN: llc < %s -mtriple=i386-apple-darwin10 | FileCheck %s
   2 ; rdar://7475489
   3
   4 define i32 @test1(i32 %a, i32 %b) nounwind ssp {
   5 entry:
   6 ; CHECK: test1:
   7 ; CHECK: xorb
   8 ; CHECK-NOT: andb
   9 ; CHECK-NOT: shrb
  10 ; CHECK: testb $64
  11   %0 = and i32 %a, 16384
  12   %1 = icmp ne i32 %0, 0
  13   %2 = and i32 %b, 16384
  14   %3 = icmp ne i32 %2, 0
  15   %4 = xor i1 %1, %3
  16   br i1 %4, label %bb1, label %bb
  17
  18 bb:                                               ; preds = %entry
  19   %5 = tail call i32 (...)* @foo() nounwind       ; <i32> [#uses=1]
  20   ret i32 %5
  21
  22 bb1:                                              ; preds = %entry
  23   %6 = tail call i32 (...)* @bar() nounwind       ; <i32> [#uses=1]
  24   ret i32 %6
  25 }
  26
  27 declare i32 @foo(...)
  28
  29 declare i32 @bar(...)
  30
  31
  32
  33 ; PR3351 - (P == 0) & (Q == 0) -> (P|Q) == 0
  34 define i32 @test2(i32* %P, i32* %Q) nounwind ssp {
  35 entry:
  36   %a = icmp eq i32* %P, null                    ; <i1> [#uses=1]
  37   %b = icmp eq i32* %Q, null                    ; <i1> [#uses=1]
  38   %c = and i1 %a, %b
  39   br i1 %c, label %bb1, label %return
  40
  41 bb1:                                              ; preds = %entry
  42   ret i32 4
  43
  44 return:                                           ; preds = %entry
  45   ret i32 192
  46 ; CHECK: test2:
  47 ; CHECK:        movl    4(%esp), %eax
  48 ; CHECK-NEXT:   orl     8(%esp), %eax
  49 ; CHECK-NEXT:   jne     LBB2_2
  50 }
  51
  52 ; PR3351 - (P != 0) | (Q != 0) -> (P|Q) != 0
  53 define i32 @test3(i32* %P, i32* %Q) nounwind ssp {
  54 entry:
  55   %a = icmp ne i32* %P, null                    ; <i1> [#uses=1]
  56   %b = icmp ne i32* %Q, null                    ; <i1> [#uses=1]
  57   %c = or i1 %a, %b
  58   br i1 %c, label %bb1, label %return
  59
  60 bb1:                                              ; preds = %entry
  61   ret i32 4
  62
  63 return:                                           ; preds = %entry
  64   ret i32 192
  65 ; CHECK: test3:
  66 ; CHECK:        movl    4(%esp), %eax
  67 ; CHECK-NEXT:   orl     8(%esp), %eax
  68 ; CHECK-NEXT:   je      LBB3_2
  69 }