1 ; RUN: llc %s -o - | FileCheck %s 2 target 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" 3 target triple = "i386-apple-macosx10.8.0" 4 5 declare {i64, i1} @llvm.umul.with.overflow.i64(i64, i64) nounwind readnone 6 declare i32 @printf(i8*, ...) 7 8 @.str = private unnamed_addr constant [10 x i8] c"%llx, %d\0A\00", align 1 9 10 define i32 @t1() nounwind { 11 ; CHECK-LABEL: t1: 12 ; CHECK: movl $0, 12(%esp) 13 ; CHECK: movl $0, 8(%esp) 14 ; CHECK: movl $72, 4(%esp) 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 24 define i32 @t2() nounwind { 25 ; CHECK-LABEL: t2: 26 ; CHECK: movl $0, 12(%esp) 27 ; CHECK: movl $0, 8(%esp) 28 ; CHECK: movl $0, 4(%esp) 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 38 define i32 @t3() nounwind { 39 ; CHECK-LABEL: t3: 40 ; CHECK: movl $1, 12(%esp) 41 ; CHECK: movl $-1, 8(%esp) 42 ; CHECK: movl $-9, 4(%esp) 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
