Add testcase for reason that typesafety of power is being broken

[oota-llvm.git] / test / Transforms / InstCombine / shift.ll

diff --git a/test/Transforms/InstCombine/shift.ll b/test/Transforms/InstCombine/shift.ll
index 3465baf5a378c99f7a8d3b1bc33a9e305c701083..66a081789003f82cbfd6b0c725d45561c8d23cc3 100644 (file)
--- a/test/Transforms/InstCombine/shift.ll
+++ b/test/Transforms/InstCombine/shift.ll
@@ -33,6 +33,11 @@ uint %test5(uint %A) {
        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 @@ int %test7(ubyte %A) {
        %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
+}
+