xref: /llvm-project/llvm/test/Examples/IRTransforms/SimplifyCFG/tut-simplify-cfg-blockaddress.ll (revision d291f1fd094538af705541045c0d9c3ceb85e71d)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt %loadexampleirtransforms -passes=tut-simplifycfg -tut-simplifycfg-version=v1 -S < %s | FileCheck %s
3; RUN: opt %loadexampleirtransforms -passes=tut-simplifycfg -tut-simplifycfg-version=v2 -S < %s | FileCheck %s
4; RUN: opt %loadexampleirtransforms -passes=tut-simplifycfg -tut-simplifycfg-version=v3 -S < %s | FileCheck %s
5
6define ptr @simp1(i32 %x) {
7; CHECK-LABEL: @simp1(
8; CHECK-NEXT:  entry:
9; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i32 [[X:%.*]], 42
10; CHECK-NEXT:    [[ADDR:%.*]] = select i1 [[CMP]], ptr inttoptr (i32 1 to ptr), ptr inttoptr (i32 1 to ptr)
11; CHECK-NEXT:    ret ptr [[ADDR]]
12;
13entry:
14  %cmp = icmp slt i32 %x, 42
15  %addr = select i1 %cmp, ptr blockaddress(@simp1, %bb1), ptr blockaddress(@simp1, %bb2)
16  ret ptr %addr
17
18bb1:
19  ret ptr null
20
21bb2:
22  ret ptr null
23}
24