[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Analysis / BasicAA / pr35821.ll
blobca840da679b6ccc47067b6d841a0cb47504ef270
1 ; RUN: opt %s -aa-eval -disable-output 2>&1 | FileCheck %s
3 ; CHECK: 6 Total Alias Queries Performed
4 ; CHECK-NEXT: 6 no alias responses
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