Home | History | Annotate | Download | only in X86 
      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]* @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]* @no, i32 0, i32 0) ) nounwind
     19   ret i1 false
     20 ; CHECK: test1:
     21 ; CHECK: imull
     22 ; CHECK-NEXT: jo
     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]* @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]* @ok, i32 0, i32 0), i32 %sum ) nounwind
     38   ret i1 true
     39 ; CHECK: 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: 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: test4:
     66 ; CHECK: addl
     67 ; CHECK: mull
     68 ; CHECK-NEXT: ret
     69 }
     70