[llvm] 6e078f9 - [GVN][NewGVN] Regenerate no_speculative_loads_with_asan.ll tests
Simon Pilgrim via llvm-commits
llvm-commits at lists.llvm.org
Wed Apr 27 02:58:25 PDT 2022
Author: Simon Pilgrim
Date: 2022-04-27T10:45:39+01:00
New Revision: 6e078f980450a25059689b5c4739337ce58f02b1
URL: https://github.com/llvm/llvm-project/commit/6e078f980450a25059689b5c4739337ce58f02b1
DIFF: https://github.com/llvm/llvm-project/commit/6e078f980450a25059689b5c4739337ce58f02b1.diff
LOG: [GVN][NewGVN] Regenerate no_speculative_loads_with_asan.ll tests
As discussed on D124284 - ensure we actually checking the codegen not just a label + return
Added:
Modified:
llvm/test/Transforms/GVN/no_speculative_loads_with_asan.ll
llvm/test/Transforms/NewGVN/no_speculative_loads_with_asan.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/GVN/no_speculative_loads_with_asan.ll b/llvm/test/Transforms/GVN/no_speculative_loads_with_asan.ll
index 72e0b4e9a3c1..167c775af4d7 100644
--- a/llvm/test/Transforms/GVN/no_speculative_loads_with_asan.ll
+++ b/llvm/test/Transforms/GVN/no_speculative_loads_with_asan.ll
@@ -1,8 +1,12 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -O3 -S %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
declare noalias i8* @_Znam(i64) #1
define i32 @TestNoAsan() {
+; CHECK-LABEL: @TestNoAsan(
+; CHECK-NEXT: ret i32 0
+;
%1 = tail call noalias i8* @_Znam(i64 2)
%2 = getelementptr inbounds i8, i8* %1, i64 1
store i8 0, i8* %2, align 1
@@ -24,10 +28,26 @@ define i32 @TestNoAsan() {
ret i32 %12
}
-; CHECK-LABEL: @TestNoAsan
-; CHECK: ret i32 0
-
define i32 @TestAsan() sanitize_address {
+; CHECK-LABEL: @TestAsan(
+; CHECK-NEXT: [[TMP1:%.*]] = tail call noalias dereferenceable_or_null(2) i8* @_Znam(i64 2)
+; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i8, i8* [[TMP1]], i64 1
+; CHECK-NEXT: store i8 0, i8* [[TMP2]], align 1
+; CHECK-NEXT: store i8 0, i8* [[TMP1]], align 1
+; CHECK-NEXT: [[TMP3:%.*]] = bitcast i8* [[TMP1]] to i16*
+; CHECK-NEXT: [[TMP4:%.*]] = load i16, i16* [[TMP3]], align 4
+; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i16 [[TMP4]], 0
+; CHECK-NEXT: br i1 [[TMP5]], label [[TMP11:%.*]], label [[TMP6:%.*]]
+; CHECK: 6:
+; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i8, i8* [[TMP1]], i64 2
+; CHECK-NEXT: [[TMP8:%.*]] = bitcast i8* [[TMP7]] to i16*
+; CHECK-NEXT: [[TMP9:%.*]] = load i16, i16* [[TMP8]], align 2
+; CHECK-NEXT: [[TMP10:%.*]] = sext i16 [[TMP9]] to i32
+; CHECK-NEXT: br label [[TMP11]]
+; CHECK: 11:
+; CHECK-NEXT: [[TMP12:%.*]] = phi i32 [ [[TMP10]], [[TMP6]] ], [ 0, [[TMP0:%.*]] ]
+; CHECK-NEXT: ret i32 [[TMP12]]
+;
%1 = tail call noalias i8* @_Znam(i64 2)
%2 = getelementptr inbounds i8, i8* %1, i64 1
store i8 0, i8* %2, align 1
@@ -49,12 +69,26 @@ define i32 @TestAsan() sanitize_address {
ret i32 %12
}
-; CHECK-LABEL: @TestAsan
-; CHECK-NOT: %[[LOAD:[^ ]+]] = load i32
-; CHECK: {{.*}} = phi
-
-
define i32 @TestHWAsan() sanitize_hwaddress {
+; CHECK-LABEL: @TestHWAsan(
+; CHECK-NEXT: [[TMP1:%.*]] = tail call noalias dereferenceable_or_null(2) i8* @_Znam(i64 2)
+; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i8, i8* [[TMP1]], i64 1
+; CHECK-NEXT: store i8 0, i8* [[TMP2]], align 1
+; CHECK-NEXT: store i8 0, i8* [[TMP1]], align 1
+; CHECK-NEXT: [[TMP3:%.*]] = bitcast i8* [[TMP1]] to i16*
+; CHECK-NEXT: [[TMP4:%.*]] = load i16, i16* [[TMP3]], align 4
+; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i16 [[TMP4]], 0
+; CHECK-NEXT: br i1 [[TMP5]], label [[TMP11:%.*]], label [[TMP6:%.*]]
+; CHECK: 6:
+; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i8, i8* [[TMP1]], i64 2
+; CHECK-NEXT: [[TMP8:%.*]] = bitcast i8* [[TMP7]] to i16*
+; CHECK-NEXT: [[TMP9:%.*]] = load i16, i16* [[TMP8]], align 2
+; CHECK-NEXT: [[TMP10:%.*]] = sext i16 [[TMP9]] to i32
+; CHECK-NEXT: br label [[TMP11]]
+; CHECK: 11:
+; CHECK-NEXT: [[TMP12:%.*]] = phi i32 [ [[TMP10]], [[TMP6]] ], [ 0, [[TMP0:%.*]] ]
+; CHECK-NEXT: ret i32 [[TMP12]]
+;
%1 = tail call noalias i8* @_Znam(i64 2)
%2 = getelementptr inbounds i8, i8* %1, i64 1
store i8 0, i8* %2, align 1
@@ -75,8 +109,3 @@ define i32 @TestHWAsan() sanitize_hwaddress {
%12 = phi i32 [ %10, %6 ], [ 0, %0 ]
ret i32 %12
}
-
-; CHECK-LABEL: @TestHWAsan
-; CHECK-NOT: %[[LOAD:[^ ]+]] = load i32
-; CHECK: {{.*}} = phi
-
diff --git a/llvm/test/Transforms/NewGVN/no_speculative_loads_with_asan.ll b/llvm/test/Transforms/NewGVN/no_speculative_loads_with_asan.ll
index e1e5e4aff086..167c775af4d7 100644
--- a/llvm/test/Transforms/NewGVN/no_speculative_loads_with_asan.ll
+++ b/llvm/test/Transforms/NewGVN/no_speculative_loads_with_asan.ll
@@ -1,8 +1,12 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -O3 -S %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
declare noalias i8* @_Znam(i64) #1
define i32 @TestNoAsan() {
+; CHECK-LABEL: @TestNoAsan(
+; CHECK-NEXT: ret i32 0
+;
%1 = tail call noalias i8* @_Znam(i64 2)
%2 = getelementptr inbounds i8, i8* %1, i64 1
store i8 0, i8* %2, align 1
@@ -24,10 +28,26 @@ define i32 @TestNoAsan() {
ret i32 %12
}
-; CHECK-LABEL: @TestNoAsan
-; CHECK: ret i32 0
-
define i32 @TestAsan() sanitize_address {
+; CHECK-LABEL: @TestAsan(
+; CHECK-NEXT: [[TMP1:%.*]] = tail call noalias dereferenceable_or_null(2) i8* @_Znam(i64 2)
+; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i8, i8* [[TMP1]], i64 1
+; CHECK-NEXT: store i8 0, i8* [[TMP2]], align 1
+; CHECK-NEXT: store i8 0, i8* [[TMP1]], align 1
+; CHECK-NEXT: [[TMP3:%.*]] = bitcast i8* [[TMP1]] to i16*
+; CHECK-NEXT: [[TMP4:%.*]] = load i16, i16* [[TMP3]], align 4
+; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i16 [[TMP4]], 0
+; CHECK-NEXT: br i1 [[TMP5]], label [[TMP11:%.*]], label [[TMP6:%.*]]
+; CHECK: 6:
+; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i8, i8* [[TMP1]], i64 2
+; CHECK-NEXT: [[TMP8:%.*]] = bitcast i8* [[TMP7]] to i16*
+; CHECK-NEXT: [[TMP9:%.*]] = load i16, i16* [[TMP8]], align 2
+; CHECK-NEXT: [[TMP10:%.*]] = sext i16 [[TMP9]] to i32
+; CHECK-NEXT: br label [[TMP11]]
+; CHECK: 11:
+; CHECK-NEXT: [[TMP12:%.*]] = phi i32 [ [[TMP10]], [[TMP6]] ], [ 0, [[TMP0:%.*]] ]
+; CHECK-NEXT: ret i32 [[TMP12]]
+;
%1 = tail call noalias i8* @_Znam(i64 2)
%2 = getelementptr inbounds i8, i8* %1, i64 1
store i8 0, i8* %2, align 1
@@ -49,11 +69,26 @@ define i32 @TestAsan() sanitize_address {
ret i32 %12
}
-; CHECK-LABEL: @TestAsan
-; CHECK-NOT: %[[LOAD:[^ ]+]] = load i32
-; CHECK: {{.*}} = phi
-
define i32 @TestHWAsan() sanitize_hwaddress {
+; CHECK-LABEL: @TestHWAsan(
+; CHECK-NEXT: [[TMP1:%.*]] = tail call noalias dereferenceable_or_null(2) i8* @_Znam(i64 2)
+; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i8, i8* [[TMP1]], i64 1
+; CHECK-NEXT: store i8 0, i8* [[TMP2]], align 1
+; CHECK-NEXT: store i8 0, i8* [[TMP1]], align 1
+; CHECK-NEXT: [[TMP3:%.*]] = bitcast i8* [[TMP1]] to i16*
+; CHECK-NEXT: [[TMP4:%.*]] = load i16, i16* [[TMP3]], align 4
+; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i16 [[TMP4]], 0
+; CHECK-NEXT: br i1 [[TMP5]], label [[TMP11:%.*]], label [[TMP6:%.*]]
+; CHECK: 6:
+; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i8, i8* [[TMP1]], i64 2
+; CHECK-NEXT: [[TMP8:%.*]] = bitcast i8* [[TMP7]] to i16*
+; CHECK-NEXT: [[TMP9:%.*]] = load i16, i16* [[TMP8]], align 2
+; CHECK-NEXT: [[TMP10:%.*]] = sext i16 [[TMP9]] to i32
+; CHECK-NEXT: br label [[TMP11]]
+; CHECK: 11:
+; CHECK-NEXT: [[TMP12:%.*]] = phi i32 [ [[TMP10]], [[TMP6]] ], [ 0, [[TMP0:%.*]] ]
+; CHECK-NEXT: ret i32 [[TMP12]]
+;
%1 = tail call noalias i8* @_Znam(i64 2)
%2 = getelementptr inbounds i8, i8* %1, i64 1
store i8 0, i8* %2, align 1
@@ -74,8 +109,3 @@ define i32 @TestHWAsan() sanitize_hwaddress {
%12 = phi i32 [ %10, %6 ], [ 0, %0 ]
ret i32 %12
}
-
-; CHECK-LABEL: @TestHWAsan
-; CHECK-NOT: %[[LOAD:[^ ]+]] = load i32
-; CHECK: {{.*}} = phi
-
More information about the llvm-commits
mailing list