; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=gvn -S %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
declare noalias ptr @_Znam(i64) #1
; Load of %i8 is an out of bounds load, which is folded to poison, which allows
; us to elide the phi.
define i32 @TestNoAsan() {
; CHECK-LABEL: @TestNoAsan(
; CHECK-NEXT: bb:
; CHECK-NEXT: [[I:%.*]] = tail call noalias ptr @_Znam(i64 2)
; CHECK-NEXT: [[I1:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 1
; CHECK-NEXT: store i8 0, ptr [[I1]], align 1
; CHECK-NEXT: store i8 0, ptr [[I]], align 1
; CHECK-NEXT: [[I3:%.*]] = load i16, ptr [[I]], align 4
; CHECK-NEXT: [[I4:%.*]] = icmp eq i16 [[I3]], 0
; CHECK-NEXT: br i1 [[I4]], label [[BB10:%.*]], label [[BB5:%.*]]
; CHECK: bb5:
; CHECK-NEXT: [[I6:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 2
; CHECK-NEXT: br label [[BB10]]
; CHECK: bb10:
; CHECK-NEXT: ret i32 0
;
bb:
%i = tail call noalias ptr @_Znam(i64 2)
%i1 = getelementptr inbounds i8, ptr %i, i64 1
store i8 0, ptr %i1, align 1
store i8 0, ptr %i, align 1
%i3 = load i16, ptr %i, align 4
%i4 = icmp eq i16 %i3, 0
br i1 %i4, label %bb10, label %bb5
bb5: ; preds = %bb
%i6 = getelementptr inbounds i8, ptr %i, i64 2
%i8 = load i16, ptr %i6, align 2
%i9 = sext i16 %i8 to i32
br label %bb10
bb10: ; preds = %bb5, %bb
%i11 = phi i32 [ %i9, %bb5 ], [ 0, %bb ]
ret i32 %i11
}
define i32 @TestAsan() sanitize_address {
; CHECK-LABEL: @TestAsan(
; CHECK-NEXT: bb:
; CHECK-NEXT: [[I:%.*]] = tail call noalias ptr @_Znam(i64 2)
; CHECK-NEXT: [[I1:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 1
; CHECK-NEXT: store i8 0, ptr [[I1]], align 1
; CHECK-NEXT: store i8 0, ptr [[I]], align 1
; CHECK-NEXT: [[I3:%.*]] = load i16, ptr [[I]], align 4
; CHECK-NEXT: [[I4:%.*]] = icmp eq i16 [[I3]], 0
; CHECK-NEXT: br i1 [[I4]], label [[BB10:%.*]], label [[BB5:%.*]]
; CHECK: bb5:
; CHECK-NEXT: [[I6:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 2
; CHECK-NEXT: [[I8:%.*]] = load i16, ptr [[I6]], align 2
; CHECK-NEXT: [[I9:%.*]] = sext i16 [[I8]] to i32
; CHECK-NEXT: br label [[BB10]]
; CHECK: bb10:
; CHECK-NEXT: [[I11:%.*]] = phi i32 [ [[I9]], [[BB5]] ], [ 0, [[BB:%.*]] ]
; CHECK-NEXT: ret i32 [[I11]]
;
bb:
%i = tail call noalias ptr @_Znam(i64 2)
%i1 = getelementptr inbounds i8, ptr %i, i64 1
store i8 0, ptr %i1, align 1
store i8 0, ptr %i, align 1
%i3 = load i16, ptr %i, align 4
%i4 = icmp eq i16 %i3, 0
br i1 %i4, label %bb10, label %bb5
bb5: ; preds = %bb
%i6 = getelementptr inbounds i8, ptr %i, i64 2
%i8 = load i16, ptr %i6, align 2
%i9 = sext i16 %i8 to i32
br label %bb10
bb10: ; preds = %bb5, %bb
%i11 = phi i32 [ %i9, %bb5 ], [ 0, %bb ]
ret i32 %i11
}
define i32 @TestHWAsan() sanitize_hwaddress {
; CHECK-LABEL: @TestHWAsan(
; CHECK-NEXT: bb:
; CHECK-NEXT: [[I:%.*]] = tail call noalias ptr @_Znam(i64 2)
; CHECK-NEXT: [[I1:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 1
; CHECK-NEXT: store i8 0, ptr [[I1]], align 1
; CHECK-NEXT: store i8 0, ptr [[I]], align 1
; CHECK-NEXT: [[I3:%.*]] = load i16, ptr [[I]], align 4
; CHECK-NEXT: [[I4:%.*]] = icmp eq i16 [[I3]], 0
; CHECK-NEXT: br i1 [[I4]], label [[BB10:%.*]], label [[BB5:%.*]]
; CHECK: bb5:
; CHECK-NEXT: [[I6:%.*]] = getelementptr inbounds i8, ptr [[I]], i64 2
; CHECK-NEXT: [[I8:%.*]] = load i16, ptr [[I6]], align 2
; CHECK-NEXT: [[I9:%.*]] = sext i16 [[I8]] to i32
; CHECK-NEXT: br label [[BB10]]
; CHECK: bb10:
; CHECK-NEXT: [[I11:%.*]] = phi i32 [ [[I9]], [[BB5]] ], [ 0, [[BB:%.*]] ]
; CHECK-NEXT: ret i32 [[I11]]
;
bb:
%i = tail call noalias ptr @_Znam(i64 2)
%i1 = getelementptr inbounds i8, ptr %i, i64 1
store i8 0, ptr %i1, align 1
store i8 0, ptr %i, align 1
%i3 = load i16, ptr %i, align 4
%i4 = icmp eq i16 %i3, 0
br i1 %i4, label %bb10, label %bb5
bb5: ; preds = %bb
%i6 = getelementptr inbounds i8, ptr %i, i64 2
%i8 = load i16, ptr %i6, align 2
%i9 = sext i16 %i8 to i32
br label %bb10
bb10: ; preds = %bb5, %bb
%i11 = phi i32 [ %i9, %bb5 ], [ 0, %bb ]
ret i32 %i11
}
Codebase Browser
llvm