Compiler Explorer

Source code

; Original unoptimised function
define i64 @fold_lshr_0(i1 %arg) {
entry:
  %v0 = select i1 %arg, i64 64, i64 0
  %v1 = lshr exact i64 %v0, 6
  %v2 = xor i64 %v1, 1
  %v3 = shl nuw i64 %v0, 57
  %v4 = ashr exact i64 %v3, 63
  %v5 = sub nsw i64 0, %v2
  %v6 = and i64 %v5, 5369111591
  %v7 = and i64 %v4, 5369111361
  %v8 = add nuw nsw i64 %v7, %v6
  ret i64 %v8
}

; Optimised function (with 'if (!I->hasOneUse()) return false;' disabled)
define i64 @fold_lshr_1(i1 %arg) {
entry:
  %v0 = zext i1 %arg to i64
  %0 = or i64 %v0, 8589934590
  %v2.neg = add nuw nsw i64 %0, 1
  %v6 = and i64 %v2.neg, 5369111591
  ret i64 %v6
}

; Test functions showing the differences with 'true' and 'false' input
define i64 @orig_false() {
  %v0 = call i64 @fold_lshr_0(i1 false)
  ret i64 %v0
}

define i64 @opt_false() {
  %v0 = call i64 @fold_lshr_1(i1 false)
  ret i64 %v0
}

define i64 @orig_true() {
  %v0 = call i64 @fold_lshr_0(i1 true)
  ret i64 %v0
}

define i64 @opt_true() {
  %v0 = call i64 @fold_lshr_1(i1 true)
  ret i64 %v0
}