llvm/test/Transforms/LoopStrengthReduce/X86/2012-01-13-phielim.ll - rust-lang/llvm-project - Git at Google

 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
 ; RUN: llc < %s -O3 -mtriple=x86_64-- -mcpu=core2 | FileCheck %s

 declare i1 @check() nounwind
 declare i1 @foo(i8*, i8*, i8*) nounwind

 ; Check that redundant phi elimination ran
 define i32 @test(i8* %base) nounwind uwtable ssp {
 ; CHECK-LABEL: test:
 ; CHECK:       # %bb.0: # %entry
 ; CHECK-NEXT:    pushq %r15
 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
 ; CHECK-NEXT:    pushq %r14
 ; CHECK-NEXT:    .cfi_def_cfa_offset 24
 ; CHECK-NEXT:    pushq %r13
 ; CHECK-NEXT:    .cfi_def_cfa_offset 32
 ; CHECK-NEXT:    pushq %r12
 ; CHECK-NEXT:    .cfi_def_cfa_offset 40
 ; CHECK-NEXT:    pushq %rbx
 ; CHECK-NEXT:    .cfi_def_cfa_offset 48
 ; CHECK-NEXT:    .cfi_offset %rbx, -48
 ; CHECK-NEXT:    .cfi_offset %r12, -40
 ; CHECK-NEXT:    .cfi_offset %r13, -32
 ; CHECK-NEXT:    .cfi_offset %r14, -24
 ; CHECK-NEXT:    .cfi_offset %r15, -16
 ; CHECK-NEXT:    movq %rdi, %r14
 ; CHECK-NEXT:    leaq 16(%rdi), %r15
 ; CHECK-NEXT:    movl $16, %eax
 ; CHECK-NEXT:    xorl %r12d, %r12d
 ; CHECK-NEXT:    .p2align 4, 0x90
 ; CHECK-NEXT:  .LBB0_1: # %while.body.i
 ; CHECK-NEXT:    # =>This Loop Header: Depth=1
 ; CHECK-NEXT:    # Child Loop BB0_2 Depth 2
 ; CHECK-NEXT:    movslq %r12d, %r13
 ; CHECK-NEXT:    movq %rax, %r12
 ; CHECK-NEXT:    leaq (%r15,%r13), %rbx
 ; CHECK-NEXT:    addq $16, %r13
 ; CHECK-NEXT:    .p2align 4, 0x90
 ; CHECK-NEXT:  .LBB0_2: # %for.body.i
 ; CHECK-NEXT:    # Parent Loop BB0_1 Depth=1
 ; CHECK-NEXT:    # => This Inner Loop Header: Depth=2
 ; CHECK-NEXT:    callq check@PLT
 ; CHECK-NEXT:    incq %rbx
 ; CHECK-NEXT:    testb $1, %al
 ; CHECK-NEXT:    je .LBB0_2
 ; CHECK-NEXT:  # %bb.3: # %for.end.i
 ; CHECK-NEXT:    # in Loop: Header=BB0_1 Depth=1
 ; CHECK-NEXT:    addq %r14, %r13
 ; CHECK-NEXT:    movq %r13, %rdi
 ; CHECK-NEXT:    movq %r13, %rsi
 ; CHECK-NEXT:    callq foo@PLT
 ; CHECK-NEXT:    testb $1, %al
 ; CHECK-NEXT:    je .LBB0_5
 ; CHECK-NEXT:  # %bb.4: # %cond.true29.i
 ; CHECK-NEXT:    # in Loop: Header=BB0_1 Depth=1
 ; CHECK-NEXT:    leaq 16(%r12), %rax
 ; CHECK-NEXT:    jmp .LBB0_1
 ; CHECK-NEXT:  .LBB0_5: # %cond.false35.i
 entry:
   br label %while.body.lr.ph.i

 while.body.lr.ph.i:                               ; preds = %cond.true.i
   br label %while.body.i

 while.body.i:                                     ; preds = %cond.true29.i, %while.body.lr.ph.i
   %indvars.iv7.i = phi i64 [ 16, %while.body.lr.ph.i ], [ %indvars.iv.next8.i, %cond.true29.i ]
   %i.05.i = phi i64 [ 0, %while.body.lr.ph.i ], [ %indvars.iv7.i, %cond.true29.i ]
   %sext.i = shl i64 %i.05.i, 32
   %idx.ext.i = ashr exact i64 %sext.i, 32
   %add.ptr.sum.i = add i64 %idx.ext.i, 16
   br label %for.body.i

 for.body.i:                                       ; preds = %for.body.i, %while.body.i
   %indvars.iv.i = phi i64 [ 0, %while.body.i ], [ %indvars.iv.next.i, %for.body.i ]
   %add.ptr.sum = add i64 %add.ptr.sum.i, %indvars.iv.i
   %arrayidx22.i = getelementptr inbounds i8, i8* %base, i64 %add.ptr.sum
   %0 = load i8, i8* %arrayidx22.i, align 1
   %indvars.iv.next.i = add i64 %indvars.iv.i, 1
   %cmp = call i1 @check() nounwind
   br i1 %cmp, label %for.end.i, label %for.body.i

 for.end.i:                                        ; preds = %for.body.i
   %add.ptr.i144 = getelementptr inbounds i8, i8* %base, i64 %add.ptr.sum.i
   %cmp2 = tail call i1 @foo(i8* %add.ptr.i144, i8* %add.ptr.i144, i8* undef) nounwind
   br i1 %cmp2, label %cond.true29.i, label %cond.false35.i

 cond.true29.i:                                    ; preds = %for.end.i
   %indvars.iv.next8.i = add i64 %indvars.iv7.i, 16
   br i1 false, label %exit, label %while.body.i

 cond.false35.i:                                   ; preds = %for.end.i
   unreachable

 exit:                                 ; preds = %cond.true29.i, %cond.true.i
   ret i32 0
 }

 %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771 = type { i32, i32, i32 }

 @tags = external global [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], align 16

 ; PR11782: SCEVExpander assert
 ;
 ; Test phi reuse after LSR that requires SCEVExpander to hoist an
 ; interesting GEP.
 ;
 define void @test2(i32 %n) nounwind uwtable {
 ; CHECK-LABEL: test2:
 ; CHECK:       # %bb.0: # %entry
 ; CHECK-NEXT:    xorl %eax, %eax
 ; CHECK-NEXT:    testb %al, %al
 ; CHECK-NEXT:    je .LBB1_1
 ; CHECK-NEXT:  # %bb.3: # %while.end
 ; CHECK-NEXT:    retq
 ; CHECK-NEXT:  .LBB1_1: # %for.cond468.preheader
 ; CHECK-NEXT:    cmpl $2, %edi
 ; CHECK-NEXT:    .p2align 4, 0x90
 ; CHECK-NEXT:  .LBB1_2: # %for.inc498
 ; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
 ; CHECK-NEXT:    jmp .LBB1_2
 entry:
   br i1 undef, label %while.end, label %for.cond468

 for.cond468:                                      ; preds = %if.then477, %entry
   %indvars.iv1163 = phi i64 [ %indvars.iv.next1164, %if.then477 ], [ 1, %entry ]
   %k.0.in = phi i32* [ %last, %if.then477 ], [ getelementptr inbounds ([5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771]* @tags, i64 0, i64 0, i32 2), %entry ]
   %k.0 = load i32, i32* %k.0.in, align 4
   %0 = trunc i64 %indvars.iv1163 to i32
   %cmp469 = icmp slt i32 %0, %n
   br i1 %cmp469, label %for.body471, label %for.inc498

 for.body471:                                      ; preds = %for.cond468
   %first = getelementptr inbounds [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771]* @tags, i64 0, i64 %indvars.iv1163, i32 1
   %1 = load i32, i32* %first, align 4
   br i1 undef, label %if.then477, label %for.inc498

 if.then477:                                       ; preds = %for.body471
   %last = getelementptr inbounds [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771]* @tags, i64 0, i64 %indvars.iv1163, i32 2
   %indvars.iv.next1164 = add i64 %indvars.iv1163, 1
   br label %for.cond468

 for.inc498:                                       ; preds = %for.inc498, %for.body471, %for.cond468
   br label %for.inc498

 while.end:                                        ; preds = %entry
   ret void
 }

 ; PR12898: SCEVExpander crash
 ; Test redundant phi elimination when the deleted phi's increment is
 ; itself a phi.
 ;
 define fastcc void @test3(double* nocapture %u) nounwind uwtable ssp {
 ; CHECK-LABEL: test3:
 ; CHECK:       # %bb.0: # %entry
 ; CHECK-NEXT:    xorl %eax, %eax
 ; CHECK-NEXT:    testb %al, %al
 ; CHECK-NEXT:    jne .LBB2_6
 ; CHECK-NEXT:  # %bb.1:
 ; CHECK-NEXT:    xorl %eax, %eax
 ; CHECK-NEXT:    .p2align 4, 0x90
 ; CHECK-NEXT:  .LBB2_2: # %meshBB1
 ; CHECK-NEXT:    # =>This Loop Header: Depth=1
 ; CHECK-NEXT:    # Child Loop BB2_4 Depth 2
 ; CHECK-NEXT:    # implicit-def: $rcx
 ; CHECK-NEXT:    testb %al, %al
 ; CHECK-NEXT:    jne .LBB2_2
 ; CHECK-NEXT:    .p2align 4, 0x90
 ; CHECK-NEXT:  .LBB2_4: # %meshBB
 ; CHECK-NEXT:    # Parent Loop BB2_2 Depth=1
 ; CHECK-NEXT:    # => This Inner Loop Header: Depth=2
 ; CHECK-NEXT:    incq %rcx
 ; CHECK-NEXT:    testb %al, %al
 ; CHECK-NEXT:    je .LBB2_4
 ; CHECK-NEXT:    jmp .LBB2_2
 ; CHECK-NEXT:  .LBB2_6: # %meshBB5
 ; CHECK-NEXT:    xorl %eax, %eax
 ; CHECK-NEXT:    testb %al, %al
 ; CHECK-NEXT:    je .LBB2_5
 ; CHECK-NEXT:  # %bb.7: # %eval_At_times_u.exit
 ; CHECK-NEXT:    retq
 ; CHECK-NEXT:  .LBB2_5: # %for.inc8.us.i2
 entry:
   br i1 undef, label %meshBB1, label %meshBB5

 for.inc8.us.i:                                    ; preds = %for.body3.us.i
   br i1 undef, label %meshBB1, label %meshBB

 for.body3.us.i:                                   ; preds = %meshBB, %for.body3.lr.ph.us.i
   %indvars.iv.i.SV.phi = phi i64 [ %indvars.iv.next.i, %meshBB ], [ 0, %for.body3.lr.ph.us.i ]
   %storemerge13.us.i.SV.phi = phi i32 [ 0, %meshBB ], [ 0, %for.body3.lr.ph.us.i ]
   %Opq.sa.calc12 = sub i32 undef, 227
   %0 = add nsw i64 %indvars.iv.i.SV.phi, %indvars.iv8.i.SV.phi26
   %1 = trunc i64 %0 to i32
   %mul.i.us.i = mul nsw i32 0, %1
   %arrayidx5.us.i = getelementptr inbounds double, double* %u, i64 %indvars.iv.i.SV.phi
   %2 = load double, double* %arrayidx5.us.i, align 8
   %indvars.iv.next.i = add i64 %indvars.iv.i.SV.phi, 1
   br i1 undef, label %for.inc8.us.i, label %meshBB

 for.body3.lr.ph.us.i:                             ; preds = %meshBB1, %meshBB
   %indvars.iv8.i.SV.phi26 = phi i64 [ undef, %meshBB1 ], [ %indvars.iv8.i.SV.phi24, %meshBB ]
   %arrayidx.us.i = getelementptr inbounds double, double* undef, i64 %indvars.iv8.i.SV.phi26
   %3 = add i64 %indvars.iv8.i.SV.phi26, 1
   br label %for.body3.us.i

 for.inc8.us.i2:                                   ; preds = %meshBB5
   unreachable

 eval_At_times_u.exit:                             ; preds = %meshBB5
   ret void

 meshBB:                                           ; preds = %for.body3.us.i, %for.inc8.us.i
   %indvars.iv8.i.SV.phi24 = phi i64 [ undef, %for.body3.us.i ], [ %3, %for.inc8.us.i ]
   %meshStackVariable.phi = phi i32 [ %Opq.sa.calc12, %for.body3.us.i ], [ undef, %for.inc8.us.i ]
   br i1 undef, label %for.body3.lr.ph.us.i, label %for.body3.us.i

 meshBB1:                                          ; preds = %for.inc8.us.i, %entry
   br label %for.body3.lr.ph.us.i

 meshBB5:                                          ; preds = %entry
   br i1 undef, label %eval_At_times_u.exit, label %for.inc8.us.i2
 }
	; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
	; RUN: llc < %s -O3 -mtriple=x86_64-- -mcpu=core2 \| FileCheck %s

	declare i1 @check() nounwind
	declare i1 @foo(i8, i8, i8*) nounwind

	; Check that redundant phi elimination ran
	define i32 @test(i8* %base) nounwind uwtable ssp {
	; CHECK-LABEL: test:
	; CHECK: # %bb.0: # %entry
	; CHECK-NEXT: pushq %r15
	; CHECK-NEXT: .cfi_def_cfa_offset 16
	; CHECK-NEXT: pushq %r14
	; CHECK-NEXT: .cfi_def_cfa_offset 24
	; CHECK-NEXT: pushq %r13
	; CHECK-NEXT: .cfi_def_cfa_offset 32
	; CHECK-NEXT: pushq %r12
	; CHECK-NEXT: .cfi_def_cfa_offset 40
	; CHECK-NEXT: pushq %rbx
	; CHECK-NEXT: .cfi_def_cfa_offset 48
	; CHECK-NEXT: .cfi_offset %rbx, -48
	; CHECK-NEXT: .cfi_offset %r12, -40
	; CHECK-NEXT: .cfi_offset %r13, -32
	; CHECK-NEXT: .cfi_offset %r14, -24
	; CHECK-NEXT: .cfi_offset %r15, -16
	; CHECK-NEXT: movq %rdi, %r14
	; CHECK-NEXT: leaq 16(%rdi), %r15
	; CHECK-NEXT: movl $16, %eax
	; CHECK-NEXT: xorl %r12d, %r12d
	; CHECK-NEXT: .p2align 4, 0x90
	; CHECK-NEXT: .LBB0_1: # %while.body.i
	; CHECK-NEXT: # =>This Loop Header: Depth=1
	; CHECK-NEXT: # Child Loop BB0_2 Depth 2
	; CHECK-NEXT: movslq %r12d, %r13
	; CHECK-NEXT: movq %rax, %r12
	; CHECK-NEXT: leaq (%r15,%r13), %rbx
	; CHECK-NEXT: addq $16, %r13
	; CHECK-NEXT: .p2align 4, 0x90
	; CHECK-NEXT: .LBB0_2: # %for.body.i
	; CHECK-NEXT: # Parent Loop BB0_1 Depth=1
	; CHECK-NEXT: # => This Inner Loop Header: Depth=2
	; CHECK-NEXT: callq check@PLT
	; CHECK-NEXT: incq %rbx
	; CHECK-NEXT: testb $1, %al
	; CHECK-NEXT: je .LBB0_2
	; CHECK-NEXT: # %bb.3: # %for.end.i
	; CHECK-NEXT: # in Loop: Header=BB0_1 Depth=1
	; CHECK-NEXT: addq %r14, %r13
	; CHECK-NEXT: movq %r13, %rdi
	; CHECK-NEXT: movq %r13, %rsi
	; CHECK-NEXT: callq foo@PLT
	; CHECK-NEXT: testb $1, %al
	; CHECK-NEXT: je .LBB0_5
	; CHECK-NEXT: # %bb.4: # %cond.true29.i
	; CHECK-NEXT: # in Loop: Header=BB0_1 Depth=1
	; CHECK-NEXT: leaq 16(%r12), %rax
	; CHECK-NEXT: jmp .LBB0_1
	; CHECK-NEXT: .LBB0_5: # %cond.false35.i
	entry:
	br label %while.body.lr.ph.i

	while.body.lr.ph.i: ; preds = %cond.true.i
	br label %while.body.i

	while.body.i: ; preds = %cond.true29.i, %while.body.lr.ph.i
	%indvars.iv7.i = phi i64 [ 16, %while.body.lr.ph.i ], [ %indvars.iv.next8.i, %cond.true29.i ]
	%i.05.i = phi i64 [ 0, %while.body.lr.ph.i ], [ %indvars.iv7.i, %cond.true29.i ]
	%sext.i = shl i64 %i.05.i, 32
	%idx.ext.i = ashr exact i64 %sext.i, 32
	%add.ptr.sum.i = add i64 %idx.ext.i, 16
	br label %for.body.i

	for.body.i: ; preds = %for.body.i, %while.body.i
	%indvars.iv.i = phi i64 [ 0, %while.body.i ], [ %indvars.iv.next.i, %for.body.i ]
	%add.ptr.sum = add i64 %add.ptr.sum.i, %indvars.iv.i
	%arrayidx22.i = getelementptr inbounds i8, i8* %base, i64 %add.ptr.sum
	%0 = load i8, i8* %arrayidx22.i, align 1
	%indvars.iv.next.i = add i64 %indvars.iv.i, 1
	%cmp = call i1 @check() nounwind
	br i1 %cmp, label %for.end.i, label %for.body.i

	for.end.i: ; preds = %for.body.i
	%add.ptr.i144 = getelementptr inbounds i8, i8* %base, i64 %add.ptr.sum.i
	%cmp2 = tail call i1 @foo(i8* %add.ptr.i144, i8* %add.ptr.i144, i8* undef) nounwind
	br i1 %cmp2, label %cond.true29.i, label %cond.false35.i

	cond.true29.i: ; preds = %for.end.i
	%indvars.iv.next8.i = add i64 %indvars.iv7.i, 16
	br i1 false, label %exit, label %while.body.i

	cond.false35.i: ; preds = %for.end.i
	unreachable

	exit: ; preds = %cond.true29.i, %cond.true.i
	ret i32 0
	}

	%struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771 = type { i32, i32, i32 }

	@tags = external global [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], align 16

	; PR11782: SCEVExpander assert
	;
	; Test phi reuse after LSR that requires SCEVExpander to hoist an
	; interesting GEP.
	;
	define void @test2(i32 %n) nounwind uwtable {
	; CHECK-LABEL: test2:
	; CHECK: # %bb.0: # %entry
	; CHECK-NEXT: xorl %eax, %eax
	; CHECK-NEXT: testb %al, %al
	; CHECK-NEXT: je .LBB1_1
	; CHECK-NEXT: # %bb.3: # %while.end
	; CHECK-NEXT: retq
	; CHECK-NEXT: .LBB1_1: # %for.cond468.preheader
	; CHECK-NEXT: cmpl $2, %edi
	; CHECK-NEXT: .p2align 4, 0x90
	; CHECK-NEXT: .LBB1_2: # %for.inc498
	; CHECK-NEXT: # =>This Inner Loop Header: Depth=1
	; CHECK-NEXT: jmp .LBB1_2
	entry:
	br i1 undef, label %while.end, label %for.cond468

	for.cond468: ; preds = %if.then477, %entry
	%indvars.iv1163 = phi i64 [ %indvars.iv.next1164, %if.then477 ], [ 1, %entry ]
	%k.0.in = phi i32* [ %last, %if.then477 ], [ getelementptr inbounds ([5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771]* @tags, i64 0, i64 0, i32 2), %entry ]
	%k.0 = load i32, i32* %k.0.in, align 4
	%0 = trunc i64 %indvars.iv1163 to i32
	%cmp469 = icmp slt i32 %0, %n
	br i1 %cmp469, label %for.body471, label %for.inc498

	for.body471: ; preds = %for.cond468
	%first = getelementptr inbounds [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771]* @tags, i64 0, i64 %indvars.iv1163, i32 1
	%1 = load i32, i32* %first, align 4
	br i1 undef, label %if.then477, label %for.inc498

	if.then477: ; preds = %for.body471
	%last = getelementptr inbounds [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771]* @tags, i64 0, i64 %indvars.iv1163, i32 2
	%indvars.iv.next1164 = add i64 %indvars.iv1163, 1
	br label %for.cond468

	for.inc498: ; preds = %for.inc498, %for.body471, %for.cond468
	br label %for.inc498

	while.end: ; preds = %entry
	ret void
	}

	; PR12898: SCEVExpander crash
	; Test redundant phi elimination when the deleted phi's increment is
	; itself a phi.
	;
	define fastcc void @test3(double* nocapture %u) nounwind uwtable ssp {
	; CHECK-LABEL: test3:
	; CHECK: # %bb.0: # %entry
	; CHECK-NEXT: xorl %eax, %eax
	; CHECK-NEXT: testb %al, %al
	; CHECK-NEXT: jne .LBB2_6
	; CHECK-NEXT: # %bb.1:
	; CHECK-NEXT: xorl %eax, %eax
	; CHECK-NEXT: .p2align 4, 0x90
	; CHECK-NEXT: .LBB2_2: # %meshBB1
	; CHECK-NEXT: # =>This Loop Header: Depth=1
	; CHECK-NEXT: # Child Loop BB2_4 Depth 2
	; CHECK-NEXT: # implicit-def: $rcx
	; CHECK-NEXT: testb %al, %al
	; CHECK-NEXT: jne .LBB2_2
	; CHECK-NEXT: .p2align 4, 0x90
	; CHECK-NEXT: .LBB2_4: # %meshBB
	; CHECK-NEXT: # Parent Loop BB2_2 Depth=1
	; CHECK-NEXT: # => This Inner Loop Header: Depth=2
	; CHECK-NEXT: incq %rcx
	; CHECK-NEXT: testb %al, %al
	; CHECK-NEXT: je .LBB2_4
	; CHECK-NEXT: jmp .LBB2_2
	; CHECK-NEXT: .LBB2_6: # %meshBB5
	; CHECK-NEXT: xorl %eax, %eax
	; CHECK-NEXT: testb %al, %al
	; CHECK-NEXT: je .LBB2_5
	; CHECK-NEXT: # %bb.7: # %eval_At_times_u.exit
	; CHECK-NEXT: retq
	; CHECK-NEXT: .LBB2_5: # %for.inc8.us.i2
	entry:
	br i1 undef, label %meshBB1, label %meshBB5

	for.inc8.us.i: ; preds = %for.body3.us.i
	br i1 undef, label %meshBB1, label %meshBB

	for.body3.us.i: ; preds = %meshBB, %for.body3.lr.ph.us.i
	%indvars.iv.i.SV.phi = phi i64 [ %indvars.iv.next.i, %meshBB ], [ 0, %for.body3.lr.ph.us.i ]
	%storemerge13.us.i.SV.phi = phi i32 [ 0, %meshBB ], [ 0, %for.body3.lr.ph.us.i ]
	%Opq.sa.calc12 = sub i32 undef, 227
	%0 = add nsw i64 %indvars.iv.i.SV.phi, %indvars.iv8.i.SV.phi26
	%1 = trunc i64 %0 to i32
	%mul.i.us.i = mul nsw i32 0, %1
	%arrayidx5.us.i = getelementptr inbounds double, double* %u, i64 %indvars.iv.i.SV.phi
	%2 = load double, double* %arrayidx5.us.i, align 8
	%indvars.iv.next.i = add i64 %indvars.iv.i.SV.phi, 1
	br i1 undef, label %for.inc8.us.i, label %meshBB

	for.body3.lr.ph.us.i: ; preds = %meshBB1, %meshBB
	%indvars.iv8.i.SV.phi26 = phi i64 [ undef, %meshBB1 ], [ %indvars.iv8.i.SV.phi24, %meshBB ]
	%arrayidx.us.i = getelementptr inbounds double, double* undef, i64 %indvars.iv8.i.SV.phi26
	%3 = add i64 %indvars.iv8.i.SV.phi26, 1
	br label %for.body3.us.i

	for.inc8.us.i2: ; preds = %meshBB5
	unreachable

	eval_At_times_u.exit: ; preds = %meshBB5
	ret void

	meshBB: ; preds = %for.body3.us.i, %for.inc8.us.i
	%indvars.iv8.i.SV.phi24 = phi i64 [ undef, %for.body3.us.i ], [ %3, %for.inc8.us.i ]
	%meshStackVariable.phi = phi i32 [ %Opq.sa.calc12, %for.body3.us.i ], [ undef, %for.inc8.us.i ]
	br i1 undef, label %for.body3.lr.ph.us.i, label %for.body3.us.i

	meshBB1: ; preds = %for.inc8.us.i, %entry
	br label %for.body3.lr.ph.us.i

	meshBB5: ; preds = %entry
	br i1 undef, label %eval_At_times_u.exit, label %for.inc8.us.i2
	}