aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Transforms/InstSimplify/require-dominator.ll
blob: b9c8f5d5f107ff0f2c214ac5d658e5aa0cab3f66 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instsimplify

; instsimplify pass should explicitly require DominatorTreeAnalysis
; This test will segfault if DominatorTree is not available

target triple = "x86_64-grtev4-linux-gnu"

; Function Attrs: nounwind uwtable
define void @foo(ptr, i1 %arg) #1 align 2 {
  br i1 %arg, label %exit, label %2

; <label>:2:
  %3 = tail call ptr @_Znwm(i64 56) #10
  %p = load ptr, ptr undef, align 8
  %4 = icmp eq ptr %p, %3
  br i1 %4, label %exit, label %5

; <label>:6:
  %6 = icmp eq ptr %p, null
  br i1 %6, label %exit, label %7

; <label>:8:
  br label %exit

exit:
  ret void
}

; Function Attrs: nobuiltin
declare ptr @_Znwm(i64)