1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -codegenprepare < %s | FileCheck %s
3
4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
5target triple = "x86_64-unknown-linux-gnu"
6
7define i1 @PR41004(i32 %x, i32 %y, i32 %t1) {
8; CHECK-LABEL: @PR41004(
9; CHECK-NEXT:  entry:
10; CHECK-NEXT:    [[T0:%.*]] = icmp eq i32 [[Y:%.*]], 1
11; CHECK-NEXT:    br i1 [[T0]], label [[SELECT_TRUE_SINK:%.*]], label [[SELECT_END:%.*]]
12; CHECK:       select.true.sink:
13; CHECK-NEXT:    [[REM:%.*]] = srem i32 [[X:%.*]], 2
14; CHECK-NEXT:    br label [[SELECT_END]]
15; CHECK:       select.end:
16; CHECK-NEXT:    [[MUL:%.*]] = phi i32 [ [[REM]], [[SELECT_TRUE_SINK]] ], [ 0, [[ENTRY:%.*]] ]
17; CHECK-NEXT:    [[TMP0:%.*]] = call { i32, i1 } @llvm.usub.with.overflow.i32(i32 [[T1:%.*]], i32 1)
18; CHECK-NEXT:    [[MATH:%.*]] = extractvalue { i32, i1 } [[TMP0]], 0
19; CHECK-NEXT:    [[OV:%.*]] = extractvalue { i32, i1 } [[TMP0]], 1
20; CHECK-NEXT:    [[ADD:%.*]] = add i32 [[MATH]], [[MUL]]
21; CHECK-NEXT:    ret i1 [[OV]]
22;
23entry:
24  %rem = srem i32 %x, 2
25  %t0 = icmp eq i32 %y, 1
26  %mul = select i1 %t0, i32 %rem, i32 0
27  %neg = add i32 %t1, -1
28  %add = add i32 %neg, %mul
29  br label %if
30
31if:
32  %tobool = icmp eq i32 %t1, 0
33  ret i1 %tobool
34}
35