1; RUN: llc < %s -march=x86 | FileCheck %s 2; <rdar://problem/8449754> 3 4define i32 @test1(i32 %sum, i32 %x) nounwind readnone ssp { 5entry: 6; CHECK-LABEL: test1: 7; CHECK: movl 8; CHECK-NEXT: addl 9; CHECK-NEXT: adcl $0 10; CHECK-NEXT: ret 11 %add4 = add i32 %x, %sum 12 %cmp = icmp ult i32 %add4, %x 13 %inc = zext i1 %cmp to i32 14 %z.0 = add i32 %add4, %inc 15 ret i32 %z.0 16} 17 18; <rdar://problem/12579915> 19define i32 @test2(i32 %x, i32 %y, i32 %res) nounwind uwtable readnone ssp { 20entry: 21 %cmp = icmp ugt i32 %x, %y 22 %dec = sext i1 %cmp to i32 23 %dec.res = add nsw i32 %dec, %res 24 ret i32 %dec.res 25; CHECK-LABEL: test2: 26; CHECK: cmpl 27; CHECK: sbbl 28; CHECK: ret 29} 30