Bump version to 19.1.0-rc3
[llvm-project.git] / llvm / test / Transforms / StructurizeCFG / invert-constantexpr.ll
blob7b0c067f88238925997db641e26a9a09de7830a4
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -o - -structurizecfg < %s | FileCheck %s
4 @g = global i32 0
6 define void @invert_constantexpr_condition(i32 %arg, i32 %arg1) #0 {
7 ; CHECK-LABEL: @invert_constantexpr_condition(
8 ; CHECK-NEXT:  bb:
9 ; CHECK-NEXT:    [[TMP:%.*]] = icmp ne i32 [[ARG:%.*]], 0
10 ; CHECK-NEXT:    br i1 ptrtoint (ptr @g to i1), label [[BB2:%.*]], label [[FLOW:%.*]]
11 ; CHECK:       bb2:
12 ; CHECK-NEXT:    br label [[FLOW]]
13 ; CHECK:       bb3:
14 ; CHECK-NEXT:    [[TMP4:%.*]] = phi i1 [ undef, [[FLOW]] ], [ [[TMP7:%.*]], [[BB6:%.*]] ]
15 ; CHECK-NEXT:    [[TMP5:%.*]] = or i1 [[TMP4]], ptrtoint (ptr @g to i1)
16 ; CHECK-NEXT:    br label [[BB8:%.*]]
17 ; CHECK:       Flow:
18 ; CHECK-NEXT:    [[TMP0:%.*]] = phi i1 [ [[TMP]], [[BB2]] ], [ xor (i1 ptrtoint (ptr @g to i1), i1 true), [[BB:%.*]] ]
19 ; CHECK-NEXT:    br i1 [[TMP0]], label [[BB6]], label [[BB3:%.*]]
20 ; CHECK:       bb6:
21 ; CHECK-NEXT:    [[TMP7]] = icmp slt i32 [[ARG]], [[ARG1:%.*]]
22 ; CHECK-NEXT:    br label [[BB3]]
23 ; CHECK:       bb8:
24 ; CHECK-NEXT:    ret void
26 bb:
27   %tmp = icmp eq i32 %arg, 0
28   br i1 ptrtoint (ptr @g to i1), label %bb2, label %bb6
30 bb2:
31   br i1 %tmp, label %bb3, label %bb6
33 bb3:
34   %tmp4 = phi i1 [ %tmp7, %bb6 ], [ undef, %bb2 ]
35   %tmp5 = or i1 %tmp4, ptrtoint (ptr @g to i1)
36   br i1 %tmp5, label %bb8, label %bb8
38 bb6:
39   %tmp7 = icmp slt i32 %arg, %arg1
40   br label %bb3
42 bb8:
43   ret void
46 declare i32 @llvm.amdgcn.workitem.id.x() #1
48 attributes #0 = { nounwind }
49 attributes #1 = { nounwind readnone }