Add some testcases for select simplification

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12543 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/InstCombine/select.ll b/test/Transforms/InstCombine/select.ll
index d635ffd8b5a7a21139b0d96428b912df4ad37f08..6a7ff1a6adb4d560022538745b07750aa39f41aa 100644 (file)
--- a/test/Transforms/InstCombine/select.ll
+++ b/test/Transforms/InstCombine/select.ll
@@ -15,4 +15,23 @@ int %test2(int %A, int %B) {
        ret int %C
 }
 
+int %test3(bool %C, int %I) {
+       %V = select bool %C, int %I, int %I         ; V = I
+       ret int %V
+}
+
+bool %test4(bool %C) {
+       %V = select bool %C, bool true, bool false  ; V = C
+       ret bool %V
+}
+
+bool %test5(bool %C) {
+       %V = select bool %C, bool false, bool true  ; V = !C
+       ret bool %V
+}
+
+int %test6(bool %C) {
+       %V = select bool %C, int 1, int 0         ; V = cast C to int
+       ret int %V
+}