| ; RUN: llvm-as < %s | llvm-dis | not grep ptrtoint | |
| ; RUN: verify-uselistorder %s | |
| ; All of these should be eliminable | |
| define i32 @foo() { | |
| ret i32 and (i32 ptrtoint (ptr @foo to i32), i32 1) | |
| } | |
| define i32 @foo2() { | |
| ret i32 and (i32 1, i32 ptrtoint (ptr @foo2 to i32)) | |
| } | |
| define i1 @foo3() { | |
| ret i1 icmp ne (ptr @foo3, ptr null) | |
| } |