From fba7ca63cc934e52e6bf5d682755c2e99614c8da Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sun, 17 Apr 2011 01:16:47 +0000
Subject: fix rdar://9289583 - fast isel should handle non-canonical
 commutative binops allowing us to fold the immediate into the 'and' in this
 case:

int test1(int i) {
  return 8&i;
}

llvm-svn: 129653
---
 llvm/test/CodeGen/X86/fast-isel-x86-64.ll | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 llvm/test/CodeGen/X86/fast-isel-x86-64.ll

(limited to 'llvm/test/CodeGen')

diff --git a/llvm/test/CodeGen/X86/fast-isel-x86-64.ll b/llvm/test/CodeGen/X86/fast-isel-x86-64.ll
new file mode 100644
index 00000000000..b2d1263ca77
--- /dev/null
+++ b/llvm/test/CodeGen/X86/fast-isel-x86-64.ll
@@ -0,0 +1,14 @@
+; RUN: llc < %s | FileCheck %s
+
+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-n8:16:32:64"
+target triple = "x86_64-apple-darwin10.0.0"
+
+; Make sure that fast-isel folds the immediate into the binop even though it
+; is non-canonical.
+define i32 @test1(i32 %i) nounwind ssp {
+  %and = and i32 8, %i
+  ret i32 %and
+}
+
+; CHECK: test1:
+; CHECK: andl	$8, 
-- 
cgit v1.2.3