[cfe-commits] [PATCH] Invariants (and Assume Aligned) - Clang

Tobias Grosser tobias at grosser.es
Wed Dec 5 14:04:54 PST 2012


On 12/05/2012 09:39 PM, hfinkel at anl.gov wrote:
>    Test cases have been enhanced. We now use @llvm.invariant.

> Index: test/CodeGen/builtin-assume.c
> ===================================================================
> --- /dev/null
> +++ test/CodeGen/builtin-assume.c
> @@ -0,0 +1,9 @@
> +// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s | FileCheck %s
> +
> +// CHECK: @test1
> +int test1(int *a) {
> +// CHECK: call void @llvm.invariant(i1
> +  __builtin_assume(a != 0);
> +  return a[0];

The second check line looks incomplete? Is this intended?

Cheers
Tobi



More information about the cfe-commits mailing list