SimplifyCFG: don't remove unreachable default switch destinations
[oota-llvm.git] / test / Transforms / InstCombine / zext-bool-add-sub.ll
index d7f338b659b417af7ce624e36307d35913294e0e..6fa4d70d6360d7f5234ed21e81131d68d5eeb65b 100644 (file)
@@ -6,7 +6,7 @@ entry:
 ; 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