llvm/test/Transforms/IROutliner/illegal-callbr.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -verify -iroutliner -ir-outlining-no-cost < %s | FileCheck %s
   3
   4 ; This test checks that we do not outline callbr instruction since as we do not
   5 ; outline any control flow change instructions.
   6
   7
   8 define i32 @function1(i32 %a, i32 %b) {
   9 ; CHECK-LABEL: @function1(
  10 ; CHECK-NEXT:  bb0:
  11 ; CHECK-NEXT:    [[TMP0:%.*]] = add i32 [[A:%.*]], 4
  12 ; CHECK-NEXT:    call void @outlined_ir_func_0(i32 [[B:%.*]])
  13 ; CHECK-NEXT:    callbr void asm "xorl $0, $0
  14 ; CHECK-NEXT:    to label [[NORMAL:%.*]] [label %fail1]
  15 ; CHECK:       normal:
  16 ; CHECK-NEXT:    call void @outlined_ir_func_0(i32 [[B]])
  17 ; CHECK-NEXT:    ret i32 0
  18 ; CHECK:       fail1:
  19 ; CHECK-NEXT:    [[TMP1:%.*]] = add i32 [[B]], 1
  20 ; CHECK-NEXT:    [[TMP2:%.*]] = add i32 [[B]], 1
  21 ; CHECK-NEXT:    ret i32 0
  22 ;
  23 bb0:
  24   %0 = add i32 %a, 4
  25   %1 = add i32 %b, 1
  26   %2 = add i32 %b, 1
  27   callbr void asm "xorl $0, $0; jmp ${1:l}", "r,X,~{dirflag},~{fpsr},~{flags}"(i32 %0, i8* blockaddress(@function1, %fail1)) to label %normal [label %fail1]
  28 normal:
  29   %3 = add i32 %b, 1
  30   %4 = add i32 %b, 1
  31   ret i32 0
  32 fail1:
  33   %5 = add i32 %b, 1
  34   %6 = add i32 %b, 1
  35   ret i32 0
  36 }
  37
  38 define i32 @function2(i32 %a, i32 %b) {
  39 ; CHECK-LABEL: @function2(
  40 ; CHECK-NEXT:  bb0:
  41 ; CHECK-NEXT:    [[TMP0:%.*]] = add i32 [[A:%.*]], 4
  42 ; CHECK-NEXT:    call void @outlined_ir_func_0(i32 [[B:%.*]])
  43 ; CHECK-NEXT:    callbr void asm "xorl $0, $0
  44 ; CHECK-NEXT:    to label [[NORMAL:%.*]] [label %fail1]
  45 ; CHECK:       normal:
  46 ; CHECK-NEXT:    call void @outlined_ir_func_0(i32 [[B]])
  47 ; CHECK-NEXT:    ret i32 0
  48 ; CHECK:       fail1:
  49 ; CHECK-NEXT:    [[TMP1:%.*]] = add i32 [[B]], 1
  50 ; CHECK-NEXT:    [[TMP2:%.*]] = add i32 [[B]], 1
  51 ; CHECK-NEXT:    ret i32 0
  52 ;
  53 bb0:
  54   %0 = add i32 %a, 4
  55   %1 = add i32 %b, 1
  56   %2 = add i32 %b, 1
  57   callbr void asm "xorl $0, $0; jmp ${1:l}", "r,X,~{dirflag},~{fpsr},~{flags}"(i32 %0, i8* blockaddress(@function2, %fail1)) to label %normal [label %fail1]
  58 normal:
  59   %3 = add i32 %b, 1
  60   %4 = add i32 %b, 1
  61   ret i32 0
  62 fail1:
  63   %5 = add i32 %b, 1
  64   %6 = add i32 %b, 1
  65   ret i32 0
  66 }