llvm/test/Transforms/InstSimplify/assume.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14

; 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