1 ; RUN: llc < %s | FileCheck %s 2 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" 3 target triple = "x86_64-apple-darwin10.0.0" 4 5 %0 = type <{ %1, %1 }> 6 %1 = type { i8, i8, i8, i8 } 7 8 @g_2 = global %0 zeroinitializer 9 @g_4 = global %1 zeroinitializer, align 4 10 11 12 ; PR8642 13 define i16 @test1(i1 zeroext %C, i8** nocapture %argv) nounwind ssp { 14 entry: 15 br i1 %C, label %cond.end.i, label %cond.false.i 16 17 cond.false.i: ; preds = %entry 18 br label %cond.end.i 19 20 cond.end.i: ; preds = %entry 21 %call1 = phi i16 [ trunc (i32 srem (i32 1, i32 zext (i1 icmp eq (%1* bitcast (i8* getelementptr inbounds (%0, %0* @g_2, i64 0, i32 1, i32 0) to %1*), %1* @g_4) to i32)) to i16), %cond.false.i ], [ 1, %entry ] 22 ret i16 %call1 23 } 24 25 ; CHECK-LABEL: test1: 26 ; CHECK: testb %dil, %dil 27 ; CHECK: jne LBB0_2 28 ; CHECK: divl 29 ; CHECK: LBB0_2: 30