Mercurial > hg > CbC > CbC_llvm
comparison llvm/test/Transforms/Reassociate/callbr.ll @ 236:c4bab56944e8 llvm-original
LLVM 16
author | kono |
---|---|
date | Wed, 09 Nov 2022 17:45:10 +0900 |
parents | |
children | 1f2b6ac9f198 |
comparison
equal
deleted
inserted
replaced
232:70dce7da266c | 236:c4bab56944e8 |
---|---|
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py | |
2 ; RUN: opt -S -passes=reassociate < %s | FileCheck %s | |
3 | |
4 define i32 @test(i1 %b) { | |
5 ; CHECK-LABEL: @test( | |
6 ; CHECK-NEXT: [[RES:%.*]] = callbr i32 asm "", "=r,!i"() | |
7 ; CHECK-NEXT: to label [[NORMAL:%.*]] [label %abnormal] | |
8 ; CHECK: normal: | |
9 ; CHECK-NEXT: [[FACTOR:%.*]] = mul i32 [[RES]], -2 | |
10 ; CHECK-NEXT: [[SUB2:%.*]] = add i32 [[FACTOR]], 5 | |
11 ; CHECK-NEXT: ret i32 [[SUB2]] | |
12 ; CHECK: abnormal: | |
13 ; CHECK-NEXT: ret i32 0 | |
14 ; | |
15 %res = callbr i32 asm "", "=r,!i"() | |
16 to label %normal [label %abnormal] | |
17 | |
18 normal: | |
19 %sub1 = sub nsw i32 5, %res | |
20 %sub2 = sub nsw i32 %sub1, %res | |
21 ret i32 %sub2 | |
22 | |
23 abnormal: | |
24 ret i32 0 | |
25 } |