xref: /llvm-project/llvm/test/Analysis/MemorySSA/pr39197.ll (revision 7850ab21128875611dead7d312ffbe4c8b47a5f2) 
1; RUN: opt -mtriple=s390x-linux-gnu -mcpu=z13 -verify-memoryssa -passes='function(sroa),globalopt,function-attrs,function(simplifycfg,loop-mssa(licm),loop(simple-loop-unswitch))' %s -S | FileCheck %s
2; REQUIRES: asserts
3
4target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"
5target triple = "s390x-ibm-linux"
6
7@0 = internal global i32 -9, align 4
8@1 = internal global i64 9, align 8
9@g_1042 = external dso_local global [5 x i16], align 2
10
11; CHECK-LABEL: @main()
12; Function Attrs: nounwind
13define dso_local void @main() #0 {
14  call void @func_1()
15  unreachable
16}
17
18; Function Attrs: argmemonly nounwind
19declare void @llvm.lifetime.end.p0(i64, ptr nocapture) #1
20
21; Function Attrs: nounwind
22define dso_local void @func_1() #0 {
23  %1 = alloca ptr, align 8
24  %2 = call signext i32 @func_2()
25  %3 = icmp ne i32 %2, 0
26  br i1 %3, label %4, label %9
27
28; <label>:4:                                      ; preds = %0
29  %5 = load i16, ptr @g_1042, align 2, !tbaa !1
30  %6 = zext i16 %5 to i64
31  %7 = load i64, ptr @1, align 8, !tbaa !5
32  %8 = and i64 %7, %6
33  store i64 %8, ptr @1, align 8, !tbaa !5
34  call void @llvm.lifetime.end.p0(i64 4, ptr undef) #2
35  unreachable
36
37; <label>:9:                                      ; preds = %0
38  store ptr @0, ptr %1, align 8, !tbaa !7
39  br label %10
40
41; <label>:10:                                     ; preds = %23, %9
42  %11 = load i64, ptr @1, align 8, !tbaa !5
43  %12 = icmp eq i64 %11, 65535
44  br i1 %12, label %13, label %14
45
46; <label>:13:                                     ; preds = %10
47  store ptr null, ptr %1, align 8, !tbaa !7
48  br label %14
49
50; <label>:14:                                     ; preds = %13, %10
51  %15 = load ptr, ptr %1, align 8, !tbaa !7
52  %16 = load i32, ptr %15, align 4, !tbaa !9
53  %17 = trunc i32 %16 to i16
54  %18 = call signext i16 @safe_sub_func_int16_t_s_s(i16 signext %17)
55  %19 = sext i16 %18 to i32
56  %20 = icmp ne i32 %19, 0
57  br i1 %20, label %23, label %21
58
59; <label>:21:                                     ; preds = %14
60  %22 = load volatile i8, ptr null, align 1, !tbaa !11
61  br label %23
62
63; <label>:23:                                     ; preds = %21, %14
64  br label %10
65}
66
67; Function Attrs: nounwind
68declare dso_local signext i32 @func_2() #0
69
70; Function Attrs: nounwind
71define dso_local void @safe_sub_func_uint8_t_u_u() #0 {
72  ret void
73}
74
75; Function Attrs: nounwind
76define dso_local void @safe_add_func_int64_t_s_s() #0 {
77  ret void
78}
79
80; Function Attrs: nounwind
81define dso_local void @safe_rshift_func_int16_t_s_u() #0 {
82  ret void
83}
84
85; Function Attrs: nounwind
86define dso_local void @safe_div_func_uint8_t_u_u() #0 {
87  ret void
88}
89
90; Function Attrs: nounwind
91define dso_local void @safe_mul_func_uint16_t_u_u() #0 {
92  ret void
93}
94
95; Function Attrs: nounwind
96define dso_local void @safe_mul_func_int16_t_s_s() #0 {
97  ret void
98}
99
100; Function Attrs: nounwind
101define dso_local void @safe_div_func_int32_t_s_s() #0 {
102  ret void
103}
104
105; Function Attrs: nounwind
106define dso_local signext i16 @safe_sub_func_int16_t_s_s(i16 signext) #0 {
107  %2 = alloca i16, align 2
108  store i16 %0, ptr %2, align 2, !tbaa !1
109  %3 = load i16, ptr %2, align 2, !tbaa !1
110  %4 = sext i16 %3 to i32
111  %5 = sub nsw i32 %4, 0
112  %6 = trunc i32 %5 to i16
113  ret i16 %6
114}
115
116; Function Attrs: nounwind
117define dso_local void @safe_add_func_uint16_t_u_u() #0 {
118  ret void
119}
120
121; Function Attrs: nounwind
122define dso_local void @safe_div_func_int8_t_s_s() #0 {
123  ret void
124}
125
126; Function Attrs: nounwind
127define dso_local void @safe_add_func_int16_t_s_s() #0 {
128  ret void
129}
130
131; Function Attrs: nounwind
132define dso_local void @safe_add_func_uint8_t_u_u() #0 {
133  ret void
134}
135
136attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="z13" "target-features"="+transactional-execution,+vector" "unsafe-fp-math"="false" "use-soft-float"="false" }
137attributes #1 = { argmemonly nounwind }
138attributes #2 = { nounwind }
139
140!llvm.ident = !{!0}
141
142!0 = !{!"clang version 8.0.0 (http://llvm.org/git/clang.git 7cda4756fc9713d98fd3513b8df172700f267bad) (http://llvm.org/git/llvm.git 199c0d32e96b646bd8cf6beeaf0f99f8a434b56a)"}
143!1 = !{!2, !2, i64 0}
144!2 = !{!"short", !3, i64 0}
145!3 = !{!"omnipotent char", !4, i64 0}
146!4 = !{!"Simple C/C++ TBAA"}
147!5 = !{!6, !6, i64 0}
148!6 = !{!"long", !3, i64 0}
149!7 = !{!8, !8, i64 0}
150!8 = !{!"any pointer", !3, i64 0}
151!9 = !{!10, !10, i64 0}
152!10 = !{!"int", !3, i64 0}
153!11 = !{!3, !3, i64 0}
154