DI: Require subprogram definitions to be distinct
[oota-llvm.git] / test / Transforms / InstCombine / zext-bool-add-sub.ll
index b5310575502bd96284ad12d63190bcb3a12cd865..6fa4d70d6360d7f5234ed21e81131d68d5eeb65b 100644 (file)
@@ -3,10 +3,10 @@
 
 define i32 @a(i1 zeroext %x, i1 zeroext %y) {
 entry:
-; CHECK: @a
+; CHECK-LABEL: @a(
 ; CHECK: [[TMP1:%.*]] = sext i1 %y to i32
 ; CHECK: [[TMP2:%.*]] = select i1 %x, i32 2, i32 1
-; CHECK-NEXT: add i32 [[TMP2]], [[TMP1]]
+; CHECK-NEXT: add nsw i32 [[TMP2]], [[TMP1]]
   %conv = zext i1 %x to i32
   %conv3 = zext i1 %y to i32
   %conv3.neg = sub i32 0, %conv3