| ; RUN: llvm-upgrade < %s | llvm-as | llvm-dis | not grep cast | |
| ; All of these should be eliminable | |
| int %foo() { | |
| ret int and (int cast (int()* %foo to int), int 1) | |
| } | |
| int %foo2() { | |
| ret int and (int 1, int cast (int()* %foo2 to int)) | |
| } | |
| bool %foo3() { | |
| ret bool cast (bool()* %foo3 to bool) | |
| } |