| ; RUN: opt -S < %s -globalopt | FileCheck %s |
| |
| @G = internal global i32 42 |
| |
| define i8 @f() norecurse { |
| ; CHECK-LABEL: @f |
| ; CHECK: alloca |
| ; CHECK-NOT: @G |
| ; CHECK: } |
| store i32 42, i32* @G |
| %a = load i8, i8* bitcast (i32* @G to i8*) |
| ret i8 %a |
| } |
| |
| @H = internal global i32 42 |
| @Halias = alias i32, i32* @H |
| |
| ; @H can't be localized because @Halias uses it, and @Halias can't be converted to an instruction. |
| define i8 @g() norecurse { |
| ; CHECK-LABEL: @g |
| ; CHECK-NOT: alloca |
| ; CHECK: @H |
| ; CHECK: } |
| store i32 42, i32* @H |
| %a = load i8, i8* bitcast (i32* @H to i8*) |
| ret i8 %a |
| } |
| |
