test/CodeGen/X86/testl-commute.ll

   1 ; RUN: llc < %s | FileCheck %s
   2 ; rdar://5671654
   3 ; The loads should fold into the testl instructions, no matter how
   4 ; the inputs are commuted.
   5
   6 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   7 target triple = "x86_64-apple-darwin7"
   8
   9 define i32 @test(i32* %P, i32* %G) nounwind {
  10 ; CHECK-LABEL: test:
  11 ; CHECK-NOT: ret
  12 ; CHECK: testl (%{{.*}}), %{{.*}}
  13 ; CHECK: ret
  14
  15 entry:
  16         %0 = load i32, i32* %P, align 4         ; <i32> [#uses=3]
  17         %1 = load i32, i32* %G, align 4         ; <i32> [#uses=1]
  18         %2 = and i32 %1, %0             ; <i32> [#uses=1]
  19         %3 = icmp eq i32 %2, 0          ; <i1> [#uses=1]
  20         br i1 %3, label %bb1, label %bb
  21
  22 bb:             ; preds = %entry
  23         %4 = tail call i32 @bar() nounwind              ; <i32> [#uses=0]
  24         ret i32 %0
  25
  26 bb1:            ; preds = %entry
  27         ret i32 %0
  28 }
  29
  30 define i32 @test2(i32* %P, i32* %G) nounwind {
  31 ; CHECK-LABEL: test2:
  32 ; CHECK-NOT: ret
  33 ; CHECK: testl (%{{.*}}), %{{.*}}
  34 ; CHECK: ret
  35
  36 entry:
  37         %0 = load i32, i32* %P, align 4         ; <i32> [#uses=3]
  38         %1 = load i32, i32* %G, align 4         ; <i32> [#uses=1]
  39         %2 = and i32 %0, %1             ; <i32> [#uses=1]
  40         %3 = icmp eq i32 %2, 0          ; <i1> [#uses=1]
  41         br i1 %3, label %bb1, label %bb
  42
  43 bb:             ; preds = %entry
  44         %4 = tail call i32 @bar() nounwind              ; <i32> [#uses=0]
  45         ret i32 %0
  46
  47 bb1:            ; preds = %entry
  48         ret i32 %0
  49 }
  50
  51 define i32 @test3(i32* %P, i32* %G) nounwind {
  52 ; CHECK-LABEL: test3:
  53 ; CHECK-NOT: ret
  54 ; CHECK: testl (%{{.*}}), %{{.*}}
  55 ; CHECK: ret
  56
  57 entry:
  58         %0 = load i32, i32* %P, align 4         ; <i32> [#uses=3]
  59         %1 = load i32, i32* %G, align 4         ; <i32> [#uses=1]
  60         %2 = and i32 %0, %1             ; <i32> [#uses=1]
  61         %3 = icmp eq i32 %2, 0          ; <i1> [#uses=1]
  62         br i1 %3, label %bb1, label %bb
  63
  64 bb:             ; preds = %entry
  65         %4 = tail call i32 @bar() nounwind              ; <i32> [#uses=0]
  66         ret i32 %1
  67
  68 bb1:            ; preds = %entry
  69         ret i32 %1
  70 }
  71
  72 declare i32 @bar()