Updated CustomSafeOpt lit tests

Tests update

Author: dguzhaev

IGC/Compiler/tests/CustomSafeOptPass/DebugInfo_CustomSafeOptPass_xor-typed-pointers.ll

@@ -0,0 +1,76 @@
+;=========================== begin_copyright_notice ============================
+;
+; Copyright (C) 2024 Intel Corporation
+;
+; SPDX-License-Identifier: MIT
+;
+;============================ end_copyright_notice =============================
+;
+; RUN: igc_opt -igc-custom-safe-opt -S < %s | FileCheck %s
+
+; CustomSafeOpt will try to move addition with constant, from
+; %1 = add i32 %a, 14
+; %2 = add i32 %1, %b
+; to
+; %1 = add i32 %a, %b
+; %2 = add i32 %1, 14
+
+define i32 @test_customsafe_add(i32 %a, i32 %b) {
+; CHECK-LABEL: @test_customsafe_add(
+; CHECK:    [[TMP1:%.*]] = add i32 [[A:%.*]], [[B:%.*]]
+; CHECK:    [[TMP2:%.*]] = add i32 [[TMP1]], 14
+; CHECK:    ret i32 [[TMP2]]
+;
+  %1 = add i32 %a, 14
+  %2 = add i32 %1, %b
+  ret i32 %2
+}
+
+; nuw is propagated only if set on both adds
+
+define i32 @test_customsafe_add_nuw(i32 %a, i32 %b) {
+; CHECK-LABEL: @test_customsafe_add_nuw(
+; CHECK:    [[TMP1:%.*]] = add nuw i32 [[A:%.*]], [[B:%.*]]
+; CHECK:    [[TMP2:%.*]] = add nuw i32 [[TMP1]], 14
+; CHECK:    ret i32 [[TMP2]]
+;
+  %1 = add nuw i32 %a, 14
+  %2 = add nuw i32 %1, %b
+  ret i32 %2
+}
+
+define i32 @test_customsafe_add_no_nuw(i32 %a, i32 %b) {
+; CHECK-LABEL: @test_customsafe_add_no_nuw(
+; CHECK:    [[TMP1:%.*]] = add i32 [[A:%.*]], [[B:%.*]]
+; CHECK:    [[TMP2:%.*]] = add i32 [[TMP1]], 14
+; CHECK:    ret i32 [[TMP2]]
+;
+  %1 = add nuw i32 %a, 14
+  %2 = add i32 %1, %b
+  ret i32 %2
+}
+
+; Negative checks:
+; transfromation is not applied if nsw is set
+
+define i32 @test_customsafe_add_nsw_1(i32 %a, i32 %b) {
+; CHECK-LABEL: @test_customsafe_add_nsw_1(
+; CHECK-NEXT:    [[TMP1:%.*]] = add nsw i32 [[A:%.*]], 14
+; CHECK-NEXT:    [[TMP2:%.*]] = add i32 [[TMP1]], [[B:%.*]]
+; CHECK-NEXT:    ret i32 [[TMP2]]
+;
+  %1 = add nsw i32 %a, 14
+  %2 = add i32 %1, %b
+  ret i32 %2
+}
+
+define i32 @test_customsafe_add_nsw_2(i32 %a, i32 %b) {
+; CHECK-LABEL: @test_customsafe_add_nsw_2(
+; CHECK-NEXT:    [[TMP1:%.*]] = add i32 [[A:%.*]], 14
+; CHECK-NEXT:    [[TMP2:%.*]] = add nsw i32 [[TMP1]], [[B:%.*]]
+; CHECK-NEXT:    ret i32 [[TMP2]]
+;
+  %1 = add i32 %a, 14
+  %2 = add nsw i32 %1, %b
+  ret i32 %2
+}

IGC/Compiler/tests/CustomSafeOptPass/DebugInfo_CustomSafeOptPass_xor.ll

@@ -0,0 +1,59 @@
+;=========================== begin_copyright_notice ============================
+;
+; Copyright (C) 2024 Intel Corporation
+;
+; SPDX-License-Identifier: MIT
+;
+;============================ end_copyright_notice =============================
+;
+; RUN: igc_opt -igc-custom-safe-opt -S < %s | FileCheck %s
+
+; CustomSafeOpt will try to move emulated addition with constant, from
+;
+; %1 = shl i32 %a, 4
+; %2 = or  i32 %1, 14
+; %3 = add i32 %2, %b
+;
+; to
+;
+; %1 = shl i32 %a, 4
+; %2 = add i32 %1, %b
+; %3 = add i32 %2, 14
+
+define i32 @test_customsafe_shl(i32 %a, i32 %b) {
+; CHECK-LABEL: @test_customsafe_shl(
+; CHECK:    [[TMP1:%.*]] = shl i32 [[A:%.*]], 4
+; CHECK:    [[TMP2:%.*]] = add i32 [[TMP1]], [[B:%.*]]
+; CHECK:    [[TMP3:%.*]] = add i32 [[TMP2]], 14
+; CHECK:    ret i32 [[TMP3]]
+;
+  %1 = shl i32 %a, 4
+  %2 = or  i32 %1, 14
+  %3 = add i32 %2, %b
+  ret i32 %3
+}
+
+; Or with multiplication
+;
+;  %1 = mul nuw i64 %a, 6
+;  %2 = or  i64 %1, 1
+;  %3 = add nuw i64 %2, %b
+;
+; to
+;
+;  %1 = mul nuw i64 %a, 6
+;  %2 = add i64 %1, %b
+;  %3 = add i64 %2, 1
+
+define i64 @test_customsafe_mul(i64 %a, i64 %b) {
+; CHECK-LABEL: @test_customsafe_mul(
+; CHECK:    [[TMP1:%.*]] = mul nuw i64 [[A:%.*]], 6
+; CHECK:    [[TMP2:%.*]] = add i64 [[TMP1]], [[B:%.*]]
+; CHECK:    [[TMP3:%.*]] = add i64 [[TMP2]], 1
+; CHECK:    ret i64 [[TMP3]]
+;
+  %1 = mul nuw i64 %a, 6
+  %2 = or  i64 %1, 1
+  %3 = add nuw i64 %2, %b
+  ret i64 %3
+}