Mercurial > hg > CbC > CbC_llvm

comparison test/Transforms/InstCombine/2010-01-28-NegativeSRem.ll @ 147:c2174574ed3a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 10
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 14 Aug 2019 16:55:33 +0900
parents 95c75e76d11b
children
comparison
equal deleted inserted replaced
134:3a76565eade5 147:c2174574ed3a
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 ; RUN: opt < %s -instcombine -S | FileCheck %s
2 ; PR6165 3 ; PR6165
3 4
4 define i32 @f() { 5 define i32 @f() {
6 ; CHECK-LABEL: @f(
7 ; CHECK-NEXT: entry:
8 ; CHECK-NEXT: br label [[BB1:%.*]]
9 ; CHECK: BB1:
10 ; CHECK-NEXT: [[X:%.*]] = phi i32 [ -29, [[ENTRY:%.*]] ], [ 0, [[BB1]] ]
11 ; CHECK-NEXT: [[REM:%.*]] = srem i32 [[X]], 2
12 ; CHECK-NEXT: [[T:%.*]] = icmp eq i32 [[REM]], -1
13 ; CHECK-NEXT: br i1 [[T]], label [[BB2:%.*]], label [[BB1]]
14 ; CHECK: BB2:
15 ; CHECK-NEXT: ret i32 [[X]]
16 ;
5 entry: 17 entry:
6 br label %BB1 18 br label %BB1
7 19
8 BB1: ; preds = %BB1, %entry 20 BB1: ; preds = %BB1, %entry
9 ; CHECK: BB1:
10 %x = phi i32 [ -29, %entry ], [ 0, %BB1 ] ; <i32> [#uses=2] 21 %x = phi i32 [ -29, %entry ], [ 0, %BB1 ] ; <i32> [#uses=2]
11 %rem = srem i32 %x, 2 ; <i32> [#uses=1] 22 %rem = srem i32 %x, 2 ; <i32> [#uses=1]
12 %t = icmp eq i32 %rem, -1 ; <i1> [#uses=1] 23 %t = icmp eq i32 %rem, -1 ; <i1> [#uses=1]
13 br i1 %t, label %BB2, label %BB1 24 br i1 %t, label %BB2, label %BB1
14 ; CHECK-NOT: br i1 false
15 25
16 BB2: ; preds = %BB1 26 BB2: ; preds = %BB1
17 ; CHECK: BB2:
18 ret i32 %x 27 ret i32 %x
19 } 28 }