; RUN: opt -S -gvn < %s | FileCheck %s
; RUN: opt -S -newgvn < %s | FileCheck %s
; RUN: opt -S -O3 < %s | FileCheck %s

; This test check if optimizer is not proving equality based on mustalias
; CHECK-LABEL: define void @dontProveEquality(i8* %a) 
define void @dontProveEquality(i8* %a) {
  %b = call i8* @llvm.invariant.group.barrier(i8* %a)
  %r = i1 icmp eq i8* %b, i8* %a
;CHECK: call void @use(%r)
  call void @use(%r)
}

declare void @use(i1)
declare i8* @llvm.invariant.group.barrier(i8 *)