test/Transforms/GVNHoist/hoist-very-busy.ll

   1 ; RUN: opt -S -gvn-hoist < %s | FileCheck %s
   2
   3 %struct.__jmp_buf_tag = type { [8 x i64], i32 }
   4
   5 ; Check that hoisting only happens when the expression is very busy.
   6 ; CHECK: store
   7 ; CHECK: store
   8
   9 @test_exit_buf = global %struct.__jmp_buf_tag zeroinitializer
  10 @G = global i32 0
  11
  12 define void @test_command(i32 %c1) {
  13 entry:
  14   switch i32 %c1, label %exit [
  15     i32 0, label %sw0
  16     i32 1, label %sw1
  17   ]
  18
  19 sw0:
  20   store i32 1, i32* @G
  21   br label %exit
  22
  23 sw1:
  24   store i32 1, i32* @G
  25   br label %exit
  26
  27 exit:
  28   call void @longjmp(%struct.__jmp_buf_tag* @test_exit_buf, i32 1) #0
  29   unreachable
  30 }
  31
  32 declare void @longjmp(%struct.__jmp_buf_tag*, i32) #0
  33
  34 attributes #0 = { noreturn nounwind }
  35
  36 ; Check that the store is hoisted.
  37 ; CHECK-LABEL: define void @fun(
  38 ; CHECK: store
  39 ; CHECK-NOT: store
  40
  41 define void @fun() {
  42 entry:
  43   br label %if.then
  44
  45 if.then:                                          ; preds = %entry
  46   br i1 undef, label %sw0, label %sw1
  47
  48 sw0:
  49   store i32 1, i32* @G
  50   unreachable
  51
  52 sw1:
  53   store i32 1, i32* @G
  54   ret void
  55 }