[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / GlobalOpt / blockaddress.ll
blob12e09fcd48151f2409ab9f412832afef866595c7
1 ; RUN: opt < %s -globalopt -S | FileCheck %s
3 @x = internal global i8* zeroinitializer
5 define void @f() {
6 ; CHECK-LABEL: @f(
8 ; Check that we don't hit an assert in Constant::IsThreadDependent()
9 ; when storing this blockaddress into a global.
11   store i8* blockaddress(@g, %here), i8** @x, align 8
12   ret void
15 define void @g() {
16 entry:
17   br label %here
19 ; CHECK-LABEL: @g(
21 here:
22   ret void