1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
| ; RUN: opt < %s -instcombine -S | FileCheck %s
|
| ;; This tests that the div is hoisted into the then block.
| define i32 @foo(i1 %C, i32 %A, i32 %B) {
| entry:
| br i1 %C, label %then, label %endif
|
| then: ; preds = %entry
| ; CHECK: then:
| ; CHECK-NEXT: sdiv i32
| br label %endif
|
| endif: ; preds = %then, %entry
| %X = phi i32 [ %A, %then ], [ 15, %entry ] ; <i32> [#uses=1]
| %Y = sdiv i32 %X, 42 ; <i32> [#uses=1]
| ret i32 %Y
| }
|
|
