1 ; RUN: opt -O3 -S %s | FileCheck %s
2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
3 declare noalias i8* @_Znam(i64) #1
5 define i32 @TestNoAsan() {
6 %1 = tail call noalias i8* @_Znam(i64 2)
7 %2 = getelementptr inbounds i8, i8* %1, i64 1
8 store i8 0, i8* %2, align 1
9 store i8 0, i8* %1, align 1
10 %3 = bitcast i8* %1 to i16*
11 %4 = load i16, i16* %3, align 4
12 %5 = icmp eq i16 %4, 0
13 br i1 %5, label %11, label %6
15 ; <label>:6 ; preds = %0
16 %7 = getelementptr inbounds i8, i8* %1, i64 2
17 %8 = bitcast i8* %7 to i16*
18 %9 = load i16, i16* %8, align 2
19 %10 = sext i16 %9 to i32
22 ; <label>:11 ; preds = %0, %6
23 %12 = phi i32 [ %10, %6 ], [ 0, %0 ]
27 ; CHECK-LABEL: @TestNoAsan
28 ; CHECK: %[[LOAD:[^ ]+]] = load i32
29 ; CHECK: {{.*}} = ashr i32 %[[LOAD]]
30 ; CHECK-NOT: {{.*}} = phi
32 define i32 @TestAsan() sanitize_address {
33 %1 = tail call noalias i8* @_Znam(i64 2)
34 %2 = getelementptr inbounds i8, i8* %1, i64 1
35 store i8 0, i8* %2, align 1
36 store i8 0, i8* %1, align 1
37 %3 = bitcast i8* %1 to i16*
38 %4 = load i16, i16* %3, align 4
39 %5 = icmp eq i16 %4, 0
40 br i1 %5, label %11, label %6
42 ; <label>:6 ; preds = %0
43 %7 = getelementptr inbounds i8, i8* %1, i64 2
44 %8 = bitcast i8* %7 to i16*
45 %9 = load i16, i16* %8, align 2
46 %10 = sext i16 %9 to i32
49 ; <label>:11 ; preds = %0, %6
50 %12 = phi i32 [ %10, %6 ], [ 0, %0 ]
54 ; CHECK-LABEL: @TestAsan
55 ; CHECK-NOT: %[[LOAD:[^ ]+]] = load i32