1; This is a copy of test/CodeGen/X86/ragreedy-hoist-spill.ll. It generates
2; sufficiently interesting differences between the default eviction heuristic
3; and the test ML policy: different eviction choices, and different reward.
4;
5;
6%struct.TMP.1 = type { %struct.TMP.2*, %struct.TMP.2*, [1024 x i8] }
7%struct.TMP.2 = type { i8*, i32, i32, i16, i16, %struct.TMP.3, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.TMP.3, %struct.TMP.4*, i32, [3 x i8], [1 x i8], %struct.TMP.3, i32, i64 }
8%struct.TMP.4 = type opaque
9%struct.TMP.3 = type { i8*, i32 }
10
11@syBuf = external global [16 x %struct.TMP.1], align 16
12@syHistory = external global [8192 x i8], align 16
13@SyFgets.yank = external global [512 x i8], align 16
14@syCTRO = external global i32, align 4
15
16define i8* @SyFgets(i8* %line, i64 %length, i64 %fid) {
17; CHECK-LABEL: SyFgets:
18; CHECK:       ## %bb.0: ## %entry
19; CHECK-NEXT:    pushq %rbp
20; CHECK-NEXT:    .cfi_def_cfa_offset 16
21; CHECK-NEXT:    pushq %r15
22; CHECK-NEXT:    .cfi_def_cfa_offset 24
23; CHECK-NEXT:    pushq %r14
24; CHECK-NEXT:    .cfi_def_cfa_offset 32
25; CHECK-NEXT:    pushq %r13
26; CHECK-NEXT:    .cfi_def_cfa_offset 40
27; CHECK-NEXT:    pushq %r12
28; CHECK-NEXT:    .cfi_def_cfa_offset 48
29; CHECK-NEXT:    pushq %rbx
30; CHECK-NEXT:    .cfi_def_cfa_offset 56
31; CHECK-NEXT:    subq $552, %rsp ## imm = 0x228
32; CHECK-NEXT:    .cfi_def_cfa_offset 608
33; CHECK-NEXT:    .cfi_offset %rbx, -56
34; CHECK-NEXT:    .cfi_offset %r12, -48
35; CHECK-NEXT:    .cfi_offset %r13, -40
36; CHECK-NEXT:    .cfi_offset %r14, -32
37; CHECK-NEXT:    .cfi_offset %r15, -24
38; CHECK-NEXT:    .cfi_offset %rbp, -16
39; CHECK-NEXT:    testq $-3, %rdx
40; CHECK-NEXT:    jne LBB0_4
41; CHECK-NEXT:  ## %bb.1: ## %if.end
42; CHECK-NEXT:    xorl %eax, %eax
43; CHECK-NEXT:    testb %al, %al
44; CHECK-NEXT:    jne LBB0_5
45; CHECK-NEXT:  ## %bb.2: ## %if.then4
46; CHECK-NEXT:    xorl %eax, %eax
47; CHECK-NEXT:    testb %al, %al
48; CHECK-NEXT:    je LBB0_55
49; CHECK-NEXT:  ## %bb.3: ## %SyTime.exit
50; CHECK-NEXT:    xorl %eax, %eax
51; CHECK-NEXT:    testb %al, %al
52; CHECK-NEXT:    je LBB0_55
53; CHECK-NEXT:  LBB0_4: ## %cleanup
54; CHECK-NEXT:    addq $552, %rsp ## imm = 0x228
55; CHECK-NEXT:    popq %rbx
56; CHECK-NEXT:    popq %r12
57; CHECK-NEXT:    popq %r13
58; CHECK-NEXT:    popq %r14
59; CHECK-NEXT:    popq %r15
60; CHECK-NEXT:    popq %rbp
61; CHECK-NEXT:    retq
62; CHECK-NEXT:  LBB0_5: ## %if.end25
63; CHECK-NEXT:    xorl %eax, %eax
64; CHECK-NEXT:    testb %al, %al
65; CHECK-NEXT:    je LBB0_55
66; CHECK-NEXT:  ## %bb.6: ## %SyTime.exit2720
67; CHECK-NEXT:    movq %rdx, %rbx
68; CHECK-NEXT:    movq %rdi, %rbp
69; CHECK-NEXT:    leaq {{[0-9]+}}(%rsp), %rax
70; CHECK-NEXT:    leaq {{[0-9]+}}(%rsp), %rcx
71; CHECK-NEXT:    cmpq %rax, %rcx
72; CHECK-NEXT:    jae LBB0_8
73; CHECK-NEXT:  ## %bb.7: ## %for.body.lr.ph
74; CHECK-NEXT:    movl $512, %edx ## imm = 0x200
75; CHECK-NEXT:    movl $32, %esi
76; CHECK-NEXT:    callq _memset
77; CHECK-NEXT:  LBB0_8: ## %while.body.preheader
78; CHECK-NEXT:    imulq $1040, %rbx, %rax ## imm = 0x410
79; CHECK-NEXT:    movq _syBuf@GOTPCREL(%rip), %rcx
80; CHECK-NEXT:    leaq 8(%rcx,%rax), %rdx
81; CHECK-NEXT:    movl $1, %r15d
82; CHECK-NEXT:    movq _syCTRO@GOTPCREL(%rip), %rax
83; CHECK-NEXT:    movb $1, %cl
84; CHECK-NEXT:    .p2align 4, 0x90
85; CHECK-NEXT:  LBB0_9: ## %do.body
86; CHECK-NEXT:    ## =>This Inner Loop Header: Depth=1
87; CHECK-NEXT:    movl $0, (%rax)
88; CHECK-NEXT:    testb %cl, %cl
89; CHECK-NEXT:    jne LBB0_9
90; CHECK-NEXT:  ## %bb.10: ## %do.end
91; CHECK-NEXT:    movq %rdx, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
92; CHECK-NEXT:    movq %rbp, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
93; CHECK-NEXT:    xorl %r13d, %r13d
94; CHECK-NEXT:    testb %r13b, %r13b
95; CHECK-NEXT:    jne LBB0_11
96; CHECK-NEXT:  ## %bb.12: ## %while.body200.preheader
97; CHECK-NEXT:    xorl %r12d, %r12d
98; CHECK-NEXT:    leaq LJTI0_0(%rip), %rdx
99; CHECK-NEXT:    leaq LJTI0_1(%rip), %rbx
100; CHECK-NEXT:    movl $0, {{[-0-9]+}}(%r{{[sb]}}p) ## 4-byte Folded Spill
101; CHECK-NEXT:    xorl %r14d, %r14d
102; CHECK-NEXT:    jmp LBB0_13
103; CHECK-NEXT:    .p2align 4, 0x90
104; CHECK-NEXT:  LBB0_20: ## %sw.bb256
105; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
106; CHECK-NEXT:    movl %r13d, %r14d
107; CHECK-NEXT:  LBB0_21: ## %while.cond197.backedge
108; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
109; CHECK-NEXT:    decl %r15d
110; CHECK-NEXT:    testl %r15d, %r15d
111; CHECK-NEXT:    movl %r14d, %r13d
112; CHECK-NEXT:    jle LBB0_22
113; CHECK-NEXT:  LBB0_13: ## %while.body200
114; CHECK-NEXT:    ## =>This Loop Header: Depth=1
115; CHECK-NEXT:    ## Child Loop BB0_29 Depth 2
116; CHECK-NEXT:    ## Child Loop BB0_38 Depth 2
117; CHECK-NEXT:    leal -268(%r13), %eax
118; CHECK-NEXT:    cmpl $105, %eax
119; CHECK-NEXT:    ja LBB0_14
120; CHECK-NEXT:  ## %bb.56: ## %while.body200
121; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
122; CHECK-NEXT:    movslq (%rbx,%rax,4), %rax
123; CHECK-NEXT:    addq %rbx, %rax
124; CHECK-NEXT:    jmpq *%rax
125; CHECK-NEXT:  LBB0_44: ## %while.cond1037.preheader
126; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
127; CHECK-NEXT:    testb %r12b, %r12b
128; CHECK-NEXT:    movl %r13d, %r14d
129; CHECK-NEXT:    jne LBB0_21
130; CHECK-NEXT:    jmp LBB0_55
131; CHECK-NEXT:    .p2align 4, 0x90
132; CHECK-NEXT:  LBB0_14: ## %while.body200
133; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
134; CHECK-NEXT:    leal 1(%r13), %eax
135; CHECK-NEXT:    cmpl $21, %eax
136; CHECK-NEXT:    ja LBB0_20
137; CHECK-NEXT:  ## %bb.15: ## %while.body200
138; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
139; CHECK-NEXT:    movl $-1, %r14d
140; CHECK-NEXT:    movslq (%rdx,%rax,4), %rax
141; CHECK-NEXT:    addq %rdx, %rax
142; CHECK-NEXT:    jmpq *%rax
143; CHECK-NEXT:  LBB0_18: ## %while.cond201.preheader
144; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
145; CHECK-NEXT:    movl $1, %r14d
146; CHECK-NEXT:    jmp LBB0_21
147; CHECK-NEXT:  LBB0_26: ## %sw.bb474
148; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
149; CHECK-NEXT:    testb %r12b, %r12b
150; CHECK-NEXT:    ## implicit-def: $rbp
151; CHECK-NEXT:    jne LBB0_34
152; CHECK-NEXT:  ## %bb.27: ## %do.body479.preheader
153; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
154; CHECK-NEXT:    testb %r12b, %r12b
155; CHECK-NEXT:    ## implicit-def: $rbp
156; CHECK-NEXT:    jne LBB0_34
157; CHECK-NEXT:  ## %bb.28: ## %land.rhs485.preheader
158; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
159; CHECK-NEXT:    ## implicit-def: $rax
160; CHECK-NEXT:    jmp LBB0_29
161; CHECK-NEXT:    .p2align 4, 0x90
162; CHECK-NEXT:  LBB0_32: ## %do.body479.backedge
163; CHECK-NEXT:    ## in Loop: Header=BB0_29 Depth=2
164; CHECK-NEXT:    leaq 1(%rbp), %rax
165; CHECK-NEXT:    testb %r12b, %r12b
166; CHECK-NEXT:    je LBB0_33
167; CHECK-NEXT:  LBB0_29: ## %land.rhs485
168; CHECK-NEXT:    ## Parent Loop BB0_13 Depth=1
169; CHECK-NEXT:    ## => This Inner Loop Header: Depth=2
170; CHECK-NEXT:    testb %al, %al
171; CHECK-NEXT:    js LBB0_55
172; CHECK-NEXT:  ## %bb.30: ## %cond.true.i.i2780
173; CHECK-NEXT:    ## in Loop: Header=BB0_29 Depth=2
174; CHECK-NEXT:    movq %rax, %rbp
175; CHECK-NEXT:    testb %r12b, %r12b
176; CHECK-NEXT:    jne LBB0_32
177; CHECK-NEXT:  ## %bb.31: ## %lor.rhs500
178; CHECK-NEXT:    ## in Loop: Header=BB0_29 Depth=2
179; CHECK-NEXT:    movl $256, %esi ## imm = 0x100
180; CHECK-NEXT:    callq ___maskrune
181; CHECK-NEXT:    testb %r12b, %r12b
182; CHECK-NEXT:    jne LBB0_32
183; CHECK-NEXT:    jmp LBB0_34
184; CHECK-NEXT:  LBB0_45: ## %sw.bb1134
185; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
186; CHECK-NEXT:    leaq {{[0-9]+}}(%rsp), %rax
187; CHECK-NEXT:    leaq {{[0-9]+}}(%rsp), %rcx
188; CHECK-NEXT:    cmpq %rax, %rcx
189; CHECK-NEXT:    jb LBB0_55
190; CHECK-NEXT:  ## %bb.46: ## in Loop: Header=BB0_13 Depth=1
191; CHECK-NEXT:    movl $0, {{[-0-9]+}}(%r{{[sb]}}p) ## 4-byte Folded Spill
192; CHECK-NEXT:    movl $268, %r14d ## imm = 0x10C
193; CHECK-NEXT:    jmp LBB0_21
194; CHECK-NEXT:  LBB0_40: ## %sw.bb566
195; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
196; CHECK-NEXT:    movl $20, %r14d
197; CHECK-NEXT:    jmp LBB0_21
198; CHECK-NEXT:  LBB0_19: ## %sw.bb243
199; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
200; CHECK-NEXT:    movl $2, %r14d
201; CHECK-NEXT:    jmp LBB0_21
202; CHECK-NEXT:  LBB0_33: ## %if.end517.loopexitsplit
203; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
204; CHECK-NEXT:    incq %rbp
205; CHECK-NEXT:  LBB0_34: ## %if.end517
206; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
207; CHECK-NEXT:    leal -324(%r14), %eax
208; CHECK-NEXT:    cmpl $59, %eax
209; CHECK-NEXT:    ja LBB0_35
210; CHECK-NEXT:  ## %bb.57: ## %if.end517
211; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
212; CHECK-NEXT:    movabsq $576460756598390785, %rcx ## imm = 0x800000100000001
213; CHECK-NEXT:    btq %rax, %rcx
214; CHECK-NEXT:    jb LBB0_38
215; CHECK-NEXT:  LBB0_35: ## %if.end517
216; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
217; CHECK-NEXT:    cmpl $11, %r14d
218; CHECK-NEXT:    je LBB0_38
219; CHECK-NEXT:  ## %bb.36: ## %if.end517
220; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
221; CHECK-NEXT:    cmpl $24, %r14d
222; CHECK-NEXT:    je LBB0_38
223; CHECK-NEXT:  ## %bb.37: ## %if.then532
224; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
225; CHECK-NEXT:    movq _SyFgets.yank@GOTPCREL(%rip), %rax
226; CHECK-NEXT:    movb $0, (%rax)
227; CHECK-NEXT:    .p2align 4, 0x90
228; CHECK-NEXT:  LBB0_38: ## %for.cond534
229; CHECK-NEXT:    ## Parent Loop BB0_13 Depth=1
230; CHECK-NEXT:    ## => This Inner Loop Header: Depth=2
231; CHECK-NEXT:    testb %r12b, %r12b
232; CHECK-NEXT:    jne LBB0_38
233; CHECK-NEXT:  ## %bb.39: ## %for.cond542.preheader
234; CHECK-NEXT:    ## in Loop: Header=BB0_13 Depth=1
235; CHECK-NEXT:    testb %r12b, %r12b
236; CHECK-NEXT:    movb $0, (%rbp)
237; CHECK-NEXT:    movl %r13d, %r14d
238; CHECK-NEXT:    leaq LJTI0_0(%rip), %rdx
239; CHECK-NEXT:    jmp LBB0_21
240; CHECK-NEXT:    .p2align 4, 0x90
241; CHECK-NEXT:  LBB0_42: ## %while.cond864
242; CHECK-NEXT:    ## =>This Inner Loop Header: Depth=1
243; CHECK-NEXT:    jmp LBB0_42
244; CHECK-NEXT:    .p2align 4, 0x90
245; CHECK-NEXT:  LBB0_43: ## %while.cond962
246; CHECK-NEXT:    ## =>This Inner Loop Header: Depth=1
247; CHECK-NEXT:    jmp LBB0_43
248; CHECK-NEXT:    .p2align 4, 0x90
249; CHECK-NEXT:  LBB0_25: ## %for.cond357
250; CHECK-NEXT:    ## =>This Inner Loop Header: Depth=1
251; CHECK-NEXT:    jmp LBB0_25
252; CHECK-NEXT:  LBB0_11:
253; CHECK-NEXT:    movl $0, {{[-0-9]+}}(%r{{[sb]}}p) ## 4-byte Folded Spill
254; CHECK-NEXT:    xorl %r14d, %r14d
255; CHECK-NEXT:  LBB0_22: ## %while.end1465
256; CHECK-NEXT:    incl %r14d
257; CHECK-NEXT:    cmpl $16, %r14d
258; CHECK-NEXT:    ja LBB0_50
259; CHECK-NEXT:  ## %bb.23: ## %while.end1465
260; CHECK-NEXT:    movl $83969, %eax ## imm = 0x14801
261; CHECK-NEXT:    btl %r14d, %eax
262; CHECK-NEXT:    jae LBB0_50
263; CHECK-NEXT:  ## %bb.24:
264; CHECK-NEXT:    xorl %ebp, %ebp
265; CHECK-NEXT:    movq {{[-0-9]+}}(%r{{[sb]}}p), %rbx ## 8-byte Reload
266; CHECK-NEXT:  LBB0_48: ## %if.then1477
267; CHECK-NEXT:    movl $1, %edx
268; CHECK-NEXT:    callq _write
269; CHECK-NEXT:    subq %rbp, %rbx
270; CHECK-NEXT:    movq _syHistory@GOTPCREL(%rip), %rax
271; CHECK-NEXT:    leaq 8189(%rbx,%rax), %rax
272; CHECK-NEXT:    .p2align 4, 0x90
273; CHECK-NEXT:  LBB0_49: ## %for.body1723
274; CHECK-NEXT:    ## =>This Inner Loop Header: Depth=1
275; CHECK-NEXT:    decq %rax
276; CHECK-NEXT:    jmp LBB0_49
277; CHECK-NEXT:  LBB0_47: ## %if.then1477.loopexit
278; CHECK-NEXT:    movq {{[-0-9]+}}(%r{{[sb]}}p), %rbx ## 8-byte Reload
279; CHECK-NEXT:    movq %rbx, %rbp
280; CHECK-NEXT:    jmp LBB0_48
281; CHECK-NEXT:  LBB0_16: ## %while.cond635.preheader
282; CHECK-NEXT:    xorl %eax, %eax
283; CHECK-NEXT:    testb %al, %al
284; CHECK-NEXT:    je LBB0_41
285; CHECK-NEXT:    .p2align 4, 0x90
286; CHECK-NEXT:  LBB0_17: ## %for.body643.us
287; CHECK-NEXT:    ## =>This Inner Loop Header: Depth=1
288; CHECK-NEXT:    jmp LBB0_17
289; CHECK-NEXT:    .p2align 4, 0x90
290; CHECK-NEXT:  LBB0_41: ## %while.cond661
291; CHECK-NEXT:    ## =>This Inner Loop Header: Depth=1
292; CHECK-NEXT:    jmp LBB0_41
293; CHECK-NEXT:  LBB0_50: ## %for.cond1480.preheader
294; CHECK-NEXT:    movl $512, %eax ## imm = 0x200
295; CHECK-NEXT:    cmpq %rax, %rax
296; CHECK-NEXT:    jae LBB0_55
297; CHECK-NEXT:  ## %bb.51: ## %for.body1664.lr.ph
298; CHECK-NEXT:    xorl %eax, %eax
299; CHECK-NEXT:    testb %al, %al
300; CHECK-NEXT:    movq {{[-0-9]+}}(%r{{[sb]}}p), %rbx ## 8-byte Reload
301; CHECK-NEXT:    movl {{[-0-9]+}}(%r{{[sb]}}p), %ebp ## 4-byte Reload
302; CHECK-NEXT:    jne LBB0_54
303; CHECK-NEXT:  ## %bb.52: ## %while.body1679.preheader
304; CHECK-NEXT:    incl %ebp
305; CHECK-NEXT:    .p2align 4, 0x90
306; CHECK-NEXT:  LBB0_53: ## %while.body1679
307; CHECK-NEXT:    ## =>This Inner Loop Header: Depth=1
308; CHECK-NEXT:    movq (%rbx), %rdi
309; CHECK-NEXT:    callq _fileno
310; CHECK-NEXT:    movslq %ebp, %rax
311; CHECK-NEXT:    leal 1(%rax), %ebp
312; CHECK-NEXT:    cmpq %rax, %rax
313; CHECK-NEXT:    jl LBB0_53
314; CHECK-NEXT:  LBB0_54: ## %while.cond1683.preheader
315; CHECK-NEXT:    xorl %eax, %eax
316; CHECK-NEXT:    testb %al, %al
317; CHECK-NEXT:  LBB0_55: ## %if.then.i
318; CHECK-NEXT:    ud2
319entry:
320  %sub.ptr.rhs.cast646 = ptrtoint i8* %line to i64
321  %old = alloca [512 x i8], align 16
322  %0 = getelementptr inbounds [512 x i8], [512 x i8]* %old, i64 0, i64 0
323  switch i64 %fid, label %if.then [
324    i64 2, label %if.end
325    i64 0, label %if.end
326  ]
327
328if.then:
329  br label %cleanup
330
331if.end:
332  switch i64 undef, label %if.end25 [
333    i64 0, label %if.then4
334    i64 1, label %if.end25
335  ]
336
337if.then4:
338  br i1 undef, label %SyTime.exit, label %if.then.i
339
340if.then.i:
341  unreachable
342
343SyTime.exit:
344  br i1 undef, label %SyTime.exit2681, label %if.then.i2673
345
346if.then.i2673:
347  unreachable
348
349SyTime.exit2681:
350  br label %cleanup
351
352land.lhs.true14:
353  unreachable
354
355if.end25:
356  br i1 undef, label %SyTime.exit2720, label %if.then.i2712
357
358if.then.i2712:
359  unreachable
360
361SyTime.exit2720:
362  %add.ptr = getelementptr [512 x i8], [512 x i8]* %old, i64 0, i64 512
363  %cmp293427 = icmp ult i8* %0, %add.ptr
364  br i1 %cmp293427, label %for.body.lr.ph, label %while.body.preheader
365
366for.body.lr.ph:
367  call void @llvm.memset.p0i8.i64(i8* align 16 undef, i8 32, i64 512, i1 false)
368  br label %while.body.preheader
369
370while.body.preheader:
371  %add.ptr1603 = getelementptr [512 x i8], [512 x i8]* null, i64 0, i64 512
372  %echo.i3101 = getelementptr [16 x %struct.TMP.1], [16 x %struct.TMP.1]* @syBuf, i64 0, i64 %fid, i32 1
373  %1 = xor i64 %sub.ptr.rhs.cast646, -1
374  br label %do.body
375
376do.body:
377  %ch2.0 = phi i32 [ 0, %while.body.preheader ], [ %ch.12.ch2.12, %do.body ]
378  %rep.0 = phi i32 [ 1, %while.body.preheader ], [ %rep.6, %do.body ]
379  store i32 0, i32* @syCTRO, align 4, !tbaa !1
380  %ch.0.ch2.0 = select i1 undef, i32 14, i32 %ch2.0
381  %ch2.2 = select i1 undef, i32 0, i32 %ch.0.ch2.0
382  %ch.2.ch2.2 = select i1 undef, i32 0, i32 %ch2.2
383  %ch2.4 = select i1 undef, i32 278, i32 %ch.2.ch2.2
384  %ch2.5 = select i1 undef, i32 0, i32 %ch2.4
385  %rep.2 = select i1 undef, i32 undef, i32 %rep.0
386  %ch.5.ch2.5 = select i1 undef, i32 undef, i32 %ch2.5
387  %ch2.7 = select i1 undef, i32 0, i32 %ch.5.ch2.5
388  %rep.3 = select i1 undef, i32 undef, i32 %rep.2
389  %ch.7.ch2.7 = select i1 false, i32 0, i32 %ch2.7
390  %mul98.rep.3 = select i1 false, i32 0, i32 %rep.3
391  %ch2.9 = select i1 undef, i32 undef, i32 %ch.7.ch2.7
392  %rep.5 = select i1 undef, i32 undef, i32 %mul98.rep.3
393  %ch2.10 = select i1 false, i32 undef, i32 %ch2.9
394  %rep.6 = select i1 false, i32 undef, i32 %rep.5
395  %isdigittmp = add i32 %ch2.10, -48
396  %isdigit = icmp ult i32 %isdigittmp, 10
397  %cmp119 = icmp eq i32 undef, 22
398  %or.cond1875 = and i1 %isdigit, %cmp119
399  %ch.10.ch2.10 = select i1 %or.cond1875, i32 undef, i32 %ch2.10
400  %.ch.10 = select i1 %or.cond1875, i32 0, i32 undef
401  %ch2.12 = select i1 undef, i32 %.ch.10, i32 %ch.10.ch2.10
402  %ch.12 = select i1 undef, i32 0, i32 %.ch.10
403  %ch.12.ch2.12 = select i1 false, i32 %ch.12, i32 %ch2.12
404  %.ch.12 = select i1 false, i32 0, i32 %ch.12
405  %cmp147 = icmp eq i32 %.ch.12, 0
406  br i1 %cmp147, label %do.body, label %do.end
407
408do.end:
409  %cmp164 = icmp eq i32 %ch.12.ch2.12, 21
410  %mul167 = shl i32 %rep.6, 2
411  %rep.8 = select i1 %cmp164, i32 %mul167, i32 %rep.6
412  %..ch.19 = select i1 false, i32 2, i32 0
413  br i1 undef, label %while.body200, label %while.end1465
414
415while.body200:
416  %dec3386.in = phi i32 [ %dec3386, %while.cond197.backedge ], [ %rep.8, %do.end ]
417  %oldc.13384 = phi i32 [ %oldc.1.be, %while.cond197.backedge ], [ 0, %do.end ]
418  %ch.213379 = phi i32 [ %last.1.be, %while.cond197.backedge ], [ %..ch.19, %do.end ]
419  %last.13371 = phi i32 [ %last.1.be, %while.cond197.backedge ], [ 0, %do.end ]
420  %dec3386 = add i32 %dec3386.in, -1
421  switch i32 %ch.213379, label %sw.default [
422    i32 1, label %while.cond201.preheader
423    i32 322, label %sw.bb206
424    i32 354, label %sw.bb206
425    i32 2, label %sw.bb243
426    i32 364, label %sw.bb1077
427    i32 326, label %sw.bb256
428    i32 358, label %sw.bb256
429    i32 341, label %sw.bb979
430    i32 323, label %while.cond1037.preheader
431    i32 373, label %sw.bb979
432    i32 4, label %if.then1477
433    i32 332, label %sw.bb1077
434    i32 11, label %for.cond357
435    i32 355, label %while.cond1037.preheader
436    i32 324, label %sw.bb474
437    i32 356, label %sw.bb474
438    i32 20, label %sw.bb566
439    i32 -1, label %while.cond197.backedge
440    i32 268, label %sw.bb1134
441    i32 16, label %while.cond635.preheader
442    i32 18, label %sw.bb956
443    i32 316, label %while.cond864
444  ]
445
446while.cond1037.preheader:
447  %cmp10393273 = icmp eq i8 undef, 0
448  br i1 %cmp10393273, label %if.end1070, label %land.rhs1041
449
450while.cond635.preheader:
451  br i1 undef, label %for.body643.us, label %while.cond661
452
453for.body643.us:
454  br label %for.body643.us
455
456while.cond201.preheader:
457  %umax = select i1 false, i64 undef, i64 %1
458  %2 = xor i64 %umax, -1
459  %3 = inttoptr i64 %2 to i8*
460  br label %while.cond197.backedge
461
462sw.bb206:
463  br label %while.cond197.backedge
464
465sw.bb243:
466  br label %while.cond197.backedge
467
468sw.bb256:
469  br label %while.cond197.backedge
470
471while.cond197.backedge:
472  %last.1.be = phi i32 [ %ch.213379, %sw.default ], [ -1, %while.body200 ], [ %ch.213379, %sw.bb1077 ], [ %ch.213379, %sw.bb979 ], [ 18, %sw.bb956 ], [ 20, %sw.bb566 ], [ %ch.213379, %for.end552 ], [ %ch.213379, %sw.bb256 ], [ 2, %sw.bb243 ], [ 1, %while.cond201.preheader ], [ 268, %for.cond1145.preheader ], [ %ch.213379, %sw.bb206 ]
473  %oldc.1.be = phi i32 [ %oldc.13384, %sw.default ], [ %oldc.13384, %while.body200 ], [ %oldc.13384, %sw.bb1077 ], [ %oldc.13384, %sw.bb979 ], [ %oldc.13384, %sw.bb956 ], [ %oldc.13384, %sw.bb566 ], [ %oldc.13384, %for.end552 ], [ %oldc.13384, %sw.bb256 ], [ %oldc.13384, %sw.bb243 ], [ %oldc.13384, %while.cond201.preheader ], [ 0, %for.cond1145.preheader ], [ %oldc.13384, %sw.bb206 ]
474  %cmp198 = icmp sgt i32 %dec3386, 0
475  br i1 %cmp198, label %while.body200, label %while.end1465
476
477for.cond357:
478  br label %for.cond357
479
480sw.bb474:
481  ; spill is hoisted here. Although loop depth1 is even hotter than loop depth2, sw.bb474 is still cold.
482  %cmp476 = icmp eq i8 undef, 0
483  br i1 %cmp476, label %if.end517, label %do.body479.preheader
484
485do.body479.preheader:
486  %cmp4833314 = icmp eq i8 undef, 0
487  br i1 %cmp4833314, label %if.end517, label %land.rhs485
488
489land.rhs485:
490  %incdec.ptr4803316 = phi i8* [ %incdec.ptr480, %do.body479.backedge.land.rhs485_crit_edge ], [ undef, %do.body479.preheader ]
491  %isascii.i.i27763151 = icmp sgt i8 undef, -1
492  br i1 %isascii.i.i27763151, label %cond.true.i.i2780, label %cond.false.i.i2782
493
494cond.true.i.i2780:
495  br i1 undef, label %land.lhs.true490, label %lor.rhs500
496
497cond.false.i.i2782:
498  unreachable
499
500land.lhs.true490:
501  br i1 false, label %lor.rhs500, label %do.body479.backedge
502
503lor.rhs500:
504  ; Make sure spill is hoisted to a cold preheader in outside loop.
505  %call3.i.i2792 = call i32 @__maskrune(i32 undef, i64 256)
506  br i1 undef, label %land.lhs.true504, label %do.body479.backedge
507
508land.lhs.true504:
509  br i1 undef, label %do.body479.backedge, label %if.end517
510
511do.body479.backedge:
512  %incdec.ptr480 = getelementptr i8, i8* %incdec.ptr4803316, i64 1
513  %cmp483 = icmp eq i8 undef, 0
514  br i1 %cmp483, label %if.end517, label %do.body479.backedge.land.rhs485_crit_edge
515
516do.body479.backedge.land.rhs485_crit_edge:
517  br label %land.rhs485
518
519if.end517:
520  %q.4 = phi i8* [ undef, %sw.bb474 ], [ undef, %do.body479.preheader ], [ %incdec.ptr480, %do.body479.backedge ], [ %incdec.ptr4803316, %land.lhs.true504 ]
521  switch i32 %last.13371, label %if.then532 [
522    i32 383, label %for.cond534
523    i32 356, label %for.cond534
524    i32 324, label %for.cond534
525    i32 24, label %for.cond534
526    i32 11, label %for.cond534
527  ]
528
529if.then532:
530  store i8 0, i8* getelementptr inbounds ([512 x i8], [512 x i8]* @SyFgets.yank, i64 0, i64 0), align 16, !tbaa !5
531  br label %for.cond534
532
533for.cond534:
534  %cmp536 = icmp eq i8 undef, 0
535  br i1 %cmp536, label %for.cond542.preheader, label %for.cond534
536
537for.cond542.preheader:
538  br i1 undef, label %for.body545, label %for.end552
539
540for.body545:
541  br i1 undef, label %for.end552, label %for.body545
542
543for.end552:
544  %s.2.lcssa = phi i8* [ undef, %for.cond542.preheader ], [ %q.4, %for.body545 ]
545  %sub.ptr.lhs.cast553 = ptrtoint i8* %s.2.lcssa to i64
546  %sub.ptr.sub555 = sub i64 %sub.ptr.lhs.cast553, 0
547  %arrayidx556 = getelementptr i8, i8* null, i64 %sub.ptr.sub555
548  store i8 0, i8* %arrayidx556, align 1, !tbaa !5
549  br label %while.cond197.backedge
550
551sw.bb566:
552  br label %while.cond197.backedge
553
554while.cond661:
555  br label %while.cond661
556
557while.cond864:
558  br label %while.cond864
559
560sw.bb956:
561  br i1 undef, label %if.then959, label %while.cond197.backedge
562
563if.then959:
564  br label %while.cond962
565
566while.cond962:
567  br label %while.cond962
568
569sw.bb979:
570  br label %while.cond197.backedge
571
572land.rhs1041:
573  unreachable
574
575if.end1070:
576  br label %sw.bb1077
577
578sw.bb1077:
579  br label %while.cond197.backedge
580
581sw.bb1134:
582  br i1 false, label %for.body1139, label %for.cond1145.preheader
583
584for.cond1145.preheader:
585  br i1 %cmp293427, label %for.body1150.lr.ph, label %while.cond197.backedge
586
587for.body1150.lr.ph:
588  unreachable
589
590for.body1139:
591  unreachable
592
593sw.default:
594  br label %while.cond197.backedge
595
596while.end1465:
597  %oldc.1.lcssa = phi i32 [ 0, %do.end ], [ %oldc.1.be, %while.cond197.backedge ]
598  %ch.21.lcssa = phi i32 [ %..ch.19, %do.end ], [ %last.1.be, %while.cond197.backedge ]
599  switch i32 %ch.21.lcssa, label %for.cond1480.preheader [
600    i32 -1, label %if.then1477
601    i32 15, label %if.then1477
602    i32 13, label %if.then1477
603    i32 10, label %if.then1477
604  ]
605
606for.cond1480.preheader:
607  br i1 undef, label %for.body1606.lr.ph, label %for.end1609
608
609if.then1477:
610  %p.1.lcssa3539 = phi i8* [ null, %while.end1465 ], [ null, %while.end1465 ], [ null, %while.end1465 ], [ null, %while.end1465 ], [ %line, %while.body200 ]
611  %call1.i3057 = call i64 @"\01_write"(i32 undef, i8* undef, i64 1)
612  %sub.ptr.lhs.cast1717 = ptrtoint i8* %p.1.lcssa3539 to i64
613  %sub.ptr.sub1719 = sub i64 %sub.ptr.lhs.cast1717, %sub.ptr.rhs.cast646
614  %idx.neg1727 = sub i64 0, %sub.ptr.sub1719
615  br label %for.body1723
616
617for.body1606.lr.ph:
618  br label %for.end1609
619
620for.end1609:
621  br i1 undef, label %for.cond1659.preheader, label %land.lhs.true1614
622
623land.lhs.true1614:
624  br label %for.cond1659.preheader
625
626for.cond1659.preheader:
627  %cmp16623414 = icmp ult i8* undef, %add.ptr1603
628  br i1 %cmp16623414, label %for.body1664.lr.ph, label %while.body1703.lr.ph
629
630for.body1664.lr.ph:
631  %cmp16773405 = icmp slt i64 undef, undef
632  br i1 %cmp16773405, label %while.body1679, label %while.cond1683.preheader
633
634while.body1703.lr.ph:
635  unreachable
636
637while.cond1683.preheader:
638  br i1 undef, label %while.body1691, label %while.end1693
639
640while.body1679:
641  %oldc.43406 = phi i32 [ %inc, %syEchoch.exit3070 ], [ %oldc.1.lcssa, %for.body1664.lr.ph ]
642  %4 = load %struct.TMP.2*, %struct.TMP.2** %echo.i3101, align 8, !tbaa !6
643  %call.i3062 = call i32 @fileno(%struct.TMP.2* %4)
644  br i1 undef, label %if.then.i3069, label %syEchoch.exit3070
645
646if.then.i3069:
647  br label %syEchoch.exit3070
648
649syEchoch.exit3070:
650  %inc = add i32 %oldc.43406, 1
651  %conv1672 = sext i32 %inc to i64
652  %cmp1677 = icmp slt i64 %conv1672, undef
653  br i1 %cmp1677, label %while.body1679, label %while.cond1683.preheader
654
655while.body1691:
656  unreachable
657
658while.end1693:
659  unreachable
660
661for.body1723:
662  %q.303203 = phi i8* [ getelementptr inbounds ([8192 x i8], [8192 x i8]* @syHistory, i64 0, i64 8189), %if.then1477 ], [ %incdec.ptr1730, %for.body1723 ]
663  %add.ptr1728 = getelementptr i8, i8* %q.303203, i64 %idx.neg1727
664  %5 = load i8, i8* %add.ptr1728, align 1, !tbaa !5
665  %incdec.ptr1730 = getelementptr i8, i8* %q.303203, i64 -1
666  br label %for.body1723
667
668cleanup:
669  ret i8* undef
670}
671
672declare i32 @fileno(%struct.TMP.2* nocapture)
673declare i64 @"\01_write"(i32, i8*, i64)
674declare i32 @__maskrune(i32, i64)
675declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i1)
676
677!llvm.ident = !{!0}
678
679!0 = !{!"clang version 3.5.0 (trunk 204257)"}
680!1 = !{!2, !2, i64 0}
681!2 = !{!"int", !3, i64 0}
682!3 = !{!"omnipotent char", !4, i64 0}
683!4 = !{!"Simple C/C++ TBAA"}
684!5 = !{!3, !3, i64 0}
685!6 = !{!7, !8, i64 8}
686!7 = !{!"", !8, i64 0, !8, i64 8, !3, i64 16}
687!8 = !{!"any pointer", !3, i64 0}
688