96 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-linux | FileCheck %s3 4@ok = internal constant [4 x i8] c"%d\0A\00"5@no = internal constant [4 x i8] c"no\0A\00"6 7define i1 @func1(i32 %v1, i32 %v2) nounwind {8; CHECK-LABEL: func1:9; CHECK: # %bb.0: # %entry10; CHECK-NEXT: subl $12, %esp11; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax12; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax13; CHECK-NEXT: jno .LBB0_114; CHECK-NEXT: # %bb.2: # %overflow15; CHECK-NEXT: movl $no, (%esp)16; CHECK-NEXT: calll printf@PLT17; CHECK-NEXT: xorl %eax, %eax18; CHECK-NEXT: addl $12, %esp19; CHECK-NEXT: retl20; CHECK-NEXT: .LBB0_1: # %normal21; CHECK-NEXT: movl %eax, {{[0-9]+}}(%esp)22; CHECK-NEXT: movl $ok, (%esp)23; CHECK-NEXT: calll printf@PLT24; CHECK-NEXT: movb $1, %al25; CHECK-NEXT: addl $12, %esp26; CHECK-NEXT: retl27entry:28 %t = call {i32, i1} @llvm.ssub.with.overflow.i32(i32 %v1, i32 %v2)29 %sum = extractvalue {i32, i1} %t, 030 %obit = extractvalue {i32, i1} %t, 131 br i1 %obit, label %overflow, label %normal32 33normal:34 %t1 = tail call i32 (ptr, ...) @printf( ptr @ok, i32 %sum ) nounwind35 ret i1 true36 37overflow:38 %t2 = tail call i32 (ptr, ...) @printf( ptr @no ) nounwind39 ret i1 false40 41}42 43define i1 @func2(i32 %v1, i32 %v2) nounwind {44; CHECK-LABEL: func2:45; CHECK: # %bb.0: # %entry46; CHECK-NEXT: subl $12, %esp47; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax48; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax49; CHECK-NEXT: jae .LBB1_150; CHECK-NEXT: # %bb.2: # %carry51; CHECK-NEXT: movl $no, (%esp)52; CHECK-NEXT: calll printf@PLT53; CHECK-NEXT: xorl %eax, %eax54; CHECK-NEXT: addl $12, %esp55; CHECK-NEXT: retl56; CHECK-NEXT: .LBB1_1: # %normal57; CHECK-NEXT: movl %eax, {{[0-9]+}}(%esp)58; CHECK-NEXT: movl $ok, (%esp)59; CHECK-NEXT: calll printf@PLT60; CHECK-NEXT: movb $1, %al61; CHECK-NEXT: addl $12, %esp62; CHECK-NEXT: retl63entry:64 %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %v1, i32 %v2)65 %sum = extractvalue {i32, i1} %t, 066 %obit = extractvalue {i32, i1} %t, 167 br i1 %obit, label %carry, label %normal68 69normal:70 %t1 = tail call i32 (ptr, ...) @printf( ptr @ok, i32 %sum ) nounwind71 ret i1 true72 73carry:74 %t2 = tail call i32 (ptr, ...) @printf( ptr @no ) nounwind75 ret i1 false76 77}78 79declare i32 @printf(ptr, ...) nounwind80declare {i32, i1} @llvm.ssub.with.overflow.i32(i32, i32)81declare {i32, i1} @llvm.usub.with.overflow.i32(i32, i32)82 83define i1 @func3(i32 %x) nounwind {84; CHECK-LABEL: func3:85; CHECK: # %bb.0: # %entry86; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax87; CHECK-NEXT: decl %eax88; CHECK-NEXT: seto %al89; CHECK-NEXT: retl90entry:91 %t = call {i32, i1} @llvm.ssub.with.overflow.i32(i32 %x, i32 1)92 %obit = extractvalue {i32, i1} %t, 193 ret i1 %obit94 95}96