1 ; XFAIL: * 2 ; RUN: llc < %s -march=x86-64 | FileCheck %s 3 ; <rdar://problem/8006248> 4 5 @llvm.used = appending global [1 x i8*] [i8* bitcast (void ([40 x i16]*, i32*, i16**, i64*)* @func to i8*)], section "llvm.metadata" 6 7 define void @func([40 x i16]* %a, i32* %b, i16** %c, i64* %d) nounwind { 8 entry: 9 %tmp103 = getelementptr inbounds [40 x i16]* %a, i64 0, i64 4 10 %tmp104 = load i16* %tmp103, align 2 11 %tmp105 = sext i16 %tmp104 to i32 12 %tmp106 = load i32* %b, align 4 13 %tmp107 = sub nsw i32 4, %tmp106 14 %tmp108 = load i16** %c, align 8 15 %tmp109 = sext i32 %tmp107 to i64 16 %tmp110 = getelementptr inbounds i16* %tmp108, i64 %tmp109 17 %tmp111 = load i16* %tmp110, align 1 18 %tmp112 = sext i16 %tmp111 to i32 19 %tmp = mul i32 355244649, %tmp112 20 %tmp1 = mul i32 %tmp, %tmp105 21 %tmp2 = add i32 %tmp1, 2138875574 22 %tmp3 = add i32 %tmp2, 1546991088 23 %tmp4 = mul i32 %tmp3, 2122487257 24 %tmp5 = icmp sge i32 %tmp4, 2138875574 25 %tmp6 = icmp slt i32 %tmp4, -8608074 26 %tmp7 = or i1 %tmp5, %tmp6 27 %outSign = select i1 %tmp7, i32 1, i32 -1 28 %tmp8 = icmp slt i32 %tmp4, 0 29 %tmp9 = icmp eq i32 %outSign, 1 30 %tmp10 = and i1 %tmp8, %tmp9 31 %tmp11 = sext i32 %tmp4 to i64 32 %tmp12 = add i64 %tmp11, 5089792279245435153 33 34 ; CHECK: addl $2138875574, %e[[REGISTER_zext:[a-z]+]] 35 ; CHECK-NEXT: movslq %e[[REGISTER_zext]], [[REGISTER_tmp:%[a-z]+]] 36 ; CHECK: movq [[REGISTER_tmp]], [[REGISTER_sext:%[a-z]+]] 37 ; CHECK-NEXT: subq %r[[REGISTER_zext]], [[REGISTER_sext]] 38 39 %tmp13 = sub i64 %tmp12, 2138875574 40 %tmp14 = zext i32 %tmp4 to i64 41 %tmp15 = sub i64 %tmp11, %tmp14 42 %tmp16 = select i1 %tmp10, i64 %tmp15, i64 0 43 %tmp17 = sub i64 %tmp13, %tmp16 44 %tmp18 = mul i64 %tmp17, 4540133155013554595 45 %tmp19 = sub i64 %tmp18, 5386586244038704851 46 %tmp20 = add i64 %tmp19, -1368057358110947217 47 %tmp21 = mul i64 %tmp20, -422037402840850817 48 %tmp115 = load i64* %d, align 8 49 %alphaX = mul i64 468858157810230901, %tmp21 50 %alphaXbetaY = add i64 %alphaX, %tmp115 51 %transformed = add i64 %alphaXbetaY, 9040145182981852475 52 store i64 %transformed, i64* %d, align 8 53 ret void 54 } 55
