| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -passes="default<O3>" -enable-merge-functions -S < %s | FileCheck %s |
| |
| ; TODO: These two functions should get merged, but currently aren't, because |
| ; the function merging pass is scheduled too early. |
| |
| target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-unknown-linux-gnu" |
| |
| define i1 @test1(i32 %c) { |
| ; CHECK-LABEL: @test1( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[SWITCH_TABLEIDX:%.*]] = add i32 [[C:%.*]], -100 |
| ; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[SWITCH_TABLEIDX]], 20 |
| ; CHECK-NEXT: [[SWITCH_CAST:%.*]] = trunc i32 [[SWITCH_TABLEIDX]] to i20 |
| ; CHECK-NEXT: [[SWITCH_DOWNSHIFT:%.*]] = lshr i20 -490991, [[SWITCH_CAST]] |
| ; CHECK-NEXT: [[SWITCH_MASKED:%.*]] = trunc i20 [[SWITCH_DOWNSHIFT]] to i1 |
| ; CHECK-NEXT: [[I_0:%.*]] = select i1 [[TMP0]], i1 [[SWITCH_MASKED]], i1 false |
| ; CHECK-NEXT: ret i1 [[I_0]] |
| ; |
| entry: |
| %_4 = alloca i8, align 1 |
| %_3 = alloca i8, align 1 |
| %_2 = alloca i8, align 1 |
| %i = alloca i8, align 1 |
| %i1 = icmp eq i32 %c, 115 |
| br i1 %i1, label %bb10, label %bb11 |
| |
| bb10: ; preds = %entry |
| store i8 1, ptr %_4, align 1 |
| br label %bb12 |
| |
| bb11: ; preds = %entry |
| %_6 = icmp eq i32 %c, 109 |
| %i2 = zext i1 %_6 to i8 |
| store i8 %i2, ptr %_4, align 1 |
| br label %bb12 |
| |
| bb12: ; preds = %bb11, %bb10 |
| %i3 = load i8, ptr %_4, align 1 |
| %i4 = trunc i8 %i3 to i1 |
| br i1 %i4, label %bb7, label %bb8 |
| |
| bb8: ; preds = %bb12 |
| %_8 = icmp eq i32 %c, 104 |
| %i5 = zext i1 %_8 to i8 |
| store i8 %i5, ptr %_3, align 1 |
| br label %bb9 |
| |
| bb7: ; preds = %bb12 |
| store i8 1, ptr %_3, align 1 |
| br label %bb9 |
| |
| bb9: ; preds = %bb7, %bb8 |
| %i6 = load i8, ptr %_3, align 1 |
| %i7 = trunc i8 %i6 to i1 |
| br i1 %i7, label %bb4, label %bb5 |
| |
| bb5: ; preds = %bb9 |
| %_10 = icmp eq i32 %c, 100 |
| %i8 = zext i1 %_10 to i8 |
| store i8 %i8, ptr %_2, align 1 |
| br label %bb6 |
| |
| bb4: ; preds = %bb9 |
| store i8 1, ptr %_2, align 1 |
| br label %bb6 |
| |
| bb6: ; preds = %bb4, %bb5 |
| %i9 = load i8, ptr %_2, align 1 |
| %i10 = trunc i8 %i9 to i1 |
| br i1 %i10, label %bb1, label %bb2 |
| |
| bb2: ; preds = %bb6 |
| %_12 = icmp eq i32 %c, 119 |
| %i11 = zext i1 %_12 to i8 |
| store i8 %i11, ptr %i, align 1 |
| br label %bb3 |
| |
| bb1: ; preds = %bb6 |
| store i8 1, ptr %i, align 1 |
| br label %bb3 |
| |
| bb3: ; preds = %bb1, %bb2 |
| %i12 = load i8, ptr %i, align 1 |
| %i13 = trunc i8 %i12 to i1 |
| ret i1 %i13 |
| } |
| |
| define i1 @test2(i32 %c) { |
| ; CHECK-LABEL: @test2( |
| ; CHECK-NEXT: [[TMP2:%.*]] = tail call noundef i1 @test1(i32 [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] |
| ; CHECK-NEXT: ret i1 [[TMP2]] |
| ; |
| entry: |
| %i = alloca i8, align 1 |
| switch i32 %c, label %bb1 [ |
| i32 115, label %bb2 |
| i32 109, label %bb2 |
| i32 104, label %bb2 |
| i32 100, label %bb2 |
| i32 119, label %bb2 |
| ] |
| |
| bb1: ; preds = %entry |
| store i8 0, ptr %i, align 1 |
| br label %bb3 |
| |
| bb2: ; preds = %entry, %entry, %entry, %entry, %entry |
| store i8 1, ptr %i, align 1 |
| br label %bb3 |
| |
| bb3: ; preds = %bb2, %bb1 |
| %i1 = load i8, ptr %i, align 1 |
| %i2 = trunc i8 %i1 to i1 |
| ret i1 %i2 |
| } |
| |
