From 601f57339514365da7f04e84a2dbadc571049ff8 Mon Sep 17 00:00:00 2001 From: Ivan Radanov Ivanov Date: Wed, 6 Jul 2022 08:53:39 +0900 Subject: [PATCH] Fix test --- tools/cgeist/Test/Verification/staticint.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/cgeist/Test/Verification/staticint.c b/tools/cgeist/Test/Verification/staticint.c index 90b87b2d857f..594702e18acd 100644 --- a/tools/cgeist/Test/Verification/staticint.c +++ b/tools/cgeist/Test/Verification/staticint.c @@ -6,13 +6,13 @@ int adder(int x) { return cur; } -// CHECK: memref.global "private" @"adder@static@cur@init" : memref<1xi1> = dense +// CHECK: memref.global "private" @"adder@static@cur@init@{{.*}}" : memref<1xi1> = dense // CHECK: memref.global "private" @"adder@static@cur" : memref<1xi32> = uninitialized // CHECK: func @adder(%arg0: i32) -> i32 attributes {llvm.linkage = #llvm.linkage} { // CHECK-DAG: %false = arith.constant false // CHECK-DAG: %c0_i32 = arith.constant 0 : i32 // CHECK-DAG: %0 = memref.get_global @"adder@static@cur" : memref<1xi32> -// CHECK-DAG: %1 = memref.get_global @"adder@static@cur@init" : memref<1xi1> +// CHECK-DAG: %1 = memref.get_global @"adder@static@cur@init@{{.*}}" : memref<1xi1> // CHECK-NEXT: %2 = affine.load %1[0] : memref<1xi1> // CHECK-NEXT: scf.if %2 { // CHECK-NEXT: affine.store %false, %1[0] : memref<1xi1>