Home | History | Annotate | Download | only in X86
      1 ; RUN: llc < %s -mtriple x86_64-apple-darwin11 -O0 -fast-isel-abort=1 | FileCheck %s
      2 
      3 %struct.x = type { i64, i64 }
      4 %addovf = type { i32, i1 }
      5 declare %struct.x @f()
      6 
      7 define void @test1(i64*) nounwind ssp {
      8   %2 = tail call %struct.x @f() nounwind
      9   %3 = extractvalue %struct.x %2, 0
     10   %4 = add i64 %3, 10
     11   store i64 %4, i64* %0
     12   ret void
     13 ; CHECK-LABEL: test1:
     14 ; CHECK: callq _f
     15 ; CHECK-NEXT: addq	$10, %rax
     16 }
     17 
     18 define void @test2(i64*) nounwind ssp {
     19   %2 = tail call %struct.x @f() nounwind
     20   %3 = extractvalue %struct.x %2, 1
     21   %4 = add i64 %3, 10
     22   store i64 %4, i64* %0
     23   ret void
     24 ; CHECK-LABEL: test2:
     25 ; CHECK: callq _f
     26 ; CHECK-NEXT: addq	$10, %rdx
     27 }
     28 
     29 declare %addovf @llvm.sadd.with.overflow.i32(i32, i32) nounwind readnone
     30 
     31 define void @test3(i32 %x, i32 %y, i32* %z) {
     32   %r = call %addovf @llvm.sadd.with.overflow.i32(i32 %x, i32 %y)
     33   %sum = extractvalue %addovf %r, 0
     34   %sum3 = mul i32 %sum, 3
     35   %bit = extractvalue %addovf %r, 1
     36   br i1 %bit, label %then, label %end
     37   
     38 then:
     39   store i32 %sum3, i32* %z
     40   br label %end
     41 
     42 end:
     43   ret void
     44 ; CHECK: test3
     45 ; CHECK: addl
     46 ; CHECK: seto %al
     47 ; CHECK: testb $1, %al
     48 }
     49