From 8a11da021bce9a3971333b12b7c35965b4e24303 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sat, 24 Sep 2005 23:42:18 +0000
Subject: [PATCH] All of these should turn into sign extends (e.g. extsh/extsb
 on PPC)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@23427 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/InstCombine/signext.ll | 43 ++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 test/Transforms/InstCombine/signext.ll

diff --git a/test/Transforms/InstCombine/signext.ll b/test/Transforms/InstCombine/signext.ll
new file mode 100644
index 00000000000..a3b49822490
--- /dev/null
+++ b/test/Transforms/InstCombine/signext.ll
@@ -0,0 +1,43 @@
+; RUN: llvm-as < %s | opt -instcombine -disable-output &&
+; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep '(and\|xor\|add\|shl\|shr)'
+
+int %test1(int %x) {
+        %tmp.1 = and int %x, 65535              ; <int> [#uses=1]
+        %tmp.2 = xor int %tmp.1, -32768         ; <int> [#uses=1]
+        %tmp.3 = add int %tmp.2, 32768          ; <int> [#uses=1]
+        ret int %tmp.3
+}
+
+int %test2(int %x) {
+        %tmp.1 = and int %x, 65535              ; <int> [#uses=1]
+        %tmp.2 = xor int %tmp.1, 32768          ; <int> [#uses=1]
+        %tmp.3 = add int %tmp.2, -32768         ; <int> [#uses=1]
+        ret int %tmp.3
+}
+
+int %test3(ushort %P) {
+        %tmp.1 = cast ushort %P to int          ; <int> [#uses=1]
+        %tmp.4 = xor int %tmp.1, 32768          ; <int> [#uses=1]
+        %tmp.5 = add int %tmp.4, -32768         ; <int> [#uses=1]
+        ret int %tmp.5
+}
+
+uint %test4(ushort %P) {
+        %tmp.1 = cast ushort %P to uint         ; <uint> [#uses=1]
+        %tmp.4 = xor uint %tmp.1, 32768         ; <uint> [#uses=1]
+        %tmp.5 = add uint %tmp.4, 4294934528            ; <uint> [#uses=1]
+        ret uint %tmp.5
+}
+
+int %test5(int %x) {
+	%tmp.1 = and int %x, 254
+	%tmp.2 = xor int %tmp.1, 128
+	%tmp.3 = add int %tmp.2, -128
+	ret int %tmp.3
+}
+
+int %test6(int %x) {
+        %tmp.2 = shl int %x, ubyte 16           ; <int> [#uses=1]
+        %tmp.4 = shr int %tmp.2, ubyte 16               ; <int> [#uses=1]
+        ret int %tmp.4
+}