-; RUN: opt < %s -instcombine -disable-output
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -instcombine -S | FileCheck %s
; PR1817
define i1 @test1(i32 %X) {
- %A = icmp slt i32 %X, 10
- %B = icmp ult i32 %X, 10
- %C = and i1 %A, %B
- ret i1 %C
+; CHECK-LABEL: @test1(
+; CHECK-NEXT: [[A:%.*]] = icmp slt i32 %X, 10
+; CHECK-NEXT: [[B:%.*]] = icmp ult i32 %X, 10
+; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]]
+; CHECK-NEXT: ret i1 [[C]]
+;
+ %A = icmp slt i32 %X, 10
+ %B = icmp ult i32 %X, 10
+ %C = and i1 %A, %B
+ ret i1 %C
}
define i1 @test2(i32 %X) {
- %A = icmp slt i32 %X, 10
- %B = icmp ult i32 %X, 10
- %C = or i1 %A, %B
- ret i1 %C
+; CHECK-LABEL: @test2(
+; CHECK-NEXT: [[A:%.*]] = icmp slt i32 %X, 10
+; CHECK-NEXT: [[B:%.*]] = icmp ult i32 %X, 10
+; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]]
+; CHECK-NEXT: ret i1 [[C]]
+;
+ %A = icmp slt i32 %X, 10
+ %B = icmp ult i32 %X, 10
+ %C = or i1 %A, %B
+ ret i1 %C
}