| Davide Italiano | 7ccd461 | 2018-01-15 01:40:18 +0000 | [diff] [blame] | 1 | ; RUN: opt %s -aa-eval -disable-output 2>&1 | FileCheck %s |
| 2 | |||||
| 3 | ; CHECK: 6 Total Alias Queries Performed | ||||
| 4 | ; CHECK-NEXT: 6 no alias responses | ||||
| 5 | |||||
| 6 | define void @patatino() { | ||||
| 7 | BB: | ||||
| 8 | %G22 = getelementptr i1*, i1** undef, i8 -1 | ||||
| 9 | %B1 = mul i66 undef, 9223372036854775808 | ||||
| 10 | %G45 = getelementptr i1**, i1*** undef, i66 %B1 | ||||
| 11 | ret void | ||||
| 12 | } | ||||