| ; RUN: llc < %s | FileCheck %s | |
| target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" | |
| target triple = "x86_64-apple-darwin10.0.0" | |
| %0 = type <{ %1, %1 }> | |
| %1 = type { i8, i8, i8, i8 } | |
| @g_2 = global %0 zeroinitializer | |
| @g_4 = global %1 zeroinitializer, align 4 | |
| ; PR8642 | |
| define i16 @test1(i1 zeroext %C, i8** nocapture %argv) nounwind ssp { | |
| entry: | |
| br i1 %C, label %cond.end.i, label %cond.false.i | |
| cond.false.i: ; preds = %entry | |
| br label %cond.end.i | |
| cond.end.i: ; preds = %entry | |
| %call1 = phi i16 [ trunc (i32 srem (i32 1, i32 zext (i1 icmp eq (%1* bitcast (i8* getelementptr inbounds (%0* @g_2, i64 0, i32 1, i32 0) to %1*), %1* @g_4) to i32)) to i16), %cond.false.i ], [ 1, %entry ] | |
| ret i16 %call1 | |
| } | |
| ; CHECK: test1: | |
| ; CHECK: testb %dil, %dil | |
| ; CHECK: jne LBB0_2 | |
| ; CHECK: divl | |
| ; CHECK: LBB0_2: |