@@ -199,6 +199,11 @@
(and (match_code "const_int")
(match_test "INTVAL (op) <= 32767 && INTVAL (op) >= -32768"))))
+(define_predicate "reload_const_wide_int_operand"
+ (and (match_code "const_wide_int")
+ (match_test "legitimate_reload_constant_p (op)")))
+
+
;; operators --------------------------------------------------------------
;; Return nonzero if OP is a valid comparison operator
@@ -1479,11 +1479,20 @@
; movti instruction pattern(s).
;
+
+; Separate out the register pair alternative since constraints (P) are
+; not able to deal with const_wide_int's. But predicates do.
+(define_insn "*movti_bigconst"
+ [(set (match_operand:TI 0 "register_operand" "=d")
+ (match_operand:TI 1 "reload_const_wide_int_operand" ""))]
+ "TARGET_ZARCH"
+ "#")
+
; FIXME: More constants are possible by enabling jxx, jyy constraints
; for TImode (use double-int for the calculations)
(define_insn "movti"
- [(set (match_operand:TI 0 "nonimmediate_operand" "=d,S,v, v, v,v,d,v,R, d,o")
- (match_operand:TI 1 "general_operand" " S,d,v,j00,jm1,d,v,R,v,dPT,d"))]
+ [(set (match_operand:TI 0 "nonimmediate_operand" "=d,S,v, v, v,v,d,v,R, d,o")
+ (match_operand:TI 1 "general_operand" " S,d,v,j00,jm1,d,v,R,v,dT,d"))]
"TARGET_ZARCH"
"@
lmg\t%0,%N0,%S1
new file mode 100644
@@ -0,0 +1,9 @@
+/* { dg-do compile { target int128 } } */
+/* { dg-options "-O1 -mno-lra" } */
+
+unsigned __int128 g;
+void
+foo ()
+{
+ g = (unsigned __int128)1 << 127;
+}