test/Transforms/GVNHoist/hoist-inline.ll

   1 ; RUN: opt -S -O2 -enable-gvn-hoist < %s | FileCheck %s
   2
   3 ; Check that the inlined loads are hoisted.
   4 ; CHECK-LABEL: define i32 @fun(
   5 ; CHECK-LABEL: entry:
   6 ; CHECK: load i32, i32* @A
   7 ; CHECK: if.then:
   8
   9 @A = external global i32
  10 @B = external global i32
  11 @C = external global i32
  12
  13 define i32 @loadA() {
  14    %a = load i32, i32* @A
  15    ret i32 %a
  16 }
  17
  18 define i32 @fun(i1 %c) {
  19 entry:
  20   br i1 %c, label %if.then, label %if.else
  21
  22 if.then:
  23   store i32 1, i32* @B
  24   %call1 = call i32 @loadA()
  25   store i32 2, i32* @C
  26   br label %if.endif
  27
  28 if.else:
  29   store i32 2, i32* @C
  30   %call2 = call i32 @loadA()
  31   store i32 1, i32* @B
  32   br label %if.endif
  33
  34 if.endif:
  35   %ret = phi i32 [ %call1, %if.then ], [ %call2, %if.else ]
  36   ret i32 %ret
  37 }
  38