| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals --global-value-regex "OnlyFoo" |
| ; RUN: opt < %s -S | FileCheck %s |
| |
| @Bar = global i32 0 |
| @OnlyFoo = global i32 1 |
| @Baz = global i32 2 |
| |
| ;. |
| ; CHECK: @OnlyFoo = global i32 1 |
| ;. |
| define i32 @t() { |
| ; CHECK-LABEL: @t( |
| ; CHECK-NEXT: [[V1:%.*]] = load i32, ptr @Bar, align 4 |
| ; CHECK-NEXT: [[V2:%.*]] = load i32, ptr @OnlyFoo, align 4 |
| ; CHECK-NEXT: [[V3:%.*]] = load i32, ptr @Baz, align 4 |
| ; CHECK-NEXT: [[A1:%.*]] = add i32 [[V1]], [[V2]] |
| ; CHECK-NEXT: [[A2:%.*]] = add i32 [[A1]], [[V3]] |
| ; CHECK-NEXT: ret i32 [[A2]] |
| ; |
| %v1 = load i32, ptr @Bar |
| %v2 = load i32, ptr @OnlyFoo |
| %v3 = load i32, ptr @Baz |
| %a1 = add i32 %v1, %v2 |
| %a2 = add i32 %a1, %v3 |
| ret i32 %a2 |
| } |
| |