1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
; 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
}
|
