| Sanjay Patel | 6963244 | 2016-03-25 20:12:25 +0000 | [diff] [blame^] | 1 | ; NOTE: Assertions have been autogenerated by update_test_checks.py |
| Hal Finkel | 9304691 | 2014-07-25 21:13:35 +0000 | [diff] [blame] | 2 | ; RUN: opt -instsimplify -S < %s | FileCheck %s |
| 3 | |
| 4 | define void @test1() { |
| Sanjay Patel | 6963244 | 2016-03-25 20:12:25 +0000 | [diff] [blame^] | 5 | ; CHECK-LABEL: @test1( |
| 6 | ; CHECK: ret void |
| 7 | ; |
| Hal Finkel | 9304691 | 2014-07-25 21:13:35 +0000 | [diff] [blame] | 8 | call void @llvm.assume(i1 1) |
| 9 | ret void |
| 10 | |
| Hal Finkel | 9304691 | 2014-07-25 21:13:35 +0000 | [diff] [blame] | 11 | } |
| 12 | |
| 13 | declare void @llvm.assume(i1) nounwind |
| 14 | |