1 ; RUN: llc < %s -march=x86 | FileCheck %s 2 3 @ok = internal constant [4 x i8] c"%d\0A\00" 4 @no = internal constant [4 x i8] c"no\0A\00" 5 6 define i1 @test1(i32 %v1, i32 %v2) nounwind { 7 entry: 8 %t = call {i32, i1} @llvm.smul.with.overflow.i32(i32 %v1, i32 %v2) 9 %sum = extractvalue {i32, i1} %t, 0 10 %obit = extractvalue {i32, i1} %t, 1 11 br i1 %obit, label %overflow, label %normal 12 13 normal: 14 %t1 = tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @ok, i32 0, i32 0), i32 %sum ) nounwind 15 ret i1 true 16 17 overflow: 18 %t2 = tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @no, i32 0, i32 0) ) nounwind 19 ret i1 false 20 ; CHECK-LABEL: test1: 21 ; CHECK: imull 22 ; CHECK-NEXT: jno 23 } 24 25 define i1 @test2(i32 %v1, i32 %v2) nounwind { 26 entry: 27 %t = call {i32, i1} @llvm.smul.with.overflow.i32(i32 %v1, i32 %v2) 28 %sum = extractvalue {i32, i1} %t, 0 29 %obit = extractvalue {i32, i1} %t, 1 30 br i1 %obit, label %overflow, label %normal 31 32 overflow: 33 %t2 = tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @no, i32 0, i32 0) ) nounwind 34 ret i1 false 35 36 normal: 37 %t1 = tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @ok, i32 0, i32 0), i32 %sum ) nounwind 38 ret i1 true 39 ; CHECK-LABEL: test2: 40 ; CHECK: imull 41 ; CHECK-NEXT: jno 42 } 43 44 declare i32 @printf(i8*, ...) nounwind 45 declare {i32, i1} @llvm.smul.with.overflow.i32(i32, i32) 46 47 define i32 @test3(i32 %a, i32 %b) nounwind readnone { 48 entry: 49 %tmp0 = add i32 %b, %a 50 %tmp1 = call { i32, i1 } @llvm.smul.with.overflow.i32(i32 %tmp0, i32 2) 51 %tmp2 = extractvalue { i32, i1 } %tmp1, 0 52 ret i32 %tmp2 53 ; CHECK-LABEL: test3: 54 ; CHECK: addl 55 ; CHECK-NEXT: addl 56 ; CHECK-NEXT: ret 57 } 58 59 define i32 @test4(i32 %a, i32 %b) nounwind readnone { 60 entry: 61 %tmp0 = add i32 %b, %a 62 %tmp1 = call { i32, i1 } @llvm.smul.with.overflow.i32(i32 %tmp0, i32 4) 63 %tmp2 = extractvalue { i32, i1 } %tmp1, 0 64 ret i32 %tmp2 65 ; CHECK-LABEL: test4: 66 ; CHECK: addl 67 ; CHECK: mull 68 ; CHECK-NEXT: ret 69 } 70 71 declare { i63, i1 } @llvm.smul.with.overflow.i63(i63, i63) nounwind readnone 72 73 define i1 @test5() nounwind { 74 entry: 75 %res = call { i63, i1 } @llvm.smul.with.overflow.i63(i63 4, i63 4611686018427387903) 76 %sum = extractvalue { i63, i1 } %res, 0 77 %overflow = extractvalue { i63, i1 } %res, 1 78 ret i1 %overflow 79 ; Was returning false, should return true (not constant folded yet though). 80 ; PR13991 81 ; CHECK-LABEL: test5: 82 ; CHECK-NOT: xorb 83 } 84
