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