32 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes='function(instcombine),cgscc(inline)' -S | FileCheck %s3; PR31424 5define i32 @a(i32 %X) {6; CHECK-LABEL: @a(7; CHECK-NEXT: [[T0:%.*]] = sub i32 0, [[X:%.*]]8; CHECK-NEXT: [[T1:%.*]] = sdiv i32 [[T0]], -39; CHECK-NEXT: ret i32 [[T1]]10;11 %t0 = sub i32 0, %X12 %t1 = sdiv i32 %t0, -313 ret i32 %t114}15 16define i32 @b(i32 %X) {17; CHECK-LABEL: @b(18; CHECK-NEXT: ret i32 71582788219;20 %t0 = call i32 @a(i32 -2147483648)21 ret i32 %t022}23 24define i32 @c(i32 %X) {25; CHECK-LABEL: @c(26; CHECK-NEXT: ret i32 71582788227;28 %t0 = sub i32 0, -214748364829 %t1 = sdiv i32 %t0, -330 ret i32 %t131}32