1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -gvn -S | FileCheck %s
6 ; CHECK-NEXT: call void @llvm.assume(i1 undef)
7 ; CHECK-NEXT: ret i1 undef
9 call void @llvm.assume(i1 undef)
13 declare void @llvm.assume(i1)