From: NAKAMURA Takumi Date: Mon, 8 Sep 2014 01:12:55 +0000 (+0000) Subject: clang/test/CodeGen/builtin-assume*.c: Fixup for -Asserts. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=0e59cbece88c58b1a26d4679face4034b9d38e2a;p=clang clang/test/CodeGen/builtin-assume*.c: Fixup for -Asserts. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@217352 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/CodeGen/builtin-assume-aligned.c b/test/CodeGen/builtin-assume-aligned.c index bcae8c7f14..3b4082b7eb 100644 --- a/test/CodeGen/builtin-assume-aligned.c +++ b/test/CodeGen/builtin-assume-aligned.c @@ -2,42 +2,42 @@ // CHECK-LABEL: @test1 int test1(int *a) { -// CHECK: %ptrint = ptrtoint -// CHECK: %maskedptr = and i64 %ptrint, 31 -// CHECK: %maskcond = icmp eq i64 %maskedptr, 0 -// CHECK: call void @llvm.assume(i1 %maskcond) +// CHECK: [[PTRINT1:%.+]] = ptrtoint +// CHECK: [[MASKEDPTR1:%.+]] = and i64 [[PTRINT1]], 31 +// CHECK: [[MASKCOND1:%.+]] = icmp eq i64 [[MASKEDPTR1]], 0 +// CHECK: call void @llvm.assume(i1 [[MASKCOND1]]) a = __builtin_assume_aligned(a, 32, 0ull); return a[0]; } // CHECK-LABEL: @test2 int test2(int *a) { -// CHECK: %ptrint = ptrtoint -// CHECK: %maskedptr = and i64 %ptrint, 31 -// CHECK: %maskcond = icmp eq i64 %maskedptr, 0 -// CHECK: call void @llvm.assume(i1 %maskcond) +// CHECK: [[PTRINT2:%.+]] = ptrtoint +// CHECK: [[MASKEDPTR2:%.+]] = and i64 [[PTRINT2]], 31 +// CHECK: [[MASKCOND2:%.+]] = icmp eq i64 [[MASKEDPTR2]], 0 +// CHECK: call void @llvm.assume(i1 [[MASKCOND2]]) a = __builtin_assume_aligned(a, 32, 0); return a[0]; } // CHECK-LABEL: @test3 int test3(int *a) { -// CHECK: %ptrint = ptrtoint -// CHECK: %maskedptr = and i64 %ptrint, 31 -// CHECK: %maskcond = icmp eq i64 %maskedptr, 0 -// CHECK: call void @llvm.assume(i1 %maskcond) +// CHECK: [[PTRINT3:%.+]] = ptrtoint +// CHECK: [[MASKEDPTR3:%.+]] = and i64 [[PTRINT3]], 31 +// CHECK: [[MASKCOND3:%.+]] = icmp eq i64 [[MASKEDPTR3]], 0 +// CHECK: call void @llvm.assume(i1 [[MASKCOND3]]) a = __builtin_assume_aligned(a, 32); return a[0]; } // CHECK-LABEL: @test4 int test4(int *a, int b) { -// CHECK-DAG: %ptrint = ptrtoint -// CHECK-DAG: %conv = sext i32 -// CHECK: %offsetptr = sub i64 %ptrint, %conv -// CHECK: %maskedptr = and i64 %offsetptr, 31 -// CHECK: %maskcond = icmp eq i64 %maskedptr, 0 -// CHECK: call void @llvm.assume(i1 %maskcond) +// CHECK-DAG: [[PTRINT4:%.+]] = ptrtoint +// CHECK-DAG: [[CONV4:%.+]] = sext i32 +// CHECK: [[OFFSETPTR4:%.+]] = sub i64 [[PTRINT4]], [[CONV4]] +// CHECK: [[MASKEDPTR4:%.+]] = and i64 [[OFFSETPTR4]], 31 +// CHECK: [[MASKCOND4:%.+]] = icmp eq i64 [[MASKEDPTR4]], 0 +// CHECK: call void @llvm.assume(i1 [[MASKCOND4]]) a = __builtin_assume_aligned(a, 32, b); return a[0]; } diff --git a/test/CodeGen/builtin-assume.c b/test/CodeGen/builtin-assume.c index 041e9f48d0..8411b729ab 100644 --- a/test/CodeGen/builtin-assume.c +++ b/test/CodeGen/builtin-assume.c @@ -3,9 +3,10 @@ // CHECK-LABEL: @test1 int test1(int *a, int i) { -// CHECK: %0 = load i32** %a.addr -// CHECK: %cmp = icmp ne i32* %0, null -// CHECK: call void @llvm.assume(i1 %cmp) +// CHECK: store i32* %a, i32** [[A_ADDR:%.+]], align +// CHECK: [[A:%.+]] = load i32** [[A_ADDR]] +// CHECK: [[CMP:%.+]] = icmp ne i32* [[A]], null +// CHECK: call void @llvm.assume(i1 [[CMP]]) #ifdef _MSC_VER __assume(a != 0) #else