[llvm] f711452 - DataFlowSanitizer: Don't use anonymous values in test
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Sun Nov 27 17:11:04 PST 2022
Author: Matt Arsenault
Date: 2022-11-27T20:10:57-05:00
New Revision: f7114520558decb820e12b00976ce81460e7156d
URL: https://github.com/llvm/llvm-project/commit/f7114520558decb820e12b00976ce81460e7156d
DIFF: https://github.com/llvm/llvm-project/commit/f7114520558decb820e12b00976ce81460e7156d.diff
LOG: DataFlowSanitizer: Don't use anonymous values in test
This interferes with test updates.
Added:
Modified:
llvm/test/Instrumentation/DataFlowSanitizer/origin_cached_shadows.ll
Removed:
################################################################################
diff --git a/llvm/test/Instrumentation/DataFlowSanitizer/origin_cached_shadows.ll b/llvm/test/Instrumentation/DataFlowSanitizer/origin_cached_shadows.ll
index 5076af1f44765..b88e18b5fc417 100644
--- a/llvm/test/Instrumentation/DataFlowSanitizer/origin_cached_shadows.ll
+++ b/llvm/test/Instrumentation/DataFlowSanitizer/origin_cached_shadows.ll
@@ -1,6 +1,6 @@
; RUN: opt < %s -passes=dfsan -dfsan-track-origins=1 -S | FileCheck %s
;
-; %15 and %17 have the same key in shadow cache. They should not reuse the same
+; %i13 and %i15 have the same key in shadow cache. They should not reuse the same
; shadow because their blocks do not dominate each other. Origin tracking
; splt blocks. This test ensures DT is updated correctly, and cached shadows
; are not mis-used.
@@ -11,78 +11,78 @@ target triple = "x86_64-unknown-linux-gnu"
; CHECK: @__dfsan_shadow_width_bits = weak_odr constant i32 [[#SBITS:]]
; CHECK: @__dfsan_shadow_width_bytes = weak_odr constant i32 [[#SBYTES:]]
-define void @cached_shadows(double %0) {
+define void @cached_shadows(double %arg) {
; CHECK: @cached_shadows.dfsan
- ; CHECK: [[AO:%.*]] = load i32, i32* getelementptr inbounds ([200 x i32], [200 x i32]* @__dfsan_arg_origin_tls, i64 0, i64 0), align 4
+ ; CHECK: [[AO:%.*]] = load i32, i32* getelementptr inbounds ([200 x i32], [200 x i32]* @__dfsan_arg_origin_tls, i64 0, i64 0), align
; CHECK: [[AS:%.*]] = load i[[#SBITS]], i[[#SBITS]]* bitcast ([[TLS_ARR]]* @__dfsan_arg_tls to i[[#SBITS]]*), align [[ALIGN:2]]
- ; CHECK: [[L1:[0-9]+]]:
+ ; CHECK: [[L1:.+]]:
; CHECK: {{.*}} = phi i[[#SBITS]]
; CHECK: {{.*}} = phi i32
; CHECK: {{.*}} = phi double [ 3.000000e+00
- ; CHECK: [[S_L1:%.*]] = phi i[[#SBITS]] [ 0, %[[L0:[0-9]+]] ], [ [[S_L7:%.*]], %[[L7:[0-9]+]] ]
+ ; CHECK: [[S_L1:%.*]] = phi i[[#SBITS]] [ 0, %[[L0:.*]] ], [ [[S_L7:%.*]], %[[L7:.*]] ]
; CHECK: [[O_L1:%.*]] = phi i32 [ 0, %[[L0]] ], [ [[O_L7:%.*]], %[[L7]] ]
; CHECK: [[V_L1:%.*]] = phi double [ 4.000000e+00, %[[L0]] ], [ [[V_L7:%.*]], %[[L7]] ]
- ; CHECK: br i1 {{%[0-9]+}}, label %[[L2:[0-9]+]], label %[[L4:[0-9]+]]
+ ; CHECK: br i1 {{%.+}}, label %[[L2:.*]], label %[[L4:.*]]
; CHECK: [[L2]]:
- ; CHECK: br i1 {{%[0-9]+}}, label %[[L3:[0-9]+]], label %[[L7]]
+ ; CHECK: br i1 {{%.+}}, label %[[L3:.+]], label %[[L7]]
; CHECK: [[L3]]:
; CHECK: [[S_L3:%.*]] = or i[[#SBITS]]
; CHECK: [[AS_NE_L3:%.*]] = icmp ne i[[#SBITS]] [[AS]], 0
- ; CHECK: [[O_L3:%.*]] = select i1 [[AS_NE_L3]], i32 %2, i32 [[O_L1]]
- ; CHECK: [[V_L3:%.*]] = fsub double [[V_L1]], %0
+ ; CHECK: [[O_L3:%.*]] = select i1 [[AS_NE_L3]], i32 %{{[0-9]+}}, i32 [[O_L1]]
+ ; CHECK: [[V_L3:%.*]] = fsub double [[V_L1]], %{{.+}}
; CHECK: br label %[[L7]]
; CHECK: [[L4]]:
- ; CHECK: br i1 %_dfscmp, label %[[L5:[0-9]+]], label %[[L6:[0-9]+]]
+ ; CHECK: br i1 %_dfscmp, label %[[L5:.+]], label %[[L6:.+]],
; CHECK: [[L5]]:
; CHECK: br label %[[L6]]
; CHECK: [[L6]]:
; CHECK: [[S_L6:%.*]] = or i[[#SBITS]]
; CHECK: [[AS_NE_L6:%.*]] = icmp ne i[[#SBITS]] [[AS]], 0
; CHECK: [[O_L6:%.*]] = select i1 [[AS_NE_L6]], i32 [[AO]], i32 [[O_L1]]
- ; CHECK: [[V_L6:%.*]] = fadd double [[V_L1]], %0
+ ; CHECK: [[V_L6:%.*]] = fadd double [[V_L1]], %{{.+}}
; CHECK: br label %[[L7]]
; CHECK: [[L7]]:
; CHECK: [[S_L7]] = phi i[[#SBITS]] [ [[S_L3]], %[[L3]] ], [ [[S_L1]], %[[L2]] ], [ [[S_L6]], %[[L6]] ]
; CHECK: [[O_L7]] = phi i32 [ [[O_L3]], %[[L3]] ], [ [[O_L1]], %[[L2]] ], [ [[O_L6]], %[[L6]] ]
; CHECK: [[V_L7]] = phi double [ [[V_L3]], %[[L3]] ], [ [[V_L1]], %[[L2]] ], [ [[V_L6]], %[[L6]] ]
- ; CHECK: br i1 {{%[0-9]+}}, label %[[L1]], label %[[L8:[0-9]+]]
+ ; CHECK: br i1 %{{.+}}, label %[[L1]], label %[[L8:.+]]
; CHECK: [[L8]]:
-
- %2 = alloca double, align 8
- %3 = alloca double, align 8
- %4 = bitcast double* %2 to i8*
- store volatile double 1.000000e+00, double* %2, align 8
- %5 = bitcast double* %3 to i8*
- store volatile double 2.000000e+00, double* %3, align 8
- br label %6
+bb:
+ %i = alloca double, align 8
+ %i1 = alloca double, align 8
+ %i2 = bitcast double* %i to i8*
+ store volatile double 1.000000e+00, double* %i, align 8
+ %i3 = bitcast double* %i1 to i8*
+ store volatile double 2.000000e+00, double* %i1, align 8
+ br label %bb4
-6: ; preds = %18, %1
- %7 = phi double [ 3.000000e+00, %1 ], [ %19, %18 ]
- %8 = phi double [ 4.000000e+00, %1 ], [ %20, %18 ]
- %9 = load volatile double, double* %3, align 8
- %10 = fcmp une double %9, 0.000000e+00
- %11 = load volatile double, double* %3, align 8
- br i1 %10, label %12, label %16
+bb4: ; preds = %bb16, %bb
+ %i5 = phi double [ 3.000000e+00, %bb ], [ %i17, %bb16 ]
+ %i6 = phi double [ 4.000000e+00, %bb ], [ %i18, %bb16 ]
+ %i7 = load volatile double, double* %i1, align 8
+ %i8 = fcmp une double %i7, 0.000000e+00
+ %i9 = load volatile double, double* %i1, align 8
+ br i1 %i8, label %bb10, label %bb14
-12: ; preds = %6
- %13 = fcmp une double %11, 0.000000e+00
- br i1 %13, label %14, label %18
+bb10: ; preds = %bb4
+ %i11 = fcmp une double %i9, 0.000000e+00
+ br i1 %i11, label %bb12, label %bb16
-14: ; preds = %12
- %15 = fsub double %8, %0
- br label %18
+bb12: ; preds = %bb10
+ %i13 = fsub double %i6, %arg
+ br label %bb16
-16: ; preds = %6
- store volatile double %11, double* %2, align 8
- %17 = fadd double %8, %0
- br label %18
+bb14: ; preds = %bb4
+ store volatile double %i9, double* %i, align 8
+ %i15 = fadd double %i6, %arg
+ br label %bb16
-18: ; preds = %16, %14, %12
- %19 = phi double [ %8, %14 ], [ %7, %12 ], [ %8, %16 ]
- %20 = phi double [ %15, %14 ], [ %8, %12 ], [ %17, %16 ]
- %21 = fcmp olt double %19, 9.900000e+01
- br i1 %21, label %6, label %22
+bb16: ; preds = %bb14, %bb12, %bb10
+ %i17 = phi double [ %i6, %bb12 ], [ %i5, %bb10 ], [ %i6, %bb14 ]
+ %i18 = phi double [ %i13, %bb12 ], [ %i6, %bb10 ], [ %i15, %bb14 ]
+ %i19 = fcmp olt double %i17, 9.900000e+01
+ br i1 %i19, label %bb4, label %bb20
-22: ; preds = %18
+bb20: ; preds = %bb16
ret void
-}
\ No newline at end of file
+}
More information about the llvm-commits
mailing list