| Davide Italiano | 554f68b | 2018-01-05 16:18:47 +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 | %G26 = getelementptr i1, i1* undef, i1 undef | ||||
| 8 | %B20 = shl i8 -128, 16 | ||||
| 9 | %G47 = getelementptr i1*, i1** undef, i8 %B20 | ||||
| 10 | ret void | ||||
| 11 | } | ||||