| ; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -aa-eval -disable-output | |
| ; Test for a bug in BasicAA which caused a crash when querying equality of P1&P2 | |
| void %test({[2 x int],[2 x int]}* %A, long %X, long %Y) { | |
| %P1 = getelementptr {[2 x int],[2 x int]}* %A, long 0, uint 0, long %X | |
| %P2 = getelementptr {[2 x int],[2 x int]}* %A, long 0, uint 1, long %Y | |
| ret void | |
| } |