1 ; NOTE: Assertions have been autogenerated by update_test_checks.py 2 ; RUN: opt -instsimplify -S < %s | FileCheck %s 3 4 define void @test1() { 5 ; CHECK-LABEL: @test1( 6 ; CHECK: ret void 7 ; 8 call void @llvm.assume(i1 1) 9 ret void 10 11 } 12 13 declare void @llvm.assume(i1) nounwind 14 15