reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38

; RUN: opt -S -O2 -enable-gvn-hoist < %s | FileCheck %s

; Check that the inlined loads are hoisted.
; CHECK-LABEL: define i32 @fun(
; CHECK-LABEL: entry:
; CHECK: load i32, i32* @A
; CHECK: if.then:

@A = external global i32
@B = external global i32
@C = external global i32

define i32 @loadA() {
   %a = load i32, i32* @A
   ret i32 %a
}

define i32 @fun(i1 %c) {
entry:
  br i1 %c, label %if.then, label %if.else

if.then:
  store i32 1, i32* @B
  %call1 = call i32 @loadA()
  store i32 2, i32* @C
  br label %if.endif

if.else:
  store i32 2, i32* @C
  %call2 = call i32 @loadA()
  store i32 1, i32* @B
  br label %if.endif

if.endif:
  %ret = phi i32 [ %call1, %if.then ], [ %call2, %if.else ]
  ret i32 %ret
}