| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -passes=instsimplify -S < %s | FileCheck %s |
| |
| @a1 = internal alias i32, getelementptr ({[3 x i32]}, {[3 x i32]}* @b, i32 0, i32 0, i32 1) |
| @a2 = weak alias i32, getelementptr ({[3 x i32]}, {[3 x i32]}* @b, i32 0, i32 0, i32 1) |
| @b = internal constant {[3 x i32]} {[3 x i32] [i32 2, i32 3, i32 4]} |
| |
| @c = internal alias i32, getelementptr ({[3 x i32]}, {[3 x i32]}* @d, i32 0, i32 0, i32 1) |
| @d = weak constant {[3 x i32]} {[3 x i32] [i32 2, i32 3, i32 4]} |
| |
| define i32 @f() { |
| ; CHECK-LABEL: @f( |
| ; CHECK-NEXT: ret i32 4 |
| ; |
| %a = load i32, i32* getelementptr (i32, i32* @a1, i64 1) |
| ret i32 %a |
| } |
| |
| define i32 @g() { |
| ; CHECK-LABEL: @g( |
| ; CHECK-NEXT: [[A:%.*]] = load i32, i32* getelementptr (i32, i32* @a2, i64 1), align 4 |
| ; CHECK-NEXT: ret i32 [[A]] |
| ; |
| %a = load i32, i32* getelementptr (i32, i32* @a2, i64 1) |
| ret i32 %a |
| } |
| |
| define i32 @h() { |
| ; CHECK-LABEL: @h( |
| ; CHECK-NEXT: [[A:%.*]] = load i32, i32* getelementptr (i32, i32* @c, i64 1), align 4 |
| ; CHECK-NEXT: ret i32 [[A]] |
| ; |
| %a = load i32, i32* getelementptr (i32, i32* @c, i64 1) |
| ret i32 %a |
| } |