llvm/test/Examples/IRTransforms/SimplifyCFG/tut-simplify-cfg-blockaddress.ll

   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
   6 define 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 ;
  13 entry:
  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
  18 bb1:
  19   ret ptr null
  20
  21 bb2:
  22   ret ptr null
  23 }