1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -mtriple=x86_64-unknown-unknown < %s | FileCheck %s
3; rdar://7610418
4
5%ptr = type { ptr }
6%struct.s1 = type { %ptr, %ptr }
7%struct.s2 = type { i32, ptr, ptr, [256 x ptr], [8 x i32], i64, ptr, i32, i64, i64, i32, ptr, ptr, [49 x i64] }
8%struct.s3 = type { ptr, ptr, i32, i32, i32 }
9
10define fastcc ptr @t(i32 %base) nounwind {
11; CHECK-LABEL: t:
12; CHECK:       # %bb.0: # %entry
13; CHECK-NEXT:    pushq %rax
14; CHECK-NEXT:    movl %edi, %eax
15; CHECK-NEXT:    shlq $9, %rax
16; CHECK-NEXT:    leaq (%rax,%rax,4), %rdi
17; CHECK-NEXT:    xorl %eax, %eax
18; CHECK-NEXT:    testb %al, %al
19; CHECK-NEXT:    jne .LBB0_2
20; CHECK-NEXT:  # %bb.1: # %bb1
21; CHECK-NEXT:    callq bar@PLT
22; CHECK-NEXT:  .LBB0_2: # %bb2
23; CHECK-NEXT:    callq foo@PLT
24entry:
25  %0 = zext i32 %base to i64
26  %1 = getelementptr inbounds %struct.s2, ptr null, i64 %0
27  br i1 undef, label %bb1, label %bb2
28
29bb1:
30  %2 = getelementptr inbounds %struct.s2, ptr null, i64 %0, i32 0
31  call void @bar(ptr %2) nounwind
32  unreachable
33
34bb2:
35  %3 = call fastcc ptr @foo(ptr %1) nounwind
36  unreachable
37
38bb3:
39  ret ptr undef
40}
41
42declare void @bar(ptr)
43
44declare fastcc ptr @foo(ptr) nounwind
45
46; rdar://8773371
47
48declare void @printf(...) nounwind
49
50define void @commute(i32 %test_case, i32 %scale) nounwind ssp {
51; CHECK-LABEL: commute:
52; CHECK:       # %bb.0: # %entry
53; CHECK-NEXT:    # kill: def $esi killed $esi def $rsi
54; CHECK-NEXT:    # kill: def $edi killed $edi def $rdi
55; CHECK-NEXT:    leal -1(%rdi), %eax
56; CHECK-NEXT:    cmpl $2, %eax
57; CHECK-NEXT:    ja .LBB1_4
58; CHECK-NEXT:  # %bb.1: # %sw.bb
59; CHECK-NEXT:    xorl %eax, %eax
60; CHECK-NEXT:    testb %al, %al
61; CHECK-NEXT:    jne .LBB1_4
62; CHECK-NEXT:  # %bb.2: # %if.end34
63; CHECK-NEXT:    pushq %rax
64; CHECK-NEXT:    imull %edi, %esi
65; CHECK-NEXT:    leal (%rsi,%rsi,2), %esi
66; CHECK-NEXT:    # kill: def $edi killed $edi killed $rdi
67; CHECK-NEXT:    xorl %eax, %eax
68; CHECK-NEXT:    callq printf@PLT
69; CHECK-NEXT:    addq $8, %rsp
70; CHECK-NEXT:    .p2align 4, 0x90
71; CHECK-NEXT:  .LBB1_3: # %for.body53.us
72; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
73; CHECK-NEXT:    jmp .LBB1_3
74; CHECK-NEXT:  .LBB1_4: # %sw.bb307
75; CHECK-NEXT:    retq
76entry:
77  switch i32 %test_case, label %sw.bb307 [
78    i32 1, label %sw.bb
79    i32 2, label %sw.bb
80    i32 3, label %sw.bb
81  ]
82
83sw.bb:
84  %mul = mul nsw i32 %test_case, 3
85  %mul20 = mul nsw i32 %mul, %scale
86  br i1 undef, label %if.end34, label %sw.bb307
87
88if.end34:
89  tail call void (...) @printf(i32 %test_case, i32 %mul20) nounwind
90  %tmp = mul i32 %scale, %test_case
91  %tmp752 = mul i32 %tmp, 3
92  %tmp753 = zext i32 %tmp752 to i64
93  br label %bb.nph743.us
94
95for.body53.us:
96  %exitcond = icmp eq i64 undef, %tmp753
97  br i1 %exitcond, label %bb.nph743.us, label %for.body53.us
98
99bb.nph743.us:
100  br label %for.body53.us
101
102sw.bb307:
103  ret void
104}
105
106; CSE physical register defining instruction across MBB boundary.
107; rdar://10660865
108define i32 @cross_mbb_phys_cse(i32 %a, i32 %b) nounwind ssp {
109; CHECK-LABEL: cross_mbb_phys_cse:
110; CHECK:       # %bb.0: # %entry
111; CHECK-NEXT:    movl $1, %eax
112; CHECK-NEXT:    cmpl %esi, %edi
113; CHECK-NEXT:    ja .LBB2_2
114; CHECK-NEXT:  # %bb.1: # %if.end
115; CHECK-NEXT:    xorl %eax, %eax
116; CHECK-NEXT:    cmpl %esi, %edi
117; CHECK-NEXT:    sbbl %eax, %eax
118; CHECK-NEXT:  .LBB2_2: # %return
119; CHECK-NEXT:    retq
120entry:
121  %cmp = icmp ugt i32 %a, %b
122  br i1 %cmp, label %return, label %if.end
123
124if.end:
125  %cmp1 = icmp ult i32 %a, %b
126  %. = sext i1 %cmp1 to i32
127  br label %return
128
129return:
130  %retval.0 = phi i32 [ 1, %entry ], [ %., %if.end ]
131  ret i32 %retval.0
132}
133
134; rdar://11393714
135define ptr @bsd_memchr(ptr %s, i32 %a, i32 %c, i64 %n) nounwind ssp {
136; CHECK-LABEL: bsd_memchr:
137; CHECK:       # %bb.0: # %entry
138; CHECK-NEXT:    testq %rcx, %rcx
139; CHECK-NEXT:    je .LBB3_4
140; CHECK-NEXT:  # %bb.1: # %preheader
141; CHECK-NEXT:    movq %rdi, %rax
142; CHECK-NEXT:    movzbl %dl, %edx
143; CHECK-NEXT:    .p2align 4, 0x90
144; CHECK-NEXT:  .LBB3_2: # %do.body
145; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
146; CHECK-NEXT:    cmpl %edx, %esi
147; CHECK-NEXT:    je .LBB3_5
148; CHECK-NEXT:  # %bb.3: # %do.cond
149; CHECK-NEXT:    # in Loop: Header=BB3_2 Depth=1
150; CHECK-NEXT:    incq %rax
151; CHECK-NEXT:    decq %rcx
152; CHECK-NEXT:    jne .LBB3_2
153; CHECK-NEXT:  .LBB3_4:
154; CHECK-NEXT:    xorl %eax, %eax
155; CHECK-NEXT:  .LBB3_5: # %return
156; CHECK-NEXT:    retq
157entry:
158  %cmp = icmp eq i64 %n, 0
159  br i1 %cmp, label %return, label %preheader
160
161preheader:
162  %conv2 = and i32 %c, 255
163  br label %do.body
164
165do.body:
166  %n.addr.0 = phi i64 [ %dec, %do.cond ], [ %n, %preheader ]
167  %p.0 = phi ptr [ %incdec.ptr, %do.cond ], [ %s, %preheader ]
168  %cmp3 = icmp eq i32 %a, %conv2
169  br i1 %cmp3, label %return, label %do.cond
170
171do.cond:
172  %incdec.ptr = getelementptr inbounds i8, ptr %p.0, i64 1
173  %dec = add i64 %n.addr.0, -1
174  %cmp6 = icmp eq i64 %dec, 0
175  br i1 %cmp6, label %return, label %do.body
176
177return:
178  %retval.0 = phi ptr [ null, %entry ], [ null, %do.cond ], [ %p.0, %do.body ]
179  ret ptr %retval.0
180}
181
182; PR13578
183@t2_global = external dso_local global i32
184
185declare i1 @t2_func()
186
187define i32 @t2() nounwind {
188; CHECK-LABEL: t2:
189; CHECK:       # %bb.0:
190; CHECK-NEXT:    pushq %rax
191; CHECK-NEXT:    movl $42, t2_global(%rip)
192; CHECK-NEXT:    callq t2_func@PLT
193; CHECK-NEXT:    testb $1, %al
194; CHECK-NEXT:    je .LBB4_2
195; CHECK-NEXT:  # %bb.1: # %a
196; CHECK-NEXT:    movl t2_global(%rip), %eax
197; CHECK-NEXT:    popq %rcx
198; CHECK-NEXT:    retq
199; CHECK-NEXT:  .LBB4_2: # %b
200; CHECK-NEXT:    xorl %eax, %eax
201; CHECK-NEXT:    popq %rcx
202; CHECK-NEXT:    retq
203  store i32 42, ptr @t2_global
204  %c = call i1 @t2_func()
205  br i1 %c, label %a, label %b
206
207a:
208  %l = load i32, ptr @t2_global
209  ret i32 %l
210
211b:
212  ret i32 0
213}
214
215