1; RUN: opt -codegenprepare -disable-cgp-branch-opts -S < %s | FileCheck %s 2target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 3target triple = "x86_64-unknown-linux-gnu" 4 5; The first cast should be sunk into block2, in order that the 6; instruction selector can form an efficient 7; i64 * i64 -> i128 multiplication. 8define i128 @sink(i64* %mem1, i64* %mem2) { 9; CHECK-LABEL: block1: 10; CHECK-NEXT: load 11block1: 12 %l1 = load i64, i64* %mem1 13 %s1 = sext i64 %l1 to i128 14 br label %block2 15 16; CHECK-LABEL: block2: 17; CHECK-NEXT: sext 18; CHECK-NEXT: load 19; CHECK-NEXT: sext 20block2: 21 %l2 = load i64, i64* %mem2 22 %s2 = sext i64 %l2 to i128 23 %res = mul i128 %s1, %s2 24 ret i128 %res 25} 26 27; The first cast should be hoisted into block1, in order that the 28; instruction selector can form an extend-load. 29define i64 @hoist(i32* %mem1, i32* %mem2) { 30; CHECK-LABEL: block1: 31; CHECK-NEXT: load 32; CHECK-NEXT: sext 33block1: 34 %l1 = load i32, i32* %mem1 35 br label %block2 36 37; CHECK-LABEL: block2: 38; CHECK-NEXT: load 39; CHECK-NEXT: sext 40block2: 41 %s1 = sext i32 %l1 to i64 42 %l2 = load i32, i32* %mem2 43 %s2 = sext i32 %l2 to i64 44 %res = mul i64 %s1, %s2 45 ret i64 %res 46} 47 48; Make sure the cast sink logic and OptimizeExtUses don't end up in an infinite 49; loop. 50define i128 @use_ext_source() { 51block1: 52 %v1 = or i64 undef, undef 53 %v2 = zext i64 %v1 to i128 54 br i1 undef, label %block2, label %block3 55 56block2: 57 %v3 = add i64 %v1, 1 58 %v4 = zext i64 %v3 to i128 59 br label %block3 60 61block3: 62 %res = phi i128 [ %v2, %block1 ], [ %v4, %block2 ] 63 ret i128 %res 64} 65