[PATCH] Disallow global aliases to bitcast between address spaces

David Blaikie dblaikie at gmail.com
Fri Jul 12 11:18:02 PDT 2013


On Fri, Jul 12, 2013 at 11:09 AM, Matt Arsenault
<Matthew.Arsenault at amd.com> wrote:
>   Yes, I discovered that not exists after I did this one
>
> Hi eli.friedman,
>
> http://llvm-reviews.chandlerc.com/D1088
>
> CHANGE SINCE LAST DIFF
>   http://llvm-reviews.chandlerc.com/D1088?vs=2670&id=2784#toc
>
> Files:
>   lib/IR/Verifier.cpp
>   test/Verifier/bitcast-alias-address-space.ll
>
> Index: lib/IR/Verifier.cpp
> ===================================================================
> --- lib/IR/Verifier.cpp
> +++ lib/IR/Verifier.cpp
> @@ -488,18 +488,29 @@
>            "Alias and aliasee types should match!", &GA);
>    Assert1(!GA.hasUnnamedAddr(), "Alias cannot have unnamed_addr!", &GA);
>
> -  if (!isa<GlobalValue>(GA.getAliasee())) {
> -    const ConstantExpr *CE = dyn_cast<ConstantExpr>(GA.getAliasee());
> +  Constant *Aliasee = GA.getAliasee();
> +
> +  if (!isa<GlobalValue>(Aliasee)) {
> +    ConstantExpr *CE = dyn_cast<ConstantExpr>(Aliasee);
>      Assert1(CE &&
>              (CE->getOpcode() == Instruction::BitCast ||
>               CE->getOpcode() == Instruction::GetElementPtr) &&
>              isa<GlobalValue>(CE->getOperand(0)),
>              "Aliasee should be either GlobalValue or bitcast of GlobalValue",
>              &GA);
> +
> +    if (CE->getOpcode() == Instruction::BitCast) {
> +      unsigned SrcAS = CE->getOperand(0)->getType()->getPointerAddressSpace();
> +      unsigned DstAS = CE->getType()->getPointerAddressSpace();
> +
> +      Assert1(SrcAS == DstAS,
> +              "Alias bitcasts cannot be between different address spaces",
> +              &GA);
> +    }
>    }
>
> -  const GlobalValue* Aliasee = GA.resolveAliasedGlobal(/*stopOnWeak*/ false);
> -  Assert1(Aliasee,
> +  const GlobalValue* Resolved = GA.resolveAliasedGlobal(/*stopOnWeak*/ false);
> +  Assert1(Resolved,
>            "Aliasing chain should end with function or global variable", &GA);
>
>    visitGlobalValue(GA);
> Index: test/Verifier/bitcast-alias-address-space.ll
> ===================================================================
> --- /dev/null
> +++ test/Verifier/bitcast-alias-address-space.ll
> @@ -0,0 +1,8 @@
> +; RUN: not --crash opt -verify -disable-output %s

Why is this the first verifier test that is written in this way? It
looks like most/all other tests in test/Verifier just use "not" rather
than "not --crash". Why does this verification failure result in a
crash rather than clean failure?

> +
> +target datalayout = "e-p:32:32:32-p1:16:16:16-p2:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n8:16:32"
> +
> +
> + at data = addrspace(2) global i32 27
> +
> + at illegal_alias_data = alias bitcast (i32 addrspace(2)* @data to i32 addrspace(1)*)
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>



More information about the llvm-commits mailing list