[llvm-commits] CVS: llvm/test/Regression/Transforms/InstCombine/shift.ll
Chris Lattner
lattner at cs.uiuc.edu
Mon Mar 10 13:17:02 PST 2003
Changes in directory llvm/test/Regression/Transforms/InstCombine:
shift.ll updated: 1.6 -> 1.7
---
Log message:
Add a bunch of new tests
---
Diffs of the changes:
Index: llvm/test/Regression/Transforms/InstCombine/shift.ll
diff -u llvm/test/Regression/Transforms/InstCombine/shift.ll:1.6 llvm/test/Regression/Transforms/InstCombine/shift.ll:1.7
--- llvm/test/Regression/Transforms/InstCombine/shift.ll:1.6 Mon Mar 10 12:20:53 2003
+++ llvm/test/Regression/Transforms/InstCombine/shift.ll Mon Mar 10 13:16:20 2003
@@ -33,6 +33,11 @@
ret uint %B
}
+uint %test5a(uint %A) {
+ %B = shl uint %A, ubyte 32 ;; shift all bits out
+ ret uint %B
+}
+
uint %test6(uint %A) {
%B = shl uint %A, ubyte 1 ;; convert to an add instruction
ret uint %B
@@ -42,3 +47,28 @@
%B = shr int -1, ubyte %A ;; Always equal to -1
ret int %B
}
+
+ubyte %test8(ubyte %A) { ;; (A << 5) << 3 === A << 8 == 0
+ %B = shl ubyte %A, ubyte 5
+ %C = shl ubyte %B, ubyte 3
+ ret ubyte %C
+}
+
+ubyte %test9(ubyte %A) { ;; (A << 7) >> 7 === A & 1
+ %B = shl ubyte %A, ubyte 7
+ %C = shr ubyte %B, ubyte 7
+ ret ubyte %C
+}
+
+ubyte %test10(ubyte %A) { ;; (A >> 7) << 7 === A & 128
+ %B = shr ubyte %A, ubyte 7
+ %C = shl ubyte %B, ubyte 7
+ ret ubyte %C
+}
+
+ubyte %test11(ubyte %A) { ;; (A >> 3) << 4 == (A & 0x1F) << 1
+ %B = shr ubyte %A, ubyte 3
+ %C = shl ubyte %B, ubyte 4
+ ret ubyte %C
+}
+
More information about the llvm-commits
mailing list