1; RUN: llc %s -o - | FileCheck %s 2target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128" 3target triple = "i386-apple-macosx10.8.0" 4 5declare {i64, i1} @llvm.umul.with.overflow.i64(i64, i64) nounwind readnone 6declare i32 @printf(i8*, ...) 7 8@.str = private unnamed_addr constant [10 x i8] c"%llx, %d\0A\00", align 1 9 10define i32 @t1() nounwind { 11; CHECK-LABEL: t1: 12; CHECK: pushl $0 13; CHECK: pushl $0 14; CHECK: pushl $72 15 16 %1 = call {i64, i1} @llvm.umul.with.overflow.i64(i64 9, i64 8) 17 %2 = extractvalue {i64, i1} %1, 0 18 %3 = extractvalue {i64, i1} %1, 1 19 %4 = zext i1 %3 to i32 20 %5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i32 0, i32 0), i64 %2, i32 %4) 21 ret i32 0 22} 23 24define i32 @t2() nounwind { 25; CHECK-LABEL: t2: 26; CHECK: pushl $0 27; CHECK: pushl $0 28; CHECK: pushl $0 29 30 %1 = call {i64, i1} @llvm.umul.with.overflow.i64(i64 9, i64 0) 31 %2 = extractvalue {i64, i1} %1, 0 32 %3 = extractvalue {i64, i1} %1, 1 33 %4 = zext i1 %3 to i32 34 %5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i32 0, i32 0), i64 %2, i32 %4) 35 ret i32 0 36} 37 38define i32 @t3() nounwind { 39; CHECK-LABEL: t3: 40; CHECK: pushl $1 41; CHECK: pushl $-1 42; CHECK: pushl $-9 43 44 %1 = call {i64, i1} @llvm.umul.with.overflow.i64(i64 9, i64 -1) 45 %2 = extractvalue {i64, i1} %1, 0 46 %3 = extractvalue {i64, i1} %1, 1 47 %4 = zext i1 %3 to i32 48 %5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i32 0, i32 0), i64 %2, i32 %4) 49 ret i32 0 50} 51