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 }