121 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=gvn -S %s | FileCheck %s3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4declare noalias ptr @_Znam(i64) #15 6; Load of %i8 is an out of bounds load, which is folded to poison, which allows7; us to elide the phi.8define i32 @TestNoAsan() {9; CHECK-LABEL: @TestNoAsan(10; CHECK-NEXT: bb:11; CHECK-NEXT: [[I:%.*]] = tail call noalias ptr @_Znam(i64 2)12; CHECK-NEXT: [[I1:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 113; CHECK-NEXT: store i8 0, ptr [[I1]], align 114; CHECK-NEXT: store i8 0, ptr [[I]], align 115; CHECK-NEXT: [[I3:%.*]] = load i16, ptr [[I]], align 416; CHECK-NEXT: [[I4:%.*]] = icmp eq i16 [[I3]], 017; CHECK-NEXT: br i1 [[I4]], label [[BB10:%.*]], label [[BB5:%.*]]18; CHECK: bb5:19; CHECK-NEXT: [[I6:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 220; CHECK-NEXT: br label [[BB10]]21; CHECK: bb10:22; CHECK-NEXT: ret i32 023;24bb:25 %i = tail call noalias ptr @_Znam(i64 2)26 %i1 = getelementptr inbounds i8, ptr %i, i64 127 store i8 0, ptr %i1, align 128 store i8 0, ptr %i, align 129 %i3 = load i16, ptr %i, align 430 %i4 = icmp eq i16 %i3, 031 br i1 %i4, label %bb10, label %bb532 33bb5: ; preds = %bb34 %i6 = getelementptr inbounds i8, ptr %i, i64 235 %i8 = load i16, ptr %i6, align 236 %i9 = sext i16 %i8 to i3237 br label %bb1038 39bb10: ; preds = %bb5, %bb40 %i11 = phi i32 [ %i9, %bb5 ], [ 0, %bb ]41 ret i32 %i1142}43 44define i32 @TestAsan() sanitize_address {45; CHECK-LABEL: @TestAsan(46; CHECK-NEXT: bb:47; CHECK-NEXT: [[I:%.*]] = tail call noalias ptr @_Znam(i64 2)48; CHECK-NEXT: [[I1:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 149; CHECK-NEXT: store i8 0, ptr [[I1]], align 150; CHECK-NEXT: store i8 0, ptr [[I]], align 151; CHECK-NEXT: [[I3:%.*]] = load i16, ptr [[I]], align 452; CHECK-NEXT: [[I4:%.*]] = icmp eq i16 [[I3]], 053; CHECK-NEXT: br i1 [[I4]], label [[BB10:%.*]], label [[BB5:%.*]]54; CHECK: bb5:55; CHECK-NEXT: [[I6:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 256; CHECK-NEXT: [[I8:%.*]] = load i16, ptr [[I6]], align 257; CHECK-NEXT: [[I9:%.*]] = sext i16 [[I8]] to i3258; CHECK-NEXT: br label [[BB10]]59; CHECK: bb10:60; CHECK-NEXT: [[I11:%.*]] = phi i32 [ [[I9]], [[BB5]] ], [ 0, [[BB:%.*]] ]61; CHECK-NEXT: ret i32 [[I11]]62;63bb:64 %i = tail call noalias ptr @_Znam(i64 2)65 %i1 = getelementptr inbounds i8, ptr %i, i64 166 store i8 0, ptr %i1, align 167 store i8 0, ptr %i, align 168 %i3 = load i16, ptr %i, align 469 %i4 = icmp eq i16 %i3, 070 br i1 %i4, label %bb10, label %bb571 72bb5: ; preds = %bb73 %i6 = getelementptr inbounds i8, ptr %i, i64 274 %i8 = load i16, ptr %i6, align 275 %i9 = sext i16 %i8 to i3276 br label %bb1077 78bb10: ; preds = %bb5, %bb79 %i11 = phi i32 [ %i9, %bb5 ], [ 0, %bb ]80 ret i32 %i1181}82 83define i32 @TestHWAsan() sanitize_hwaddress {84; CHECK-LABEL: @TestHWAsan(85; CHECK-NEXT: bb:86; CHECK-NEXT: [[I:%.*]] = tail call noalias ptr @_Znam(i64 2)87; CHECK-NEXT: [[I1:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 188; CHECK-NEXT: store i8 0, ptr [[I1]], align 189; CHECK-NEXT: store i8 0, ptr [[I]], align 190; CHECK-NEXT: [[I3:%.*]] = load i16, ptr [[I]], align 491; CHECK-NEXT: [[I4:%.*]] = icmp eq i16 [[I3]], 092; CHECK-NEXT: br i1 [[I4]], label [[BB10:%.*]], label [[BB5:%.*]]93; CHECK: bb5:94; CHECK-NEXT: [[I6:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 295; CHECK-NEXT: [[I8:%.*]] = load i16, ptr [[I6]], align 296; CHECK-NEXT: [[I9:%.*]] = sext i16 [[I8]] to i3297; CHECK-NEXT: br label [[BB10]]98; CHECK: bb10:99; CHECK-NEXT: [[I11:%.*]] = phi i32 [ [[I9]], [[BB5]] ], [ 0, [[BB:%.*]] ]100; CHECK-NEXT: ret i32 [[I11]]101;102bb:103 %i = tail call noalias ptr @_Znam(i64 2)104 %i1 = getelementptr inbounds i8, ptr %i, i64 1105 store i8 0, ptr %i1, align 1106 store i8 0, ptr %i, align 1107 %i3 = load i16, ptr %i, align 4108 %i4 = icmp eq i16 %i3, 0109 br i1 %i4, label %bb10, label %bb5110 111bb5: ; preds = %bb112 %i6 = getelementptr inbounds i8, ptr %i, i64 2113 %i8 = load i16, ptr %i6, align 2114 %i9 = sext i16 %i8 to i32115 br label %bb10116 117bb10: ; preds = %bb5, %bb118 %i11 = phi i32 [ %i9, %bb5 ], [ 0, %bb ]119 ret i32 %i11120}121