test/Transforms/InstSimplify/assume.ll


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

; RUN: opt -instsimplify -S < %s | FileCheck %s

define void @test1() {
  call void @llvm.assume(i1 1)
  ret void

; CHECK-LABEL: @test1
; CHECK-NOT: llvm.assume
; CHECK: ret void
}

declare void @llvm.assume(i1) nounwind