| ; NOTE: Assertions have been autogenerated by update_test_checks.py | |
| ; RUN: opt -instsimplify -S < %s | FileCheck %s | |
| define void @test1() { | |
| ; CHECK-LABEL: @test1( | |
| ; CHECK: ret void | |
| ; | |
| call void @llvm.assume(i1 1) | |
| ret void | |
| } | |
| declare void @llvm.assume(i1) nounwind | |